Abstract
The unified modeling language (UML) developed under the coordination of the Object ManagementGroup (OMG) is one of the most important standards for the specification and design of object oriented systems. This standard is currently tuned for real time applications in the form of a newproposal, UML for Real-Time (UML-RT), by Rational Software Corporation and ObjecTime Limited. Because of the importance of UML-RT we are investigating its formal foundation in a joint project between ObjecTime Limited, Technische Universität München and the University of Bucharest. Our results clearly show that the visual notation of UML-RT is not only very intuitive but it also has a very deep mathematical foundation. In a previous paper (see [GBSS98]) we presented part of this foundation, namely the theory of flow graphs. In this paper we use flow graphs to define themore powerful theory of interaction graphs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
[A96]S. Abramsky. Retracing some paths in process algebra. In Seventh International Conference on Concurrency Theory (Concur’96), Lecture Notes Computer Science 1055, pages 21–33, 1996.
S. Abramsky, S. Gay, and R. Nagarajan. Interaction categories and the foundations of typed concurrent programming. To appear in Proc. Marktoberdorf Summer School, 1994.
R. Alur, T. A. Henzinger, F.Y.C. Mang, S. Qadeer, S. K. Rajamani, and S. Tasiran. Mocha: Modularity in model checking. To appear in the Proceedings of the Tenth International Conference on Computer-aided Verification (CAV 1998), Lecture Notes in Computer Science, Springer-Verlag, 1998.
M. Broy. Semantics of finite and infinite networks of concurrent communicating agents. Distributed Computing, 2: 13–31, 1987.
V.E. Căzănescu and Gh. Stefănescu. Towards a new algebraic foundation of flowchart scheme theory. Fundamenta lnformaticae, 13: 171–210, 1990.
R. Grosu, M. Broy, B. Selic, and B. Rumpe. A formal foundation for UML-RT. To Appear, July 1999.
R. Grosu, M. Broy, B. Selic, and Gh. Stefanescu. Towards a calculus for UML-RT specifications. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, Canada, Monday, October, 19th. TUM-19820, 1998.
R. Grosu and K. Stølen. A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. In Proc. of the 5th Int. Confi on Algebraic Methodology and Software Technology, AMAST96, Munich, pages 505–519. LNCS 1101, 1996.
R. Grosu, Gh. Stefanescu, and M. Broy. Visual formalisms revisited. In CSD’ 98, International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu City, Fukushima. IEEE, March 1998.
Radu Grosu, Thomas Stauner, and Manfred Broy. A modular visual model for hybrid systems. In Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT’98). Springer-Verlag, 1998.
A. Joyal, R. Street, and D. Verity. Traced monoidal categories. Math. Proc. Camb. Phil. Soc, 119: 447–468, 1996.
B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. Available under http://www.objectime.com/uml, April 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Grosu, R., Broy, M., Selic, B., Stefănescu, G. (1999). What is Behind UML-RT?. In: Kilov, H., Rumpe, B., Simmonds, I. (eds) Behavioral Specifications of Businesses and Systems. The Springer International Series in Engineering and Computer Science, vol 523. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5229-1_6
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5229-1_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7383-4
Online ISBN: 978-1-4615-5229-1
eBook Packages: Springer Book Archive