Concurrency and Refinement in the Unified Modeling Language
Jim Davies and Charles Crichton
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.
Details
| Book Title |
REFINE 2002‚ The BCS FACS Refinement Workshop (Satellite Eventof FLoC 2002) |
| Journal |
Electronic Notes in Theoretical Computer Science |
| Number |
3 |
| Pages |
217−243 |
| Volume |
70 |
| Year |
2002 |
Links
DOI (10.1016/S1571-0661(05)80494-3)
Related pages
|
People |