Concurrency and Refinement in the Unified Modeling Language
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 Processe...
| मुख्य लेखकों: | , |
|---|---|
| स्वरूप: | Journal article |
| प्रकाशित: |
2002
|
| _version_ | 1826290414622081024 |
|---|---|
| author | Davies, J Crichton, C |
| author_facet | Davies, J Crichton, C |
| author_sort | Davies, J |
| collection | OXFORD |
| description | 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. |
| first_indexed | 2024-03-07T02:43:49Z |
| format | Journal article |
| id | oxford-uuid:ab571cfe-e136-4f50-a1f2-a27b88b6764f |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:43:49Z |
| publishDate | 2002 |
| record_format | dspace |
| spelling | oxford-uuid:ab571cfe-e136-4f50-a1f2-a27b88b6764f2022-03-27T03:21:21ZConcurrency and Refinement in the Unified Modeling LanguageJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:ab571cfe-e136-4f50-a1f2-a27b88b6764fDepartment of Computer Science2002Davies, JCrichton, CThis 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. |
| spellingShingle | Davies, J Crichton, C Concurrency and Refinement in the Unified Modeling Language |
| title | Concurrency and Refinement in the Unified Modeling Language |
| title_full | Concurrency and Refinement in the Unified Modeling Language |
| title_fullStr | Concurrency and Refinement in the Unified Modeling Language |
| title_full_unstemmed | Concurrency and Refinement in the Unified Modeling Language |
| title_short | Concurrency and Refinement in the Unified Modeling Language |
| title_sort | concurrency and refinement in the unified modeling language |
| work_keys_str_mv | AT daviesj concurrencyandrefinementintheunifiedmodelinglanguage AT crichtonc concurrencyandrefinementintheunifiedmodelinglanguage |