Understanding UML: a formal semantics of concurrency and communication in real-time UML.
DOI10.1007/B14033zbMATH Open1254.68140DBLPconf/fmco/2002OpenAlexW4212909638MaRDI QIDQ5897124FDOQ5897124
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
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
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)
Cited In (17)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concurrency and refinement in the unified modeling language
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concurrency and refinement in the unified modeling language
- Extending the standard execution model of UML for real-time systems
- Eliminating queues from RT UML model representations
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
- Title not available (Why is that?)
- A discrete-time UML semantics for concurrency and communication in safety-critical applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Specification of real-time systems in UML
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)
