Right or Wrong? - Verification of Model Transformations using Colored Petri Nets
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of 9th OOPSLA Workshop on Domain-Specific Modeling
Original Kurzfassung:
Model-Driven Engineering (MDE) places models as firstclass
artifacts throughout the software lifecycle requiring the
availability of proper transformation languages. Most of today's
approaches use declarative rules to specify a mapping
between source and target models which is then executed
by a transformation engine. Transformation engines, however,
most often hide the operational semantics of the mapping
and operate on a considerable lower level of abstraction,
thus hampering debugging. To tackle these limitations we
propose a framework called TROPIC (Transformations on
Petri Nets in Color) providing a DSL on top of Colored Petri
Nets (CPNs) to specify, simulate, and formally verify model
transformations. The formal underpinnings of CPNs enables
simulation and verification of model transformations.
By exploring the constructed state space of CPNs we show
how predefined behavioral properties as well as custom state
space functions can be applied for observing and tracking
origins of errors during debugging.