Identifying state space reduction techniques from behavioural design patterns

Lukman Ab Rahim, Jon Whittle

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Abstract

Model checking has always been associated with a scalability problem when verifying systems with large state spaces. This problem can be addressed using techniques that reduce the state space during verification. This paper proposes guidelines to identify suitable reduction techniques from design patterns. The selection of suitable state space reduction techniques is demonstrated using a complex concurrent system as case study. Using this case study, we discuss the reasons and conditions for selecting a reduction technique when a design pattern is used. The proposed guidelines are evaluated by checking if the selected reduction techniques reduces the number of states; implying that these techniques are suitable. The result of this evaluation shows that suitable reduction techniques can be identified from design patterns.

Original languageEnglish
Title of host publicationProc. of the 3rd Int. Workshop on Behavioural Modelling - Foundations and Applications, BM-FA2011 - In Collaboration with the 7th European Conf. on Modelling Foundations and Applications, ECMFA 2011
Pages49-55
Number of pages7
DOIs
Publication statusPublished - 2011
Externally publishedYes
Event3rd International Workshop on Behavioural Modelling - Foundations and Applications, BM-FA2011 - In Collaboration with the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011 - Birmingham, United Kingdom
Duration: 6 Jun 20116 Jun 2011

Conference

Conference3rd International Workshop on Behavioural Modelling - Foundations and Applications, BM-FA2011 - In Collaboration with the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011
CountryUnited Kingdom
CityBirmingham
Period6/06/116/06/11

Keywords

  • Design pattern
  • State space reduction

Cite this