WOSP '08 Proceedings of the 7th international workshop on Software and performance
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Hi-index | 0.00 |
Model-to-model (M2M) transformation is a key aspect of model-driven development (MDD), where importing and exporting models fits very well. A queueing network based metamodel (PMIF) and a Petri net metamodel are specified using the Eclipse Modelling Framework. The transformation from PMIF models to Petri net models is then build using ATL. This paper presents such a transformation and its integration into PIPE2, a Petri net modelling tool. It also illustrates the transformation by a simple example.