Understanding UML: a formal semantics of concurrency and communication in real-time UML.

DOI10.1007/B14033MaRDI QIDQ5897124zbMATH OpenOpenAlexDBLPFDO

Authors Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva

Publication date 9 February 2010

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

Full work available at URL https://doi.org/10.1007/b14033

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A discrete-time UML semantics for concurrency and communication in safety-critical applications
• scientific article; zbMATH DE number 1949635
• Specification of real-time systems in UML
• scientific article; zbMATH DE number 1956483
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata

Cited in

(17)

• Creol: A type-safe object-oriented model for distributed concurrent systems
• A discrete-time UML semantics for concurrency and communication in safety-critical applications
• scientific article; zbMATH DE number 2006478 (Why is no real title available?)
• scientific article; zbMATH DE number 2011490 (Why is no real title available?)
• scientific article; zbMATH DE number 2006495 (Why is no real title available?)
• Extending the standard execution model of UML for real-time systems
• Specification of real-time systems in UML
• scientific article; zbMATH DE number 1693514 (Why is no real title available?)
• scientific article; zbMATH DE number 1949635 (Why is no real title available?)
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
• scientific article; zbMATH DE number 2087522 (Why is no real title available?)
• scientific article; zbMATH DE number 1967727 (Why is no real title available?)
• Eliminating queues from RT UML model representations
• scientific article; zbMATH DE number 1951188 (Why is no real title available?)
• Concurrency and refinement in the unified modeling language
• Concurrency and refinement in the unified modeling language
• scientific article; zbMATH DE number 1956483 (Why is no real title available?)

This page was built for publication: Understanding UML: a formal semantics of concurrency and communication in real-time UML.

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