Advertisement

What is Behind UML-RT?

  • Radu Grosu
  • Manfred Broy
  • Bran Selic
  • Gheorghe Stefănescu
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 523)

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.

Keywords

Unify Modeling Language Monoidal Category Sequential Composition Interaction Graph Flow Graph 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [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
  2. [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
  3. [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
  4. [B87]
    M. Broy. Semantics of finite and infinite networks of concurrent communicating agents. Distributed Computing, 2: 13–31, 1987.zbMATHCrossRefGoogle Scholar
  5. [CS90]
    V.E. Căzănescu and Gh. Stefănescu. Towards a new algebraic foundation of flowchart scheme theory. Fundamenta lnformaticae, 13: 171–210, 1990.zbMATHGoogle Scholar
  6. [GBSR99]
    R. Grosu, M. Broy, B. Selic, and B. Rumpe. A formal foundation for UML-RT. To Appear, July 1999.Google Scholar
  7. [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
  8. [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
  9. [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
  10. [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
  11. [JSV96]
    A. Joyal, R. Street, and D. Verity. Traced monoidal categories. Math. Proc. Camb. Phil. Soc, 119: 447–468, 1996.MathSciNetzbMATHCrossRefGoogle Scholar
  12. [SR98]
    B. Selic and J. Rumbaugh. Using UML for modeling complex real-time systems. Available under http://www.objectime.com/uml, April 1998.

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • Radu Grosu
    • 1
  • Manfred Broy
    • 2
  • Bran Selic
    • 3
  • Gheorghe Stefănescu
    • 4
  1. 1.Institut für Informatik, TU MünchenMünchenGermany
  2. 2.Institut für Informatik, TU MünchenMünchenGermany
  3. 3.ObjecTime LimitedKanataCanada
  4. 4.Faculty of MathematicsUniversity of BucharestBucharestRomanian

Personalised recommendations