Abstract
In this paper, we propose an approach to translating UML to CSP that allows one to utilize both UML and CSP in a system design. To do so, we divide the visualization task based on three aspects of CSP: (i) the dynamics behavior, (ii) the static architecture, and (iii) the refinement assertions. In doing so we are able to visualize CSP via UML in a hierarchical manner which enhances understanding in the design process. In a way, we also provide a formal verification for the UML diagrams using CSP, since there are model checkers like FDR available. We have adopted the use of UML state diagram and class diagram for our work. In addition, we have outlined a prototyped tool that translates these diagrams to CSP that could be model-checked in FDR.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall. 1998.
David Harel and Michal Politi. Modeling Reactive Systems with State diagrams. Computing McGraw-Hill. 1988. ISBN 0-07-026205-5.
OMG Unified Modeling Language Specifictaion, Version 1.3 June 1999. http://www.rational.com/uml/resources/documentation/post.pdf
Mark Priestly. Practical Object_Oriented Design with UML. MacGraw Hill. 2000.
Formal Systems Website. http://www.formal.demon.co.uk/FDR2.html
Christie Bolton and Jim Davies. Activity Graphs and Processes. Integrated Formal Methods, 2 nd International Conference, IFM 2000 Dagstuhl Castle, Germany, Nov 2000.
Geetha Abeysinghe, Keith Phalp. Combining Process Modeling Methods. Information and Software Technology 39 (1997) 107–124.
Gregor Engels, Reiko Heckel and Jochen Malte Kuster. Rule-based Specification of Behavioral Consistency based on the UML Meta-Model. 4 th International Conference on the Unified Modeling Language:UML 2001. 2001.
Martin Fowler and Kendall Scott. UML Distilled. Applying The Standard Object Modeling Language. Addison-Wesley. 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ng, M.Y., Butler, M. (2002). Tool Support for Visualizing CSP in UML. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_31
Download citation
DOI: https://doi.org/10.1007/3-540-36103-0_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00029-7
Online ISBN: 978-3-540-36103-9
eBook Packages: Springer Book Archive