Journal article icon

Journal article

Concurrency and Refinement in the Unified Modeling Language

Abstract:
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.

Actions


Access Document


Journal:
Electronic Notes in Theoretical Computer Science More from this journal
Volume:
70
Issue:
3
Pages:
217-243
Publication date:
2002-01-01
DOI:
UUID:
uuid:ab571cfe-e136-4f50-a1f2-a27b88b6764f
Local pid:
cs:2227
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP