Abstract
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). The diagram semantics is then extended to give a meaning to complete models – suitable combinations of diagrams – and thus a concurrency semantics for object models written in UML. This model semantics is in turn used to define a theory of refinement, based upon existing notions of data and process refinement.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Davies, J., Crichton, C. Concurrency and Refinement in the Unified Modeling Language. Formal Aspects of Computing 15, 118–145 (2003). https://doi.org/10.1007/s00165-003-0008-3
Issue Date:
DOI: https://doi.org/10.1007/s00165-003-0008-3