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...
Main Authors: | Davies, J, Crichton, C |
---|---|
Format: | Journal article |
Udgivet: |
2002
|
Lignende værker
-
Concurrency and Refinement in the Unified Modeling Language
af: Davies, J, et al.
Udgivet: (2003) -
Using State Diagrams to Describe Concurrent Behaviour
af: Davies, J, et al.
Udgivet: (2003) -
Semantics and refinement for a concurrent object oriented language
af: Monteiro Borba, P
Udgivet: (1995) -
Unifying Semantics for Concurrent Programming
af: Hoare, T
Udgivet: (2013) -
Data refinement for true concurrency
af: Brijesh Dongol, et al.
Udgivet: (2013-05-01)