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...
| Hlavní autoři: | , |
|---|---|
| Médium: | Journal article |
| Vydáno: |
2002
|
Podobné jednotky
Refinements and higher-order beliefs: a unified survey
Autor: Kajii, Atsushi, a další
Vydáno: (2021)
Autor: Kajii, Atsushi, a další
Vydáno: (2021)