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

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Davies, J., & Crichton, C. (2002). Concurrency and Refinement in the Unified Modeling Language. Electronic Notes in Theoretical Computer Science, 70(3), 217–243.

MLA Style

Davies, J, and C Crichton. “Concurrency and Refinement in the Unified Modeling Language.” Electronic Notes in Theoretical Computer Science, vol. 70, no. 3, 2002, pp. 217–43.

Chicago Style

Davies, J, and C Crichton. 2002. “Concurrency and Refinement in the Unified Modeling Language.” Electronic Notes in Theoretical Computer Science 70 (3): 217–43.
Print

Access Document

Publisher copy:: 10.1016/S1571-0661(05)80494-3

Authors

+ Davies, J More by this author

Role:: Author

+ Crichton, C More by this author

Role:: Author

Journal:: Electronic Notes in Theoretical Computer Science More from this journal
Volume:: 70
Issue:: 3
Pages:: 217-243
Publication date:: 2002-01-01
DOI:: 10.1016/S1571-0661(05)80494-3

UUID:: uuid:ab571cfe-e136-4f50-a1f2-a27b88b6764f
Local pid:: cs:2227
Deposit date:: 2015-03-31
ARK identifier:: ark:/29072/ora_ab571cfee1364f50a1f2a27b88b6764f

Terms of use

Copyright date:: 2002

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Views and Downloads

About 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