Existencial Life Sequence Charts Revisited

G. SIBAY; S. UCHITEL; V. BRABERMAN

Leipzig, Alemania

Conferencia; ACM\IEEE International Conference on Software Engineering; 2008

ACM & IEEE

Scenario-based specifications are a popular means for describing intended system behaviour. We aim to facilitate early analysis of system behaviour and the development of behaviour models in conjunction with scenarios. In this paper we define a novel scenario-based speci fication language with an existential semantics and that supports conditional specifi cation of behaviour in the form of prechart and main chart. The language semantics is consistent with existing informal scenario based and use-case based approaches to requirements engineering. The language is also a better match with universal live sequence charts as standard existential live sequence charts do not adequately support conditional scenarios. This correspondence of between the proposed language with universal live sequence charts further supports our aim of providing a uniform framework for moving from examples to comprehensive descriptions throughout the requirements process. In addition, in this paper we define a novel synthesis algorithm that constructs behaviour models in the form of Modal Transition Systems (MTS). MTSs distinguish required, possible and proscribed behaviour, and their elaboration not only guarantees the preservation of scenarios but also supports behaviour model elaboration and requirements elicitation.