TY - GEN
T1 - Extracting frame conditions from operation contracts
AU - Niemann, Philipp
AU - Hilken, Frank
AU - Gogolla, Martin
AU - Wille, Robert
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/11/25
Y1 - 2015/11/25
N2 - In behavioral modeling, operation contracts defined by pre-and postconditions describe the effects on model properties (i.e., model elements such as attributes, links, etc.) that are enforced by an operation. However, it is usually omitted which model properties should not be modified. Defining so-called frame conditions can fill this gap. But, thus far, these have to be defined manually-a time-consuming task. In this work, we propose a methodology which aims to support the modeler in the definition of the frame conditions by extracting suggestions based on an automatic analysis of operation contracts provided in OCL. More precisely, the proposed approach performs a structural analysis of pre-and postconditions together with invariants in order to categorize which class and object properties are clearly 'variable' or 'unaffected'-and which are 'ambiguous', i.e. indeed require a more thorough inspection. The developed concepts are implemented as a prototype and evaluated by means of several example models known from the literature.
AB - In behavioral modeling, operation contracts defined by pre-and postconditions describe the effects on model properties (i.e., model elements such as attributes, links, etc.) that are enforced by an operation. However, it is usually omitted which model properties should not be modified. Defining so-called frame conditions can fill this gap. But, thus far, these have to be defined manually-a time-consuming task. In this work, we propose a methodology which aims to support the modeler in the definition of the frame conditions by extracting suggestions based on an automatic analysis of operation contracts provided in OCL. More precisely, the proposed approach performs a structural analysis of pre-and postconditions together with invariants in order to categorize which class and object properties are clearly 'variable' or 'unaffected'-and which are 'ambiguous', i.e. indeed require a more thorough inspection. The developed concepts are implemented as a prototype and evaluated by means of several example models known from the literature.
KW - Adaptation models
KW - Analytical models
KW - Computational modeling
KW - Context
KW - Contracts
KW - Prototypes
KW - Unified modeling language
UR - http://www.scopus.com/inward/record.url?scp=84961645019&partnerID=8YFLogxK
U2 - 10.1109/MODELS.2015.7338257
DO - 10.1109/MODELS.2015.7338257
M3 - Conference contribution
AN - SCOPUS:84961645019
T3 - 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings
SP - 266
EP - 275
BT - 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2015
Y2 - 30 September 2015 through 2 October 2015
ER -