An Extension of OCL with Temporal Logic
نویسندگان
چکیده
UML class diagrams are widely used to model the static structure of object-oriented software systems. As a supplement, OCL becomes more and more popular for formulating constraints that can not be modeled by the diagrams. In this paper, we extend OCL with elements of temporal logic. With this extension, constraints on the temporal development of the system structure as well as on the system behavior can be stated in terms of temporal invariants and preand postconditions.
منابع مشابه
Specification of Real-Time Properties for UML Models
The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynam...
متن کاملAn OCL Extension for Formulating Temporal Constraints
UML class diagrams are widely used to model the static structure of object-oriented software systems. The textual language OCL, which is part of the UML, is used for formulating constraints that can not be modeled by the diagrams. In this paper, we extend OCL with elements of linear temporal logic. With this extended OCL, which we call TOCL, we want to give software engineers a user-friendly me...
متن کاملExpressing Property Specification Patterns with OCL
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). OCL is primarily used to formulate restrictions over UML models, in particular, invariants and operation preand postconditions in the context of class diagrams. However, OCL is missing means to specify constraints over the dynamic behavior of a UML model. We have therefore developed a tempor...
متن کاملOCLR: A More Expressive, Pattern-Based Temporal Extension of OCL
Modern enterprise information systems often require to specify their functional and non-functional (e.g., Quality of Service) requirements using expressions that contain temporal constraints. Specification approaches based on temporal logics demand a certain knowledge of mathematical logic, which is difficult to find among practitioners; moreover, tool support for temporal logics is limited. On...
متن کاملVisual Specification of Structural and Temporal Properties
The UML has become the de-facto standard in software engineering. Due to the visual nature and accessibility of its structural diagrams, it is widely accepted as the tool of choice for structural modeling. However, for specifying structural properties that go beyond cardinalities, the UML only provides a textual specification language, the OCL. For mixed structural and temporal properties, only...
متن کامل