loading
Documents

Research.Publish.Connect.

Paper

Authors: Philipp Niemann 1 ; Nils Przigoda 2 ; Robert Wille 3 and Rolf Drechsler 4

Affiliations: 1 DFKI GmbH, Germany ; 2 Siemens AG, Germany ; 3 DFKI GmbH and Johannes Kepler University Linz, Germany ; 4 DFKI GmbH and University of Bremen, Germany

ISBN: 978-989-758-283-7

Keyword(s): UML/OCL, Operation Contracts, Frame Conditions, Validation and Verification.

Related Ontology Subjects/Areas/Topics: Constraint Modeling and Languages ; Languages, Tools and Architectures ; Model-Driven Software Development ; Reasoning about Models ; Software Engineering

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 infor mation 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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.239.158.107

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Niemann, P.; Niemann, P.; Przigoda, N.; 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

@conference{modelsward18,
author={Philipp Niemann. and Philipp Niemann. and Nils Przigoda. 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},
}

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 - Niemann, P.
AU - Przigoda, N.
AU - Przigoda, N.
AU - Wille, R.
AU - Drechsler, R.
PY - 2018
SP - 139
EP - 151
DO - 10.5220/0006602301390151

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.