NDLI: Extracting frame conditions from operation contracts

Content Provider	IEEE Xplore Digital Library
Author	Niemann, P. Hilken, F. Gogolla, M. Wille, R.
Copyright Year	2015
Description	Author affiliation: Dept. of Comput. Sci., Univ. of Bremen, Bremen, Germany (Niemann, P.; Hilken, F.; Gogolla, M.; Wille, R.)
Abstract	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.
Starting Page	266
Ending Page	275
File Size	280848
Page Count	10
File Format	PDF
e-ISBN	9781467369084
DOI	10.1109/MODELS.2015.7338257
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2015-09-30
Publisher Place	Canada
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Context Adaptation models Analytical models Computational modeling Unified modeling language Prototypes Contracts
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models

A role language to interpret multi-formalism System of systems models

Automatic refinement checking for formal system models

A proposal for consistency checking in dynamic software product line models using OCL

A Unified Framework for Enterprise Architecture Analysis

Adaptive Context-Awareness Model for Cultural Heritage Information Based on User Needs

Conceptualisation of Hybrid Service Models: An Open Models Approach

From Models to Webapps

Model transformation specification for automated formal verification

Extracting frame conditions from operation contracts

Similar Documents

Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models

A role language to interpret multi-formalism System of systems models

Automatic refinement checking for formal system models

A proposal for consistency checking in dynamic software product line models using OCL

A Unified Framework for Enterprise Architecture Analysis

Adaptive Context-Awareness Model for Cultural Heritage Information Based on User Needs

Conceptualisation of Hybrid Service Models: An Open Models Approach

From Models to Webapps

Model transformation specification for automated formal verification

Extracting frame conditions from operation contracts