What is Behind UML-RT?
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.
KeywordsUnify Modeling Language Monoidal Category Sequential Composition Interaction Graph Flow Graph
Unable to display preview. Download preview PDF.
- [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.Google Scholar
- [AGN94]S. Abramsky, S. Gay, and R. Nagarajan. Interaction categories and the foundations of typed concurrent programming. To appear in Proc. Marktoberdorf Summer School, 1994.Google Scholar
- [AHM+98]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.Google Scholar
- [GBSR99]R. Grosu, M. Broy, B. Selic, and B. Rumpe. A formal foundation for UML-RT. To Appear, July 1999.Google Scholar
- [GBSS98]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.Google Scholar
- [GS96]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.Google Scholar
- [GSB98a]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.Google Scholar
- [GSB98b]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.Google Scholar
- [SR98]B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. Available under http://www.objectime.com/uml, April 1998.