Representing embedded system sequence diagrams as a formal language

DOI10.1007/3-540-45441-1_23MaRDI QIDQ4435873zbMATH OpenFDO

Authors Elizabeth Latronico, Philip John Jun. Koopman

Publication date 20 November 2003

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/2185/21850302.htm

Mathematics Subject Classification ID

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

Recommendations

• Statecharts: a visual formalism for complex systems
• scientific article; zbMATH DE number 1408164
• A semantics of sequence diagrams.
• scientific article; zbMATH DE number 1304378
• Compositional semantics and refinement of Statecharts

Cited in

(1)

• Branching Time Semantics for UML 2.0 Sequence Diagrams

This page was built for publication: Representing embedded system sequence diagrams as a formal language

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