Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence

Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler

2018

Abstract

In behavioral modeling using UML/OCL, operation contracts defined by pre- and postconditions describe the effects on model elements (such as attributes, links, etc.) that are enforced by an operation. However, it is usually not clearly stated which model elements can be affected and which shall not, although this information is essential in order to obtain a comprehensive description. A promising solution to this so-called frame problem is to define additional frame conditions. However, properly defining frame conditions which complete the model description in the intended way is a non-trivial, tedious and error-prone task. While for UML/OCL models in general, methods for validation and verification are available, no analysis methods for frame conditions exist so far that could support the designer in this process. In this work, we close this gap and propose a set of primary analysis objectives (namely consistency, equivalence, and independence) that provide substantial information about the correctness and adequateness of given frame conditions. Moreover, we formalize these objectives as to be able to conduct the corresponding analyses in an automatic fashion using the deductive power of established approaches for model validation and verification. Finally, we discuss how the resulting methodology can actually be applied and demonstrate its potential for elaborated analyses of frame conditions.

Paper Citation

in Harvard Style

Niemann P., Przigoda N., Wille R. and Drechsler R. (2018). Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence.In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-283-7, pages 139-151. DOI: 10.5220/0006602301390151

in Bibtex Style

@conference{modelsward18,
author={Philipp Niemann and Nils Przigoda and Robert Wille and Rolf Drechsler},
title={Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2018},
pages={139-151},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006602301390151},
isbn={978-989-758-283-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence
SN - 978-989-758-283-7
AU - Niemann P.
AU - Przigoda N.
AU - Wille R.
AU - Drechsler R.
PY - 2018
SP - 139
EP - 151
DO - 10.5220/0006602301390151