Manuel Wimmer, Gertrude Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger,
"Taming the Shrew - Resolving Structural Heterogeneities with Hierarchical CPNs"
: Proceedings of the International Workshop on Petri Nets and Software Engineering, Technical Report of University Hamburg, Department of Informatics, Braga, Portugal, June 22, 2010, pp. 141-157, 2010, Seite(n) 141-157, 2010, Technical Report of University Hamburg, Department of Informatics, Braga, Portugal
Original Titel:
Taming the Shrew - Resolving Structural Heterogeneities with Hierarchical CPNs
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the International Workshop on Petri Nets and Software Engineering, Technical Report of University Hamburg, Department of Informatics, Braga, Portugal, June 22, 2010, pp. 141-157, 2010
Original Kurzfassung:
Model transformations play a key role in the vision of Model Driven Engineering (MDE) whereby the overcoming of structural heterogeneities,
being a result of applying different meta-modeling constructs
for the same semantic concept, is a challenging, recurring problem, urgently
demanding for reuse of transformations. In this respect, an approach
is required which (i) abstracts from the concrete execution language
allowing to focus on the resolution of structural heterogeneities, (ii)
keeps the impedance mismatch between specification and execution low
enabling seamless debuggability, and (iii) provides formal underpinnings
enabling model checking. Therefore, we propose to specify model transformations
by applying a set of abstract mapping operators (MOPs),
each resolving a certain kind of structural heterogeneity. For specifying
the operational semantics of the MOPs, we propose to use Transformation
Nets (TNs), a DSL on top of Colored Petri Nets (CPNs), since it
allows (i) to keep the impedance mismatch between specification and
execution low and (ii) to analyze model transformations by evaluating
behavioral properties of CPNs.
Sprache der Kurzfassung:
Deutsch
Seitenreferenz:
141-157
Erscheinungsjahr:
2010
Notiz zum Zitat:
Technical Report of University Hamburg, Department of Informatics, Braga, Portugal
Forschungs-