| 基于模型转换实现行为协议的研究 |
| |
| 引用本文： | 尹剑飞,郭荷清,彭新一. 基于模型转换实现行为协议的研究[J]. 计算机工程, 2005, 31(1): 31-32,107 |
| |
| 作者姓名： | 尹剑飞 郭荷清 彭新一 |
| |
| 作者单位： | 华南理工大学计算机科学与工程学院,广州,510641;华南理工大学计算机科学与工程学院,广州,510641;华南理工大学计算机科学与工程学院,广州,510641 |
| |
| 基金项目： | 国家“973”计划基金资助项目(G20000263) |
| |
| 摘 要： | 为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法。提出了一种基于模型转换实现行为协议的方法，编写了模型转换规则将状态机描述的行为协议元数据自动转换为UML操作元素的约束，运用OCL验证器和代码生成器对转换后的UML模型进行自动验证和代码生成。该方法为行为协议的自动验证、与模型元素同步和规范的正确实施提供了有效支持。
|
| 关 键 词： | 行为协议 UML元模型转换 OCL |
| 文章编号： | 1000-3428(2005)01-0031-02 |
Research on Implementing Behavior Protocol Based on Model Transformation |
| |
| YIN Jianfei,GUO Heqing,PENG Xinyi. Research on Implementing Behavior Protocol Based on Model Transformation[J]. Computer Engineering, 2005, 31(1): 31-32,107 |
| |
| Authors: | YIN Jianfei GUO Heqing PENG Xinyi |
| |
| 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. |
| |
| Keywords: | Behavior protocol UML metamodel transformation OCL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
