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

关键词：mda 软件需求 b语言 atl 模型转换 

单位：重庆大学计算机学院 重庆400030 武警广州指挥学院 广东广州510440 重庆农村商业银行 重庆400020