Computing Publications

Publications Home » Existential Live Sequence Charts ...

Existential Live Sequence Charts Revisited

German Sibay, Sebastian Uchitel, Victor Braberman

Conference or Workshop Paper
30th international conference on Software engineering
ISBN 978-1-60558-079-1
DOI 10.1145/1368088.1368095

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 specification language with an existential semantics and that supports conditional specification 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 provides a good fit with universal live sequence charts as standard existential live sequence charts do not adequately support conditional scenarios.

In addition, we define a novel synthesis algorithm that, rather than building arbitrarily one of the many behaviour models that satisfy a scenario, constructs a Modal Transition System (MTS) which characterizes all behaviour models that conform to the scenario.

BibTEX file for the publication built & maintained by Ashok Argent-Katwala.