Statecharts: A visual formalism for complex systems
Science of Computer Programming
Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Semantics and analysis of business process models in BPMN
Information and Software Technology
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
Applications of Graph Transformations with Industrial Relevance
Model-driven development of model transformations
Model-driven development of model transformations
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Experimental assessment of combining pattern matching strategies with VIATRA2
International Journal on Software Tools for Technology Transfer (STTT)
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
Synthesizing object life cycles from business process models
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Graph and model transformation tools for model migration
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping rules tend to be documented using informal visual rules whereas they tend to be formalized using mathematical set constructs. In the Graph and Model Transformation communities, special purpose languages and tools (such as GrGen) are being developed to support the direct execution of such mapping rules. As part of our ongoing effort to bridge these two communities, we have implemented a transformation from petri-nets to statecharts (PN2SC) using both approaches. By relying on technical comparison criteria and by making the solutions available for online replay, we illustrate that rule-based approaches require less specification effort due to their more declarative specification style and automatic performance optimizations. From a tool perspective, GrGen has better visualization and debugging support whereas Java tools support evolution better.