Volume 2 Number 3 (Sep. 2007)
Home > Archive > 2007 > Volume 2 Number 3 (Sep. 2007) >
JSW 2007 Vol.2(3): 19-29 ISSN: 1796-217X
doi: 10.4304/jsw.2.3.19-29

Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties

Thomas Triebsees
Department of Computer Science, Universit¨at der Bundeswehr M¨unchen, 85577 Neubiberg, Germany

Abstract—We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal preservation constraints that can be used to specify the preservation of invariants that are possibly implemented differently in the source and target model. These invariants are enclosed in concepts, which at the same time serve as grouping mechanism for their different implementations. In that, our framework abstracts from the concrete implementation languages by pre-supposing only a basic set of modeling constructs. To this end, we present two case studies where we apply our approach for the preservation of non-trivial properties and provide some performance analysis where we show that tracking the preservation of a relevant class of complex properties can be done in linear time.

Index Terms—model transformation, semantic preservation, constraints

[PDF]

Cite: Thomas Triebsees, " Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties," Journal of Software vol. 2, no. 3, pp. 19-29, 2007.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly (2006-2019); Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec)   [Click]

  • Jun 22, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 15 No 4 have been indexed by DBLP     [Click]

  • Sep 30, 2020 News!

    The papers published in Vol 15, No 6 have all received dois from Crossref   [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Sep 30, 2020 News!

    Vol 15, No 6 has been published with online version     [Click]