On integrating structure and behavior modeling with OCL

  • Authors:

  • Lars Hamann;Oliver Hofrichter;Martin Gogolla

  • Affiliations:

  • Computer Science Department, Database Systems Group, University of Bremen, Bremen, Germany;Computer Science Department, Database Systems Group, University of Bremen, Bremen, Germany;Computer Science Department, Database Systems Group, University of Bremen, Bremen, Germany

  • Venue:
  • MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.