Modal scenarios as automata

DOI10.1007/978-3-642-45321-2_7zbMATH Open1486.68104OpenAlexW24599197MaRDI QIDQ5498744FDOQ5498744

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

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

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)

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)