@inbook{9ac432f4e7a84729a931776b910ceb4e,
title = "Modal scenarios as automata",
abstract = "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.",
author = "David Harel and Amir Kantor",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2014.",
year = "2014",
doi = "10.1007/978-3-642-45321-2_7",
language = "الإنجليزيّة",
isbn = "978-3-642-45320-5",
volume = "8001",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "156--167",
editor = "Nachum Dershowitz and Ephraim Nissan",
booktitle = "Language, Culture, Computation: Computing - Theory and Technology",
address = "ألمانيا",
}