一种B语言描述的需求模型到PIM的转换方法

doi:10.3969/j.issn.1007130X.2010.

J4 ›› 2010, Vol. 32 ›› Issue (3): 85-88.doi: 10.3969/j.issn.1007130X.2010.

一种B语言描述的需求模型到PIM的转换方法

曾一，王艳丽，洪媛，王健，刘引

（重庆大学计算机学院，重庆 400030)

收稿日期:2009-02-11 修回日期:2009-05-12 出版日期:2010-03-10 发布日期:2010-03-10
通讯作者: 曾一 E-mail:zyjckxx@cqu.edu.cn
作者简介:曾一(1961)，男，山西大同人，教授，CCF会员(E200011087S),研究方向为软件工程理论与应用;王艳丽，硕士生，讲师，研究方向为WebService应用；洪媛，硕士生，研究方向为建模技术；王健，硕士生，研究方向为建模技术；刘引,硕士，研究方向为建模技术。

An Approach to the Transformation from the Requirement Model Described by the B Language
to the PlatformIndependent Model

ZENG Yi, WANG Yan-Li, HONG Yuan, WANG Jian, LIU Yin

(School of Computer Science,Chongqing University,Chongqing 400030)

Received:2009-02-11 Revised:2009-05-12 Online:2010-03-10 Published:2010-03-10
Contact: ZENG Yi E-mail:zyjckxx@cqu.edu.cn

摘要/Abstract

摘要： MDA为软件的自动化构造提供了一种良好的途径，但是MDA更多地关注PIM到PSM的转换，却忽视了需求阶段对PIM精确性的影响。本文针对这种问题，首先对MDA的基本过程进行改进，提出对需求进行必要的形式化描述的思路，使得需求模型到PIM的转换变得更为容易，从而达到增强PIM精确性的目的；其次，通过对三种形式化语言的对比研究，发现B语言在需求模型的表示及转换方面具有优势，并结合例子展示了如何使用B语言对软件需求进行形式化描述；最后，本文结合模型转换框图，给出了B方法和类图的ecore元模型的图形化描述，进一步给出了用B语言描述的需求模型到PIM的基本转换规则，并借助JavaCC、JJTree和ATL插件等工具实现了需求模型到PIM的转换。

关键词: MDA, 软件需求, B语言, ATL, 模型转换

Abstract: MDA provides a nice approach for the automatic construction of software, but pays more attention to the transformation from PIM to PSMs, and neglects that the stage of requirement which affects the accuracy of PIM. In view of such problems, firstly, the paper improves the basic process of MDA, puts forward to the idea that requirements are necessary to be formally described, then the transformation from the requirement model to PIM becomes easier, thus the intention to enhance the accuracy of PIM is achieved. Secondly, by means of the contrast research to three formal languages, the advantages that the B language has in the expression and transformation aspects of the requirement model are found, and the example for how to use the B language to formally describe software requirements is shown. Finally, by combining the framework of model transformation, the graphic descriptions for the B method and the Class Diagram ecore metamodel are given, and further the basic transformation rule from the requirement model described by the B Language to PIM is offered. With the help of tools such as JavaCC, JJTree and ATL plugin, the transformation from the requirement model to PIM is implemented.

Key words: MDA;software requirement;B language;ATL;model transformation

中图分类号:

TP311.5

曾一, 王艳丽, 洪媛, 王健, 刘引. 一种B语言描述的需求模型到PIM的转换方法[J]. J4, 2010, 32(3): 85-88.

ZENG Yi, WANG Yan-Li, HONG Yuan, WANG Jian, LIU Yin. An Approach to the Transformation from the Requirement Model Described by the B Language
to the PlatformIndependent Model[J]. J4, 2010, 32(3): 85-88.

[1]	张培玲, 李小真, 崔帅华. 基于改进小波阈值-CEEMDAN算法的ECG信号去噪研究[J]. 计算机工程与科学, 2020, 42(11): 2067-2072.
[2]	黄文杰, 向凤红, 毛剑琳. 基于LM_RBF-PID的板球系统轨迹控制[J]. 计算机工程与科学, 2020, 42(08): 1423-1429.
[3]	马燕燕1，杨志斌1,2，江国华1. 一种SysML模型到AADL模型的自动转换方法[J]. 计算机工程与科学, 2020, 42(03): 456-466.
[4]	胡军,张维珺,李宛倩. 面向需求的安全关键系统形式化建模与验证方法研究[J]. 计算机工程与科学, 2019, 41(08): 1426-1433.
[5]	黄怿豪，冯劲草，郑寒月，缪炜恺，蒲戈光. 航空机载嵌入式控制软件需求建模的形式化工程方法[J]. 计算机工程与科学, 2019, 41(06): 1016-1025.
[6]	陈昱，王淼，任海燕，曾立. 星载感应式磁力仪地面检测系统及数据预处理软件设计[J]. 计算机工程与科学, 2018, 40(09): 1606-1610.
[7]	文延东1,2，文双春1，刘昱2，卫宝跃2，张以涛2，曹检飞1,2. 基于软件无线电的通信信号测试平台设计与实现[J]. 计算机工程与科学, 2016, 38(09): 1769-1774.
[8]	阮志毅，沈有建，刘凤玲. 基于数学形态学的模糊集理论在车牌字符识别中的运用[J]. J4, 2016, 38(03): 562-568.
[9]	程亦涵，黄志球，阚双龙. 一种结合AADL和IMC的系统可靠性建模方法[J]. J4, 2015, 37(08): 1517-1524.
[10]	董威1，舒绍娴1，徐小平2. 软件需求工程课程建设思考与实践[J]. J4, 2014, 36(A2): 34-37.
[11]	李平，戴劲. 无线传感器网络中的节能路由算法研究[J]. J4, 2014, 36(07): 1275-1278.
[12]	熊国良，苏兆熙，刘举平，谢正侠. 火焰特性识别的Matlab实现方法[J]. J4, 2013, 35(7): 131-136.
[13]	白海洋，李静，赵娜. 基于时间自动机的嵌入式软件模型可调度性验证[J]. J4, 2013, 35(3): 121-127.
[14]	朱梅霞. MARTE顺序图到CCSL模型的转换[J]. J4, 2013, 35(10): 172-180.
[15]	姜岳道，植物，白根柱. 双参数Bézier曲线的升二次扩展[J]. J4, 2012, 34(5): 112-115.

一种B语言描述的需求模型到PIM的转换方法

An Approach to the Transformation from the Requirement Model Described by the B Language
to the PlatformIndependent Model

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 15

编辑推荐

Metrics

本文评价

一种B语言描述的需求模型到PIM的转换方法

An Approach to the Transformation from the Requirement Model Described by the B Language to the PlatformIndependent Model

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 15

编辑推荐

Metrics

本文评价

An Approach to the Transformation from the Requirement Model Described by the B Language
to the PlatformIndependent Model