Paper Info
Title
Towards constraint-based preservation in systems specification
Abstract
Model transformation has applications in many areas and usually is to preserve certain properties. In model-driven software development, e.g., abstract models are transformed into more specific ones while preserving the behavior of the overall specified system. In this paper we demonstrate how constraint-based preservation, which we have initially developed in the context of digital archiving, can be applied to systems specification. We demonstrate how our approach helps to preserve communication flows inside a component-based system. In particular, formal preservation constraints allow us to prove invariance of certain significant properties of a component interaction specification if the transformation process adheres to a given set of such constraints.
Year
DOI
Venue
2007
10.1007/978-3-540-75867-9_112
EUROCAST
Keywords
Field
DocType
model transformation,overall specified system,component interaction specification,certain significant property,certain property,formal preservation constraint,component-based system,towards constraint-based preservation,transformation process adheres,systems specification,constraint-based preservation
Model transformation,Invariant (physics),Computer science,Abstract state machines,Theoretical computer science,Software development
Conference
Volume
ISSN
ISBN
4739
0302-9743
3-540-75866-6
Citations 
PageRank 
References 
0
0.34
9
Authors
2
Name
Order
Citations
PageRank
Thomas Triebsees1102.06
Uwe M. Borghoff2412175.51