MDA-VERITAS

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%的代码片段，完整代码需下载后查看 加载中 侵权举报

Catalogo Beta
Eventos e Sinais
Marking
Orientado a Objetos