资 源 简 介
MDA-VERITAS is an Eclipse plugin under development to check the semantics of Petri nets models. It verifies whether models submitted to a Petri net partitioning operation called Split preserve the same semantics before and after the operation execution. The MDA-VERITAS plugin makes use of MDA technologies, such as ECORE metamodels, ATL transformations and MOFScript model to code transformations.
Some video demonstrations (activate the captions)
PIM:
Simple demonstration of Splitting application
Details of ATL Splitting and integration with PNML Framework
请点击左侧文件开始预览 ！预览只提供20%的代码片段，完整代码需下载后查看 加载中 侵权举报
