IFML模型至服务内容模型的映射研究.docx

摘要 为缩小应用前端与系统结构模型之间的鸿沟，提出将交互流建模语言模型（IFML）直接映射为服务内容模型（SCM）的方法。首先，分析IFML和SCM元模型元素的特点，设计IFML模型元素至SCM模型元素的映射规则；然后，利用查询视图转换操作语言（QVTo）描述映射规则，并在IBM Rational Software Architect （RSA）平台上执行QVTo引擎，完成IFML模型至SCM模型的自动映射；最后，应用网上购物系统演示模型映射的执行结果，利用形式语义验证IFML模型与SCM模型之间的一致性。实验结果表明，应用前端的视图容器、动作和事件等元素与系统结构之间存在很强的一致性，IFM