Concurrency and Refinement in the Unified Modeling Language-Reference-Cited by-同舟云学术

Concurrency and Refinement in the Unified Modeling Language

Published:2003-11 Issue:2-3 Volume:15 Page:118-145
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Davies Jim¹,Crichton Charles¹

Affiliation:

1. Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00165-003-0008-3.pdf

Reference32 articles.

1. [AGE] AGEDIS: the AGEDIS project Automated Generation and Execution of Test Suites for Distributed Systems (EU-IST 1999-20218) http://www.agedis.de

2. Modeling the dynamics of UML state machines. In: Y. Gurevich, P. Kutter, M. Odersky and L. Thiele editors;Börger E.;Abstract State Machines: Theory and Applications LNCS,1912

3. [CHM00] Corradini A. Heckel R. and Montanari U .: Graphical Operational semantics Available at http://www.uni-paderborn.de/cs/ag-engels/Papers/2000/CorradiniGTVMT00. pdf 2000 .

4. D;Cl;Journal of Universal Computer Science,2000

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Laws of Timed State Machines;The Computer Journal;2023-12-22

2. RoboStar Technology: A Roboticist’s Toolbox for Combined Proof, Simulation, and Testing;Software Engineering for Robotics;2020-12-17

3. (User-friendly) formal requirements verification in the context of ISO26262;Engineering Science and Technology, an International Journal;2020-06

4. RoboChart: modelling and verification of the functional behaviour of robotic applications;Software & Systems Modeling;2019-01-23

5. Modelling and Verification for Swarm Robotics;Lecture Notes in Computer Science;2018