The Community for Technology Leaders
Green Image
Issue No. 03 - May/June (2009 vol. 35)
ISSN: 0098-5589
pp: 384-406
Greg Brunet , University of Toronto, Toronto
Marsha Chechik , University of Toronto, Toronto
Sebastian Uchitel , Imperial College London and FCEN-University of Buenos Aires
ABSTRACT
Synthesis of behavior models from software development artifacts such as scenario-based descriptions or requirements specifications helps reduce the effort of model construction. However, the models favored by existing synthesis approaches are not sufficiently expressive to describe both universal constraints provided by requirements and existential statements provided by scenarios. In this paper, we propose a novel synthesis technique that constructs behavior models in the form of Modal Transition Systems (MTS) from a combination of safety properties and scenarios. MTSs distinguish required, possible, and proscribed behavior, and their elaboration not only guarantees the preservation of the properties and scenarios used for synthesis but also supports further elicitation of new requirements.
INDEX TERMS
Modal transition systems, merge, synthesis, partial behavior models.
CITATION
Greg Brunet, Marsha Chechik, Sebastian Uchitel, "Synthesis of Partial Behavior Models from Properties and Scenarios", IEEE Transactions on Software Engineering, vol. 35, no. , pp. 384-406, May/June 2009, doi:10.1109/TSE.2008.107
105 ms
(Ver )