Extending OCL to Include Actions

Kleppe, Anneke; Warmer, Jos

doi:10.1007/3-540-40011-7_32

Cited by 20 publications

(11 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Extending UML interface specifications, we obtain specifications in OUN that capture dynamic aspects not easily expressible in UML or OCL [27]. Although OCL extends UML with object invariants and pre-and postconditions for methods, precise specification of output from objects is still difficult to capture in OCL as the language expresses constraints on object attributes and not on communication events [15]. OCL, as well as other object-oriented formalisms such as Object-Z [25], Maude [18], and temporal logic-based approaches such as TLA [17], specify components by an abstract implementation using state variables.…”

Section: Discussionmentioning

confidence: 99%

Combining Graphical and Formal Development of Open Distributed Systems

Johnsen

Zhang

Owe

et al. 2002

Lecture Notes in Computer Science

View full text Add to dashboard Cite

A specification of a software system involves several aspects. Two essential aspects are convenience in specification and possibility for formal analysis. These aspects are, to some extent, exclusive. This paper describes an approach to the specification of systems that emphasizes both aspects, by combining UML with a language for description of the observable behavior of object viewpoints, OUN. Whereas both languages are centered around object-oriented concepts, they are complementary in the sense that one is graphical and semi-formal while the other is textual and formal. The approach is demonstrated by a case study focusing on the specification of an open communication infrastructure.

show abstract

Section: Discussionmentioning

confidence: 99%

Combining Graphical and Formal Development of Open Distributed Systems

Johnsen

Zhang

Owe

et al. 2002

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…The approach in [14] addresses this. 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.…”

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

“…An extension to the OCL language to support actions [21] has been put forward, but the proposal stopped short of suggesting that such actions be executed using an OCL interpreter. However, to achieve a high degree of modelling transparency [5], the simultaneous update of interrelated parts of dependent models is needed.…”

Section: Ocl As a Conceptual Language For Meta-modelling Constraints mentioning

confidence: 99%

“…However, OCL traditionally supports neither updates nor active behaviour. Other authors have suggested extensions to OCL for introducing active behaviour [21]. In our work, we extend the OCL language and its interpreter to allow the expression of active behaviour with update.…”

Section: Overview Of Approachmentioning

confidence: 99%

An Active Approach to Model Management for Evolving Information Systems

Gustavsson

Lings

Lundell

2003

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. It is desirable to be able to interchange design information between CASE tools. Such interchange facilitates cooperative development, helps in avoiding legacy problems when adopting new tools, and permits the use of different tools for different life-cycle activities. Exchanging model transformation information is particularly demanding in the context of cooperative maintenance of evolving systems. In this paper we suggest an approach using active transformation rules. We show how transformation rules can be expressed using a modest extension of the Object Constraint Language of the UML standard, and actively interpreted. The approach allows existing UML-based tools or repository systems to be readily extended to actively manage models in evolving information systems.

show abstract

Extending OCL to Include Actions

Cited by 20 publications

References 0 publications

Combining Graphical and Formal Development of Open Distributed Systems

Combining Graphical and Formal Development of Open Distributed Systems

On Integrating Structure and Behavior Modeling with OCL

An Active Approach to Model Management for Evolving Information Systems

Contact Info

Product

Resources

About