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 Processes (CSP); this semantics is adequate for the analysis of concurrent, communicating behaviour, and induces a notion of refinement for UML based upon existing notions of traces and failures refinement for CSP. © 2002 Published by Elsevier Science B. V.

Original publication

DOI

10.1016/S1571-0661(05)80494-3

Type

Journal article

Journal

Electronic Notes in Theoretical Computer Science

Publication Date

01/11/2002

Volume

70

Pages

577 - 603