University of Limerick Institutional Repository

Developing model-checking mechanisms for ASSL: an experience report

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Vassev, Emil
dc.contributor.author Hinchey, Mike
dc.date.accessioned 2012-05-25T15:24:33Z
dc.date.available 2012-05-25T15:24:33Z
dc.date.issued 2011
dc.identifier.citation Vassev,E(2011) "Developing model-checking mechanisms for ASSL: an experience report," inProceedings of the 9th International Conference on Software Engineering and Formal Methods en_US
dc.identifier.uri http://hdl.handle.net/10344/2218
dc.description peer-reviewed en_US
dc.description.abstract 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. en_US
dc.language.iso eng en_US
dc.publisher Springer-Verlag en_US
dc.relation.ispartofseries Proceedings of the 9th International Conference on Software Engineering and Formal Methods;
dc.rights The original publication is available at www.springerlink.com
dc.subject model checking en_US
dc.subject formal methods en_US
dc.subject ASSL en_US
dc.subject autonomic computing en_US
dc.title Developing model-checking mechanisms for ASSL: an experience report en_US
dc.type info:eu-repo/semantics/conferenceObject en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.contributor.sponsor SFI en_US
dc.relation.projectid 03/CE2/I303_1 en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US
dc.internal.authorcontactother emil.vassev@lero.ie
dc.internal.authorcontactother mike.hinchey@lero.ie

Files in this item

This item appears in the following Collection(s)

Show simple item record

Related Items

Search DSpace


Advanced Search

Browse

My Account