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

被引：2

作者：

宋瑾钰 ^{[1
]}

蒋国明 ^{[1
]}

高会聪 ^{[2
]}

机构：

[1] 浙江理工大学信息电子学院

[2] 燕山大学计算机软件中心

来源：

关键词：

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

D O I：

10.16208/j.issn1000-7024.2009.05.039

中图分类号：

TP311.52 [];

学科分类号：

摘要：

由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。

引用

页码：1113 / 1114+1291 +1291

页数：3