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

关键词: 行为协议, UML元模型转换, OCL

Abstract: Adding behavior protocol to elements of platform independent UML model (such as class and interface) has always no effective solution. The paper proposes a behavior protocol implementation method based on model transformation. First, model transfromation rules are witten to transform behavior protocol metadata described by state machine into contraints for UML operation elements, then OCL verifier and code generator are used to verify the transformed UML model and generate codes. This method effectively supports automatic verfication, synchronization with elements definition and specification right implementation for the behavior protocol.

中图分类号: 

• TP311