Towards OCL/RT

An extension of the "Object Constraint Language" (OCL) for modeling real-time and reactive systems in the "Unified Modeling Language" (UML) is proposed, called OCL/RT. A general notion of events that may carry time stamps is introduced providing means to describe the detailed dynamic and timing behaviour of UML software models. OCL is enriched by satisfaction operators @? for referring to the value in the history of an expression at the instant when event ? occurred, as well as the modalities always and sometime. The approach is illustrated by several examples. Finally, an operational semantics of OCL/RT is given.

[1]  William J Edwards,et al.  Doing Hard Time , 1994 .

[2]  Kevin Lano,et al.  Formal object-oriented development , 1995, FACIT: Formal approaches to computing and information technology.

[3]  Anneke Kleppe,et al.  Unification of Static and Dynamic Semantics of UML , 2001 .

[4]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[5]  Martin Gogolla,et al.  OCL: Syntax, Semantics, and Tools , 2002, Object Modeling with the OCL.

[6]  Andy Evans,et al.  An Action Semantics for MML , 2001, UML.

[7]  Anneke Kleppe,et al.  A Study in Dynamic Aspects of the pUML 00 Meta Modelling Approach to the Rearchitecting of UML , 2001 .

[8]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[9]  Luigi Lavazza,et al.  Combining UML and formal notations for modelling real-time systems , 2001, ESEC/FSE-9.

[10]  María Victoria Cengarle,et al.  A Formal Semantics for OCL 1.4 , 2001, UML.

[11]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[12]  Shane Sendall,et al.  Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML , 2001, UML.

[13]  Anneke Kleppe,et al.  Extending OCL to include Actions , 2000, UML.

[14]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[15]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[16]  Stefan Conrad,et al.  Temporal OCL Meeting Specification Demands for Business Components , 2001, Unified Modeling Language: Systems Analysis, Design and Development Issues.

[17]  Bran Selic,et al.  Using UML for Modeling Complex Real-Time Systems , 1998, LCTES.

[18]  Bruce Powel Douglass.  Real-Time UML , 2002, FTRTFT.

[19]  Marieke Huisman,et al.  Extending JML Specifications with Temporal Logic , 2002, AMAST.