Modal scenarios as automata

DOI10.1007/978-3-642-45321-2_7MaRDI QIDQ5498744zbMATH OpenOpenAlexFDO

Authors David Harel, Amir Kantor

Publication date 10 February 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-45321-2_7

zbMATH Keywords

automatascenariomulti-modallive sequence chartsmodal state structures

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Multi-modal scenarios revisited: a net-based representation
• LSCs: Breathing life into message sequence charts
• Tools and Algorithms for the Construction and Analysis of Systems
• Adding time to scenarios
• On the Expressive Power of Live Sequence Charts

Cited in

(3)

• Multi-modal scenarios revisited: a net-based representation
• Modal Interface Automata
• Modal interface automata

This page was built for publication: Modal scenarios as automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5498744)