首页> 外文会议>Integrated formal methods >Specification and Verification of Model Transformations Using UML-RSDS

【24h】

Specification and Verification of Model Transformations Using UML-RSDS

机译：使用UML-RSDS进行模型转换的规范和验证

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to specify model transformations facilitates the integration of model transformations with other software development processes. Extracts from three large case studies of the specification of model transformations are given, to demonstrate the practical application of the approach.

机译：在本文中，我们描述了使用UML和形式化方法相结合的模型转换的规范和验证技术。使用UML 2符号来指定模型转换可促进模型转换与其他软件开发过程的集成。给出了三个关于模型转换规范的大型案例研究的摘录，以证明该方法的实际应用。

著录项

来源
《Integrated formal methods》|2010年|p.199-214|共16页
会议地点 Nancy(FR);Nancy(FR)
作者
Kevin Lano; Shekoufeh Kolahdouz-Rahimi;
展开▼
作者单位

Dept. of Computer Science, King's College London;

Dept. of Computer Science, King's College London;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类理论、方法;
关键词

相似文献

外文文献
中文文献
专利

1. Specification and Verification of Model Transformations [J] . Frank Hermann, Mathias Hülsbusch, Barbara K?nig Electronic Communications of the EASST . 2010,第5期

机译：模型转换的规范和验证
2. Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification [J] . Felix C. G?rtner Journal of Universal Computer Science . 1999,第10期

机译：容错系统规范和验证的转换方法：正式背景和分类
3. Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification [J] . Felix C. G?rtner Journal of Universal Computer Science . 1999,第10期

机译：容错系统规范和验证的转换方法：正式背景和分类
4. Specification and Verification of Model Transformations Using UML-RSDS [C] . Kevin Lano, Shekoufeh Kolahdouz-Rahimi International Conference on Integrated Formal Methods . 2010

机译：使用UML-RSD规范和验证模型变换
5. Compliance verification of a design model with respect to its specification model in the context of software defined radios: A model transformation approach. [D] . Zamora Zapata, Juan Pablo. 2005

机译：在软件定义无线电的范围内，针对设计模型相对于其规格模型的符合性验证：一种模型转换方法。
6. A Psychosocial Genomics Pilot Study in Oncology for Verifying Clinical Inflammatory and Psychological Effects of Mind-Body Transformations-Therapy (MBT-T) in Breast Cancer Patients: Preliminary Results [O] . Mauro Cozzolino, Stefania Cocco, Michela Piezzo, 2021

机译：乳腺癌患者中核癌炎症和心理作用验证临床炎症和心理作用的心理社会基因组学试验研究：初步结果
7. Specification and Verification of Model Transformations Using UML-RSDS [O] . Lano Kevin, Kolahdouz-Rahimi Shekoufeh 2010

机译：使用UML-RSDS进行模型转换的规范和验证

Specification and Verification of Model Transformations Using UML-RSDS

摘要

著录项

相似文献

相关主题

期刊订阅