Concurrency and Refinement in the Unified Modeling Language
This paper shows how a formal notion of refinement may be defined for models, and model components, expressed in the Unified Modeling Language (UML). A formal, behavioural semantics is given to combinations of class, object, and state diagrams, using the notation of Communicating Sequential Processe...
Auteurs principaux: | Davies, J, Crichton, C |
---|---|
Format: | Journal article |
Publié: |
2002
|
Documents similaires
Refinements and higher-order beliefs: a unified survey
par: Kajii, Atsushi, et autres
Publié: (2021)
par: Kajii, Atsushi, et autres
Publié: (2021)
Documents similaires
-
Concurrency and Refinement in the Unified Modeling Language
par: Davies, J, et autres
Publié: (2003) -
Using State Diagrams to Describe Concurrent Behaviour
par: Davies, J, et autres
Publié: (2003) -
Semantics and refinement for a concurrent object oriented language
par: Monteiro Borba, P
Publié: (1995) -
Unifying Semantics for Concurrent Programming
par: Hoare, T
Publié: (2013) -
Data refinement for true concurrency
par: Brijesh Dongol, et autres
Publié: (2013-05-01)