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


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:  Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(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 13, 2021 News!

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

  • Jan 28, 2021 News!

    [CFP] 2021 the annual meeting of JSW Editorial Board, ICCSM 2021, will be held in Rome, Italy, July 21-23, 2021   [Click]

  • Sep 13, 2021 News!

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