Turning High-Level Live Sequence Charts into Automata

Yves Bontemps, Patrick Heymans

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque


Message Sequence Charts (MSCs) are a widely used scenario notation. However, we believe that this language lacks message abstraction and the ability to express whether a scenario is an example or a universal rule. Live Sequence Charts (LSCs) improve MSCs by solving these two shortcomings. However, LSCs have no formally defined high-level structuring mechanism. We extend LSCs with composition operators and define their semantics in terms of $\omega$-regular traces. We build Buchi automata from these scenarios. We show that standard algorithms on this (low-level) formalism can be used to check consistency and refinement, and to synthesize a state-based specification from a set of consistent requirements.
langue originaleAnglais
titreProceedings of the First International Workshop on Scenarios and State Machines (SCESM), (ICSE'02 workshop)
rédacteurs en chefTarja Systa, Albert Zundorf
Etat de la publicationPublié - 2002

Empreinte digitale

Examiner les sujets de recherche de « Turning High-Level Live Sequence Charts into Automata ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation