University of Limerick Institutional Repository

Towards behavior elaboration and synthesis using modes

DSpace Repository

Show simple item record Shokry, Hesham 2012-03-05T17:03:12Z 2012-03-05T17:03:12Z 2010
dc.description peer-reviewed en_US
dc.description.abstract Early system requirements are often captured by declarative and property-based artifacts, such as scenarios and goals. While such artifacts are intuitive and useful, they are partial and typically lack an overarching structure to allow systematic elaboration of the fragmented behaviors they denote. I aim to develop a design technique for structuring the partial specifications by partitioning the state-space based on Parnas’ notions of ‘modes’ and ‘modeclasses’. A mode is set of states, characterized by a predicate. A mode-class is a set of disjoint modes completely covering the state space. The structuring framework supports early elaboration of partial specification, and facilitates improved synthesis of integrated system behavioral prototype. en_US
dc.language.iso eng en_US
dc.publisher Association for Computing Machinery en_US
dc.relation.ispartofseries FSE '10 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of Software Engineering.;2010
dc.rights "© ACM, 2010. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published inFSE '10 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering. 10.1145/1882291.1882344 en_US
dc.subject modes en_US
dc.subject behaviour synthesis en_US
dc.subject state-space partitioning en_US
dc.title Towards behavior elaboration and synthesis using modes en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE2.I303_1

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account