基于模型转换实现行为协议的研究

摘要：

为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法.提出了一种基于模型转换实现行为协议的方法,编写了模型转换规则将状态机描述的行为协议元数据自动转换为UML操作元素的约束,运用OCL验证器和代码生成器对转换后的UML模型进行自动验证和代码生成.该方法为行为协议的自动验证、与模型元素同步和规范的正确实施提供了有效支持.

关键词：行为协议、UML元模型转换、OCL

所属期刊栏目：31

分类号：TP311(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划G20000263

在线出版日期：2005-03-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：31-32,107