An execution semantics for MSC-2000

DOI10.1007/3-540-48213-X_23MaRDI QIDQ2779792zbMATH OpenFDO

Authors Gerardo Padilla, Bengt Jonsson

Publication date 15 April 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/2078/20780365

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Executable structural operational semantics in Maude
• Two case studies of semantics execution in Maude: CCS and LOTOS
• A semantics for timed MSC
• Executable component-based semantics
• Realizability of Dynamic MSC Languages
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

Cited in

(9)

• Generating test sequences from a set of MSCs.
• Languages for analysis and testing of event sequences
• From MSC-2000 to UML 2. 0 - the future of sequence diagrams
• HyperMSCs with connectors for advanced visual system modelling and testing
• Realizability of Dynamic MSC Languages
• Automatic generation of conformance tests from message sequence charts
• An extension for MSC-2000 and its application
• Multiple synchrony in MSC
• A semantic and methodological essence of message sequence charts

This page was built for publication: An execution semantics for MSC-2000

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