The Semantics of the OCL Action Clause

Kleppe, Anneke; Warmer, Jos

doi:10.1007/3-540-45669-4_11

Cited by 13 publications

(10 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In [13] Kleppe and Warmer define the semantics of the action clause in terms of histories of events. This paper inspired our definition of histories.…”

Section: Conclusion Related Work and Future Workmentioning

confidence: 99%

“…The exact semantics of the^^operator is not precisely defined in the OCL standard; we base this discussion on the description of this operator on page 2-23 of the standard proposal [3] and on [13]. Recall, that the informal meaning of this operator is: "The sequence of all messages of a specific name sent to a specific object with some specific parameter values during the lifetime of the contextual object."…”

Section: Theˆˆoperatormentioning

confidence: 99%

See 1 more Smart Citation

On Message Specifications in OCL

Kyas¹,

Boer²

2004

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

The object constraint language (OCL) is the established language for specifying of properties of objects and object structures. Recently an extension of OCL has been proposed for the specification of messages sent between objects. In this paper we present a generalization of this extension which allows additionally to specify causality constraints. From a pragmatic point of view, such causality constraints are needed to express, for example, that each acknowledgment must be preceded by a matching request, which is frequently required by communication protocols. Our generalization is based on the introduction of histories into OCL. Histories describe the external behavior of objects and groups of objects. Moreover, to reason compositionally about the behavior of a complex system we distinguish between local specifications of a single object and global specifications describing the interaction between objects. These two types of specifications are expressed in syntactically different dialects of OCL. Our notion of compositionality, which is formalized in this paper by a compatibility predicate on histories, allows the verification of models during the early stages of a design.

show abstract

“…In [13] Kleppe and Warmer define the semantics of the action clause in terms of histories of events. This paper inspired our definition of histories.…”

Section: Conclusion Related Work and Future Workmentioning

confidence: 99%

Section: Theˆˆoperatormentioning

confidence: 99%

On Message Specifications in OCL

Kyas¹,

Boer²

2004

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

show abstract

“…However, according to [16], preand postconditions describe static aspects of the system, as they compare states of a system, which are static entities. Therefore in [16,17] the socalled action clause is introduced to the Object Constraint Language and is provided with a semantics. Semantics of State Machines.…”

Section: Related Workmentioning

confidence: 99%

On Integrating Structure and Behavior Modeling with OCL

Hamann

Hofrichter

Gogolla

2012

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. Precise modeling with UML and OCL traditionally focuses on structural model features like class invariants. OCL also allows the developer to handle behavioral aspects in form of operation pre-and postconditions. However, behavioral UML models like statecharts have rarely been integrated into UML and OCL modeling tools. This paper discusses an approach that combines precise structure and behavior modeling: Class diagrams together with class invariants restrict the model structure and protocol state machines constrain the model behavior. Protocol state machines can take advantage of OCL in form of OCL state invariants and OCL guards and postconditions for state transitions. Protocol state machines can cover complete object lifecycles in contrast to operation pre-and postconditions which only affect single operation calls. The paper reports on the chosen UML language features and their implementation in a UML and OCL validation and verification tool.

show abstract

“…Kleppe and Warmer claimed that the Object Constraint Language (OCL) is a language that offers ways to specify the semantics of an object-oriented model in a very accurate style [1]. The semantics are expressed in invariants and pre-andpost conditions, which are all types of constraints [1]. A research of model checking by [14], demonstrated the use of OCL to express constraints via a simple domain-specific language (DSL) called Class Diagrams (CD).…”

Section: E Critic Realization Approachmentioning

confidence: 99%

A taxonomy of computer-supported critics

Ali

Hosking

Grundy

2010

2010 International Symposium on Information Technology

View full text Add to dashboard Cite

Abstract-Critics have emerged over the last several years as a specific tool feature to support users in computer-mediated tasks. These computer-supported critics provide proactive guidelines or suggestions for improvement to designs, code and other digital artifacts. The concept of a critic has been adopted in various domains, including: medical (ATTENDING, ONCONCIN), programming (Lisp-Critic, RevJava), software engineering (Argo/UML, ABCDE-Critic), design sketching (Design Evaluator) and others. Critics have proven to be an effective mechanism in providing feedback to users. In this paper we propose an initial critic taxonomy based on our review of the critic literature. We present the groups and elements of the critic taxonomy and explain the groups and critic elements together some examples. We believe our taxonomy will assist others in identifying, categorizing, developing and deploying computersupported critics in a range of domains.

show abstract

The Semantics of the OCL Action Clause

Cited by 13 publications

References 1 publication

On Message Specifications in OCL

On Message Specifications in OCL

On Integrating Structure and Behavior Modeling with OCL

A taxonomy of computer-supported critics

Contact Info

Product

Resources

About