Grosu/Stauner: Automated refinement checking for asynchronous processes

What is Behind UML-RT?

Radu Grosu, Manfred Broy, Bran Selic, and Gheorghe Stefanescu

The unified modeling language (UML) developed under the coordination of the Object Management Group (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 new proposal, 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 Universitaet Muenchen and the University of Bucharest. In this paper we present part of this foundation, namely the theory of flow-graphs.

Behavioral specifications of businesses and systems, Kluwer Academic Publishers, 1999.