An automata based interpretation of live sequence charts

DOI10.1007/3-540-45319-9_35MaRDI QIDQ2769611zbMATH OpenFDO

Authors Jochen Klose, Hartmut Wittke

Publication date 5 February 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2031/20310512

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• LSCs: Breathing life into message sequence charts
• Check It Out: On the Efficient Formal Verification of Live Sequence Charts
• On the Expressive Power of Live Sequence Charts
• Timed semantics of message sequence charts based on timed automata
• Time in message sequence charts: A formal approach. (Extended abstract)

Cited in

(12)

• SMT-based scenario verification for hybrid systems
• Improving translation of live sequence charts to temporal logic
• Timed semantics of message sequence charts based on timed automata
• Concurrent LSC verification
• On the Expressive Power of Live Sequence Charts
• Multi-modal scenarios revisited: a net-based representation
• Some Results on the Expressive Power and Complexity of LSCs
• Automated Technology for Verification and Analysis
• Foundations of Software Science and Computational Structures
• Check It Out: On the Efficient Formal Verification of Live Sequence Charts
• Live and let die: LSC-based verification of UML-models.
• Scenario-based verification of real-time systems using UPPAAL

This page was built for publication: An automata based interpretation of live sequence charts

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