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

• 作者: 刘引 曾一 洪媛 王健 王艳丽
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: MDA 软件需求 B语言 ATL 模型转换
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 软件工程
• 页码范围: 85-88
• 页数: 4页
• 分类号: TP311.5
• 字数: 3150字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2010.03.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾一	重庆大学计算机学院	76	855	14.0	25.0
2	王健	重庆大学计算机学院	21	210	7.0	13.0
3	洪媛	重庆大学计算机学院	5	14	2.0	3.0
4	王艳丽	重庆大学计算机学院	3	9	2.0	3.0