Temporal Constraint Support for OCL

The Object Constraint Language is widely used to express precise and unambiguous constraints on models and object oriented programs. However, the notion of temporal constraints, controlling the system behavior over time, has not been natively supported. Such temporal constraints are necessary to model reactive and real-time systems. Although there are works addressing temporal extensions of OCL, they only bring syntactic extensions without any concrete implementation conforming to the OCL standard. On top of that, all of them are based on temporal logics that require particular skills to be used in practice.

[1]  Christophe Gaston,et al.  Symbolic Execution Techniques for Test Purpose Definition , 2006, TestCom.

[2]  Jan Tretmans,et al.  Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation , 1996, Comput. Networks ISDN Syst..

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

[4]  Martin Gogolla,et al.  Object Constraint Language , 2009, Encyclopedia of Database Systems.

[5]  John Mullins,et al.  Model Checking of Extended OCL Constraints on UML Models in SOCLe , 2007, FMOODS.

[6]  Thierry Jéron,et al.  TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

[7]  Jacques Julliand,et al.  Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests , 2011, ICTSS.

[8]  Wolfgang Müller,et al.  Formal semantics of static and temporal state-oriented OCL constraints , 2003, Software & Systems Modeling.

[9]  Christel Baier,et al.  Principles of model checking , 2008 .

[10]  Lydie du Bousquet,et al.  Filtering TOBIAS Combinatorial Test Suites , 2004, FASE.

[11]  Tony Clark,et al.  Object Modeling with the OCL , 2002, Lecture Notes in Computer Science.

[12]  Martin Gogolla,et al.  OCL Extended with Temporal Logic , 2003, Ershov Memorial Conference.

[13]  Joost-Pieter Katoen,et al.  On a Temporal Logic for Object-Based Systems , 2000, FMOODS.

[14]  María Victoria Cengarle,et al.  Towards OCL/RT , 2002, FME.

[15]  Katalin Tarnay,et al.  Testing of Communicating Systems , 1999, IFIP — The International Federation for Information Processing.

[16]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[17]  Christel Baier,et al.  Principles of Model Checking (Representation and Mind Series) , 2008 .

[18]  Perdita Stevens,et al.  Enriching OCL Using Observational Mu-Calculus , 2002, FASE.

[19]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

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

[21]  Nora Szasz,et al.  UML 2.0 interactions with OCL/RT constraints , 2008, 2008 Forum on Specification, Verification and Design Languages.

[22]  Manfred Broy,et al.  Perspectives of System Informatics , 2001, Lecture Notes in Computer Science.

[23]  Peter A. Lindsay,et al.  FME 2002:Formal Methods—Getting IT Right , 2002, Lecture Notes in Computer Science.