Abstract
UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level, defining the overall system structure. In this paper we propose to use UML-RT structure diagrams together with the formal method CSP-OZ combining CSP and Object-Z. While CSP-OZ is used for specifying the system components themselves (by CSP-OZ classes), UML-RT diagrams provide the architecture description. Thus the usual architecture specification in terms of the CSP operators parallel composition, renaming and hiding is replaced by a graphical description. To preserve the formal semantics of CSP-OZ specifications, we develop a translation from UML-RT structure diagrams to CSP. Besides achieving a more easily accessible, graphical architecture modelling for CSP-OZ, we thus also give a semantics to UML-RT structure diagrams.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 1997.
G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language user guide. Addison Wesley, 1999.
T. Clark and A. Evans. Foundations of the unified modeling language. In Northern Formal Methods Workshop, Electronic Workshops in Computing. Springer, 1998.
S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. Translating the OMT dynamic model into Object-Z. In J.P. Bowen, A. Fett, and M.G. Hinchey, editors, ZUM’98: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 347–366. Springer, 1998.
C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS’ 97), volume 2, pages 423–438. Chapman & Hall, 1997.
C. Fischer. Combination and Implementation of Processes and Data: From CSPOZ to Java. PhD thesis, Bericht Nr. 2/2000, University of Oldenburg, April 2000.
R. France and B. Rumpe, editors. UML’99: The Modified Modeling Language-Beyond the Standard, volume 1723 of Lecture Notes in Computer Science. Springer, 1999.
R. Grosu, M. Broy, B. Selic, and G. Stefanescu. What is behind UML-RT? In Behavioural Specifications of business and systems. Kluwer, 1999.
C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
S.-K. Kim and D. Carrington. Formalizing the UML class diagram using Object-Z. In R. France and B. Rumpe, editors, UML’99: The Unified Modelling Language-Beyond the Standard, volume 1723 of Lecture Notes in Computer Science, pages 83–98. Springer, 1999.
J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In ESEC’ 95: European Software Engineering Conference, 1995.
R. Milner. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, 1999.
Object Management Group. OMG Unified Modeling Language Specification, June 1999. version 1.3.
E.-R. Olderog and A.P. Ravn. Documenting design refinement. In M.P.E. Heimdahl, editor, Proc. of the Third Workshop on Formal Methods in Software Practice, pages 89-100. ACM, 2000.
A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. Technical report, ObjecTime, 1998.
G. Smith. The Object-Z Specification Language. Kluwer Academic Publisher, 2000.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International Series in Computer Science, 2nd edition, 1992.
H. Wehrheim. Specification of an automatic manufacturing system-a case study in using integrated formal methods. In T. Maibaum, editor, FASE 2000: Fundamental Aspects of Software Engineering, number 1783 in LNCS. Springer, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fischer, C., Olderog, ER., Wehrheim, H. (2001). A CSP View on UML-RT Structure Diagrams. In: Hussmann, H. (eds) Fundamental Approaches to Software Engineering. FASE 2001. Lecture Notes in Computer Science, vol 2029. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45314-8_8
Download citation
DOI: https://doi.org/10.1007/3-540-45314-8_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41863-4
Online ISBN: 978-3-540-45314-7
eBook Packages: Springer Book Archive