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...
Ausführliche Beschreibung
Bibliographische Detailangaben
| Hauptverfasser: |
Davies, J,
Crichton, C |
|---|
| Format: | Journal article
|
|---|
| Veröffentlicht: |
2002
|
|---|