Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of 9th OOPSLA Workshop on Domain-Specific Modeling |
| Number of pages | 6 |
| Publication status | Published - 2009 |
Fields of science
- 101004 Biomathematics
- 101027 Dynamical systems
- 101028 Mathematical modelling
- 101029 Mathematical statistics
- 101014 Numerical mathematics
- 101015 Operations research
- 101016 Optimisation
- 101017 Game theory
- 101018 Statistics
- 101019 Stochastics
- 101024 Probability theory
- 101026 Time series analysis
- 102 Computer Sciences
- 102001 Artificial intelligence
- 102003 Image processing
- 102004 Bioinformatics
- 102013 Human-computer interaction
- 102018 Artificial neural networks
- 102019 Machine learning
- 103029 Statistical physics
- 106005 Bioinformatics
- 106007 Biostatistics
- 202017 Embedded systems
- 202035 Robotics
- 202036 Sensor systems
- 202037 Signal processing
- 305901 Computer-aided diagnosis and therapy
- 305905 Medical informatics
- 305907 Medical statistics
- 102032 Computational intelligence
- 102033 Data mining
- 101031 Approximation theory
- 102002 Augmented reality
- 102006 Computer supported cooperative work (CSCW)
- 102015 Information systems
- 102021 Pervasive computing
- 102025 Distributed systems
- 102027 Web engineering
- 202038 Telecommunications