Lancaster EPrints

Identifying state space reduction techniques from behavioural design patterns

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-1

Full text not available from this repository.

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.

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
ID Code: 57677
Deposited By: ep_importer_pure
Deposited On: 20 Aug 2012 12:04
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 01:28
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/57677

Actions (login required)

View Item