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...
Huvudupphovsmän: | Davies, J, Crichton, C |
---|---|
Materialtyp: | Journal article |
Publicerad: |
2002
|
Liknande verk
Refinements and higher-order beliefs: a unified survey
av: Kajii, Atsushi, et al.
Publicerad: (2021)
av: Kajii, Atsushi, et al.
Publicerad: (2021)
Liknande verk
-
Concurrency and Refinement in the Unified Modeling Language
av: Davies, J, et al.
Publicerad: (2003) -
Using State Diagrams to Describe Concurrent Behaviour
av: Davies, J, et al.
Publicerad: (2003) -
Semantics and refinement for a concurrent object oriented language
av: Monteiro Borba, P
Publicerad: (1995) -
Unifying Semantics for Concurrent Programming
av: Hoare, T
Publicerad: (2013) -
Data refinement for true concurrency
av: Brijesh Dongol, et al.
Publicerad: (2013-05-01)