Modal scenarios as automata

David Harel, Amir Kantor

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


Scenario-based modeling in live sequence charts (LSC) involves specifying multi-modal inter-object scenarios, in which events can be mandatory (hot) or possible (cold). In translating LSCs into automata over infinite words, an intermediate step constructs a kind of transition system that we call a modal state structure (MSS). Here we present MSSs as abstract forms of modal scenarios (with both mandatory, possible and forbidden behavior), which may encode more general patterns than those inherent in LSC, such as loops, alternatives and breaks. MSSs are essentially automata, in which the notion of temperature is adopted from LSCs, replacing traditional acceptance conditions.

Original languageEnglish
Title of host publicationLanguage, Culture, Computation: Computing - Theory and Technology
Subtitle of host publicationEssays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I
EditorsNachum Dershowitz, Ephraim Nissan
PublisherSpringer Verlag
Number of pages12
ISBN (Electronic)978-3-642-45321-2
ISBN (Print)978-3-642-45320-5
StatePublished - 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Modal scenarios as automata'. Together they form a unique fingerprint.

Cite this