Multi-modal scenarios revisited: a net-based representation

DOI10.1016/J.TCS.2011.12.030MaRDI QIDQ418770zbMATH OpenOpenAlexFDO

Authors David Harel, Amir Kantor

Publication date 30 May 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2011.12.030

zbMATH Keywords

live sequence chartsLSCLSC netmodal state structurescenario

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modal scenarios as automata
• LSCs: Breathing life into message sequence charts
• On the Expressive Power of Live Sequence Charts
• Oclets – Scenario-Based Modeling with Petri Nets
• Netcharts: bridging the gap between HMSCs and executable specifications.

Cites work

• scientific article; zbMATH DE number 1701777 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3557247 (Why is no real title available?)
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• LSCs: Breathing life into message sequence charts
• Multi-modal scenarios revisited: a net-based representation
• Statecharts: a visual formalism for complex systems
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(3)

• Oclets – Scenario-Based Modeling with Petri Nets
• Multi-modal scenarios revisited: a net-based representation
• Modal scenarios as automata

This page was built for publication: Multi-modal scenarios revisited: a net-based representation

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