Modal Scenarios as Automata [chapter]

David Harel, Amir Kantor
2014 Lecture Notes in Computer Science  
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
more » ... 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.
doi:10.1007/978-3-642-45321-2_7 fatcat:fgcxtbsnxzbrbmyfwm34ogzw2a