OCL support in an industrial environment

Authors:
Michael Altenhofen;Thomas Hettel;Stefan Kusterer
Affiliations:
SAP Research, CEC Karlsruhe, Karlsruhe, Germany;SAP Research, CEC Brisbane, Brisbane, Australia;SAP AG, Walldorf, Germany
Venue:
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Year:
2006

Citing 2
Cited 2

Computing the relevant instances that may violate an OCL constraint

CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Incremental evaluation of OCL constraints

CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering

Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains

Software Language Engineering
Incremental integrity checking of UML/OCL conceptual schemas

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we report on our experiences integrating OCL evaluation support in an industrial-strength (meta-)modeling infrastructure. We focus on the approach taken to improve efficiency through what we call impact analysis of model changes to decrease the number of necessary (re-)evaluations. We show how requirements derived from application scenarios have led to design decisions that depart from or resp. extend solutions found in (academic) literature.