License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05161.2
URN: urn:nbn:de:0030-drops-4294
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/429/
|
Go to the corresponding Portal |
Van Gorp, Pieter ;
Janssens, Dirk
CAViT: a Consistency Maintenance Framework based on Transformation Contracts
Abstract
Design by contract is a software correctness methodology for procedural and object-oriented software. It relies on logical assertions to detect implementation mistakes at run-time or to proof the absence thereof at compile-time. Design by contract has found a new application in model driven engineering, a methodology that aims to manage the complexity of frameworks by relying on models and transformations.
A ``transformation contract'' is a pair of constraints that together describe the effect of a transformation rule on the set of models contained in its transformation definition: the postcondition describes the model consistency state that the rule can establish provided that its precondition is satisfied. A transformation contract of a rule can be maintained automatically by calling the rule (1) as soon as the invariant corresponding to its postcondition is violated
and (2) provided that its precondition is satisfied.
Domain specific visual languages can facilitate the implementation of the actual transformation rules since they hide the complexity of graph transformation algorithms and standards for tool interoperability.
In this talk, we describe CAViT: a framework that integrates a visual model transformation tool with a design by contract tool by relying on OMG standards such as UML, OCL and MOF.
BibTeX - Entry
@InProceedings{vangorp_et_al:DagSemProc.05161.2,
author = {Van Gorp, Pieter and Janssens, Dirk},
title = {{CAViT: a Consistency Maintenance Framework based on Transformation Contracts}},
booktitle = {Transformation Techniques in Software Engineering},
pages = {1--27},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5161},
editor = {James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2006/429},
URN = {urn:nbn:de:0030-drops-4294},
doi = {10.4230/DagSemProc.05161.2},
annote = {Keywords: Consistency maintenance, metamodeling, transformation, graph rewriting, UML, OCL, MOF}
}
|
Keywords: |
|
Consistency maintenance, metamodeling, transformation, graph rewriting, UML, OCL, MOF |
|
Collection: |
|
05161 - Transformation Techniques in Software Engineering |
|
Issue Date: |
|
2006 |
|
Date of publication: |
|
07.03.2006 |
