Rahim, Lukman Ab. and Whittle, Jon (2011) Identifying state space reduction techniques from behavioural design patterns. In: Proceedings of the Third Workshop on Behavioural Modelling. ACM, New York, NY, USA, pp. 49-55. ISBN 978-1-4503-0617-1Full text not available from this repository.
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.
|Item Type:||Contribution in Book/Report/Proceedings|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Departments:||Faculty of Science and Technology > School of Computing & Communications|
|Deposited On:||20 Aug 2012 12:04|
|Last Modified:||20 Aug 2012 12:04|
Actions (login required)