Concurrency and refinement in the unified modeling language
From MaRDI portal
Publication:2844827
zbMATH Open1270.68080MaRDI QIDQ2844827FDOQ2844827
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Concurrency and refinement in the unified modeling language
- scientific article; zbMATH DE number 1860616
- Formalising the UML in structured temporal theories
- On the semantics of unified modeling language diagrams using Z notation
- Understanding UML: a formal semantics of concurrency and communication in real-time UML.
Cited In (29)
- The unified modeling language
- Computer Aided Systems Theory – EUROCAST 2005
- Transformation and verification of executable UML models
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- UML interactions meet state machines -- an institutional approach
- Concurrency and refinement in the unified modeling language
- Theoretical Aspects of Computing - ICTAC 2004
- Title not available (Why is no real title available?)
- On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams
- A set of metrics of non-locality complexity in UML state machines
- Stepwise refinement of sequence diagrams with soft real-time constraints
- Title not available (Why is no real title available?)
- Refinement of UML collaborations
- Refinement sensitive formal semantics of state machines with persistent choice
- On the semantics of unified modeling language diagrams using Z notation
- Decomposing Interactions
- Title not available (Why is no real title available?)
- Formal Methods for the Design of Real-Time Systems
- A coalgebraic semantic framework for component-based development in UML
- Algebraic Methodology and Software Technology
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Behavioral constraints for visual models
- Formal Methods for Components and Objects
- Title not available (Why is no real title available?)
This page was built for publication: Concurrency and refinement in the unified modeling language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844827)
