University of Limerick Institutional Repository

Synthesis of software design models

DSpace Repository

Show simple item record

dc.contributor.advisor Hinchey, Mike
dc.contributor.author Shokry, Hesham
dc.date.accessioned 2014-01-18T14:28:56Z
dc.date.available 2014-01-18T14:28:56Z
dc.date.issued 2013
dc.identifier.uri http://hdl.handle.net/10344/3612
dc.description peer-reviewed en_US
dc.description.abstract Early system requirements are often captured by declarative and property-based artefacts, 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 partial behaviors they denote. We propose a structuring approach appropriate for scoping different partial behaviors, focusing on scenario-based behavior specifications. The approach is based on Parnas’ notions of ‘modes’ and ‘mode-classes’, where a mode is a set of states that satisfy some predicate, and a mode-class is a collection of disjoint modes that partitions the system’s state-space so that each state belongs to exactly one mode. There may be several mode-classes, in which case every state belongs to exactly one mode from each mode-class. We structure a scenario by partitioning its observed states into modes, allowing elaboration of the scenario’s parts independently without losing the overall system view. Having every scenario partitioned via a suitable mode-class, we merge the mode-classes constructively to build a single behavioural model of the system. The evidence presented here suggests that this facilitates early refinement and an improved coverage of requirements, as well as improved generation of system models from partial behaviors. We provide a sound formal model of modes, based on which we detail a novel technique to synthesize a prototype of system behavior, given a set of scenarios and corresponding mode-classes specifications as input. en_US
dc.language.iso eng en_US
dc.publisher University of Limerick en_US
dc.subject software engineering en_US
dc.subject software design en_US
dc.title Synthesis of software design models en_US
dc.type info:eu-repo/semantics/doctoralThesis en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.supercollection ul_theses_dissertations en_US
dc.contributor.sponsor SFI en_US
dc.rights.accessrights info:eu-repo/semantics/openAccess en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics