Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets

机译：恢复QVT关系：使用有色Petri网的基于模型的调试

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

The standardized QVT Relations language, one cornerstone of Model-Driven Architecture (MDA), has not yet gained widespread use in practice, not least due to missing tool support in general and inadequate debugging support in particular. Transformation engines interpreting QVT Relations operate on a low level of abstraction, hide the operational semantics of a transformation and scatter metamodels, models, QVT code, and traces across different artifacts. We propose a model-based debugger representing QVT Relations on bases of TROPIC, a model transformation framework which utilizes a variant of Colored Petri Nets (CPNs) providing an explicit runtime model and a homogenous view on all artifacts of a transformation.

机译：标准化的QVT关系语言是模型驱动体系结构（MDA）的基石，在实践中尚未得到广泛使用，这尤其是由于缺少一般的工具支持，尤其是调试支持不足。解释QVT关系的转换引擎以较低的抽象级别运行，隐藏了转换的操作语义，并分散了元模型，模型，QVT代码和跨不同工件的跟踪。我们建议在TROPIC的基础上提出一个表示QVT Relations的基于模型的调试器，该模型转换框架利用了有色Petri网（CPN）的变体，提供了显式的运行时模型和对转换所有工件的同质视图。

著录项

来源
《Model driven engineering languages and systems》|2009年|727-732|共6页
会议地点 Denver CO(US);Denver CO(US)
作者
Manuel Wimmer; Angelika Kusel; Johannes Schoenboeck; Gerti Kappel; Werner Retschitzegger; Wieland Schwinger;
展开▼
作者单位

Vienna University of Technology, Austria;

Johannes Kepler University Linz, Austria;

Vienna University of Technology, Austria;

Vienna University of Technology, Austria;

University of Vienna, Austria;

Johannes Kepler University Linz, Austria;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类程序语言、算法语言;
关键词
QVT relations; debugging; model transformations; CPN;

机译：QVT关系；调试;模型转换； CPN;

相似文献

外文文献
中文文献
专利

1. Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets [J] . Esther Guerra, Juan de Lara Software and systems modeling . 2014,第4期

机译：颜色：通过有色Petri网执行，调试和分析QVT关系转换
2. Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach [J] . Y. Dashora, S. Kumar, M. K. Tiwari, International journal of flexible manufacturing systems: Design, Analysis and Operation of Manufacturing and Assembly Systems . 2007,第4期

机译：使用增强的有色时间资源，基于Petri网模型的进化内共生学习自动机方法对自动化制造系统进行无死锁调度
3. Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach [J] . Y. Dashora, S. Kumar, M. K. Tiwari, Flexible Services and Manufacturing Journal . 2007,第4期

机译：使用增强的有色时间资源，基于Petri-net模型的进化内共生学习自动机方法的自动化制造系统的无死锁调度
4. Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets [C] . Manuel Wimmer, Angelika Kusel, Johannes Schoenboeck, International Conference on Model Driven Engineering Languages and Systems . 2009

机译：恢复QVT关系：使用彩色Petri网的基于模型的调试
5. PNetTFV: A Colored Petri Net Based Online Firmware Functional Validation Scheme and Implementation [D] . ?Liu, Rongyang 2019

机译：PNetTFV ：有色 Petri网基于网络在线固件功能验证计划和实施
6. A computational approach based on the colored Petri net formalism for studying multiple sclerosis [O] . Simone Pernice, Marzio Pennisi, Greta Romano, 2019

机译：基于有色Petri网形式主义的多发性硬化症研究计算方法
7. Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets [O] . M. Wimmer, A. Kusel, J. Schoenboeck, 2014

机译：恢复QVT关系：使用有色petri网进行基于模型的调试
8. Utilizing semantic networks to database and retrieve generalized stochastic colored Petri nets [R] . Farah, Jeffrey J., Kelley, Robert B. 1992

机译：利用语义网络对数据库进行检索，并检索广义随机有色petri网

Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets

摘要

著录项

相似文献

相关主题

期刊订阅