Towards OCL/RT

Cengarle, Marı́a Victoria; Knapp, Alexander

doi:10.1007/3-540-45614-7_22

Cited by 37 publications

(26 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…One of the first proposals is OCL/RT [4], which extends OCL with the notion of timestamped events (based on the original UML abstract meta-class Event) and two temporal modalities, "always" and "sometimes". Events are associated with instances of classifiers and, by means of a special satisfaction operator, it is possible to evaluate an expression at the time instant when a certain event occurred.…”

Section: Related Workmentioning

confidence: 99%

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL

Wei

Bianculli

Briand

2014

Modelling Foundations and Applications

View full text Add to dashboard Cite

Abstract. 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 the other hand, a standard language such as the Object Constraint Language (OCL), which benefits from the availability of several industrial-strength tools, does not support temporal expressions. In this paper we propose OCLR, an extension of OCL with support for temporal constraints based on well-known property specification patterns. With respect to previous extensions, we add support for referring to a specific occurrence of an event as well as for indicating a time distance between events and/or scope boundaries. The proposed extension defines a new syntax, very close to natural language, paving the way for a rapid adoption by practitioners. We show the application of the language in a case study in the domain of eGovernment, developed in collaboration with a public service partner.

show abstract

Section: Related Workmentioning

confidence: 99%

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL

Wei

Bianculli

Briand

2014

Modelling Foundations and Applications

View full text Add to dashboard Cite

show abstract

“…Using these attributes in an extended form of transition guards, they support exception handling, i.e., specification of actions to take when a timing constraint fails. Cengarle and Knapp [6] present OCL/RT, a temporal extension of OCL with modal operators always and sometime over event occurrences. These can be used to specify deadlines and timeouts of operations and reactions on received signals.…”

Section: Temporal Constraints In Umlmentioning

confidence: 99%

“…However, it is essential to support the definition of temporal constraints already in early phases of development in order to specify correct system behavior over time. While other approaches focus on UML Collaboration and Sequence Diagrams and consider temporal OCL constraints for event communication (e.g., [6,22,44]), we investigate consecutiveness of states and state transitions in UML Statecharts and time-bounded constraints over sequences of states.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Formal semantics of static and temporal state-oriented OCL constraints

Flake

Mueller

2003

Softw Syst Model

View full text Add to dashboard Cite

The textual Object Constraint Language (OCL) is primarily intended to specify restrictions over UML class diagrams, in particular class invariants, operation pre-, and postconditions. Based on several improvements in the definition of the language concepts in last years, a proposal for a new version of OCL has recently been published [43]. That document provides an extensive OCL semantic description that constitutes a tight integration into UML. However, OCL still lacks a semantic integration of UML Statecharts, although it can already be used to refer to states in OCL expressions.This article presents an approach that closes this gap and introduces a formal semantics for such integration through a mathematical model. It also presents the definition of a temporal OCL extension by means of a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension enables modelers to specify behavioral state-oriented real-time constraints. It provides an intuitive understanding and readability at application level since common OCL syntax and concepts are preserved. A well-defined formal semantics is given through the mapping of temporal OCL expressions to temporal logics formulae.

show abstract

“…The OCL, however, has some limitations: it offers neither time nor signal handling constructs, it is incapable of expressing general liveness properties or performance aspects of systems conveniently. OCL for Real Time (OCL/RT) is an extension of OCL which covers these aspects [3].…”

Section: Introductionmentioning

confidence: 99%

UML 2.0 interactions with OCL/RT constraints

García¹,

Cengarle²,

Szász

2008

2008 Forum on Specification, Verification and Design Languages

View full text Add to dashboard Cite

The Unified Modeling Language 2.0 Interactions language describes inter-component behavior. However, it cannot define meaningful time constraints. OCL for Real Time is a language for real-time constraints specification well-suited for describing constraints on interactions. This work defines a formal semantics for the merger of those languages. The semantics allows the recognition of valid and invalid behaviors of a system with time constraints. An analysis of the properties derived from the semantics is also done. In particular, the notions of refinement of interactions and refinement of constraints, intended for formal verification, are explored.

show abstract

Towards OCL/RT

Cited by 37 publications

References 11 publications

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL

Formal semantics of static and temporal state-oriented OCL constraints

UML 2.0 interactions with OCL/RT constraints

Contact Info

Product

Resources

About