基于UML扩展机制的MDA协议建模语言研究  

Research on MDA protocol modeling language based on UML Profile

作　　者：宋瑾钰[1] 蒋国明[1] 高会聪[2] 

机构地区：[1]浙江理工大学信息电子学院,浙江杭州310018 [2]燕山大学计算机软件中心,河北秦皇岛066004

出　　处：《计算机工程与设计》2009年第5期1113-1114,1291,共3页Computer Engineering and Design

基　　金：浙江省教育厅科研基金项目(20060621)。

摘　　要：由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。Because of lack of accurate formal semantics for UML, it＇ s difficult to come into being a protocol implementation from the standard UML notation. In order to meet protocol engineering requirements, interactive abstract state machines description language is defined through the UML profile mechanism, which is a protocol modeling language based on model driven architecture. Some examples are cited to explain how to describe a communication protocol using IASMsDL.

关 键 词：形式化语义 协议工程 UML扩展机制 模型驱动构架 交互抽象状态机描述语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]