Concurrency and Refinement in the Unified Modeling Language
This paper defines a formal semantics for a subset of the Unified Modeling Language (UML). It shows how suitable combinations of class, object, state, and sequence diagrams can be associated with patterns of interaction, expressed in the event notation of Communicating Sequential Processes (CSP). Th...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
2003
|