Cookies on this website
We use cookies to ensure that we give you the best experience on our website. If you click 'Continue' we'll assume that you are happy to receive all cookies and you won't see this message again. Click 'Find out more' for information on how to change your cookie settings.

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