Journal article

Concurrency and Refinement in the Unified Modeling Language

Abstract:: This paper defines a formal semantics for a subset of the Unified Modeling Language (UML). It shows how suitable combinations of class, object, state, and sequence diagrams can be associated with patterns of interaction, expressed in the event notation of Communicating Sequential Processes (CSP). The diagram semantics is then extended to give a meaning to complete models - suitable combinations of diagrams - and thus a concurrency semantics for object models written in UML. This model semantics is in turn used to define a theory of refinement, based upon existing notions of data and process refinement.

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. (2003). Concurrency and Refinement in the Unified Modeling Language. Formal Aspects of Computing, 15(2−3), 118–145.

MLA Style

Davies, J, and C Crichton. “Concurrency and Refinement in the Unified Modeling Language.” Formal Aspects of Computing, vol. 15, no. 2−3, 2003, pp. 118–45.

Chicago Style

Davies, J, and C Crichton. 2003. “Concurrency and Refinement in the Unified Modeling Language.” Formal Aspects of Computing 15 (2−3): 118–45.
Print

Access Document

Publisher copy:: 10.1007/s00165-003-0008-3

Authors

+ Davies, J More by this author

Role:: Author

+ Crichton, C More by this author

Role:: Author

Journal:: Formal Aspects of Computing More from this journal
Volume:: 15
Issue:: 2−3
Pages:: 118-145
Publication date:: 2003-01-01
DOI:: 10.1007/s00165-003-0008-3

UUID:: uuid:da680209-4ab6-4c0b-944a-306f78266764
Local pid:: cs:2226
Deposit date:: 2015-03-31
ARK identifier:: ark:/29072/ora_da6802094ab64c0b944a306f78266764

Terms of use

Copyright date:: 2003

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