TY - GEN
T1 - Developing model-checking mechanisms for ASSL
T2 - 9th International Conference on Software Engineering and Formal Methods, SEFM 2011
AU - Vassev, Emil
AU - Hinchey, Mike
PY - 2011
Y1 - 2011
N2 - The Autonomic System Specification Language (ASSL) is a formal method dedicated to autonomic computing, and as such, assists developers with formal specification, validation and code generation of autonomic systems. Due to the synthesis approach of automatic code generation, ASSL guarantees consistency between a specification and the corresponding implementation. Moreover, one of the major objectives of the framework is to assure the correctness of autonomic systems via the inclusion of tools targeting model checking. In this paper, we report our experience in developing model-checking mechanisms for ASSL.
AB - The Autonomic System Specification Language (ASSL) is a formal method dedicated to autonomic computing, and as such, assists developers with formal specification, validation and code generation of autonomic systems. Due to the synthesis approach of automatic code generation, ASSL guarantees consistency between a specification and the corresponding implementation. Moreover, one of the major objectives of the framework is to assure the correctness of autonomic systems via the inclusion of tools targeting model checking. In this paper, we report our experience in developing model-checking mechanisms for ASSL.
KW - ASSL
KW - autonomic computing
KW - formal methods
KW - model checking
UR - http://www.scopus.com/inward/record.url?scp=81055124323&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-24690-6_3
DO - 10.1007/978-3-642-24690-6_3
M3 - Conference contribution
AN - SCOPUS:81055124323
SN - 9783642246890
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 19
EP - 34
BT - Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Proceedings
Y2 - 14 November 2011 through 18 November 2011
ER -