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