Home > Research > Publications & Outputs > Identifying state space reduction techniques fr...

Research

Links

Text available via DOI:

View graph of relations

Identifying state space reduction techniques from behavioural design patterns

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Identifying state space reduction techniques from behavioural design patterns. / Rahim, Lukman Ab.; Whittle, Jon.
Proceedings of the Third Workshop on Behavioural Modelling. New York, NY, USA: ACM, 2011. p. 49-55.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Rahim, LA & Whittle, J 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. https://doi.org/10.1145/1993956.1993963

APA

Rahim, L. A., & Whittle, J. (2011). Identifying state space reduction techniques from behavioural design patterns. In Proceedings of the Third Workshop on Behavioural Modelling (pp. 49-55). ACM. https://doi.org/10.1145/1993956.1993963

Vancouver

Rahim LA, Whittle J. Identifying state space reduction techniques from behavioural design patterns. In Proceedings of the Third Workshop on Behavioural Modelling. New York, NY, USA: ACM. 2011. p. 49-55 doi: 10.1145/1993956.1993963

Author

Rahim, Lukman Ab. ; Whittle, Jon. / Identifying state space reduction techniques from behavioural design patterns. Proceedings of the Third Workshop on Behavioural Modelling. New York, NY, USA : ACM, 2011. pp. 49-55

Bibtex

@inproceedings{335f77712ed6469881a7e2a494717af9,
title = "Identifying state space reduction techniques from behavioural design patterns",
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.",
author = "Rahim, {Lukman Ab.} and Jon Whittle",
year = "2011",
doi = "10.1145/1993956.1993963",
language = "English",
isbn = "978-1-4503-0617-1 ",
pages = "49--55",
booktitle = "Proceedings of the Third Workshop on Behavioural Modelling",
publisher = "ACM",

}

RIS

TY - GEN

T1 - Identifying state space reduction techniques from behavioural design patterns

AU - Rahim, Lukman Ab.

AU - Whittle, Jon

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

U2 - 10.1145/1993956.1993963

DO - 10.1145/1993956.1993963

M3 - Conference contribution/Paper

SN - 978-1-4503-0617-1

SP - 49

EP - 55

BT - Proceedings of the Third Workshop on Behavioural Modelling

PB - ACM

CY - New York, NY, USA

ER -