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

摘要：

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

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

所属期刊栏目：30

分类号：TP312(计算技术、计算机技术)

资助基金：浙江省教育厅科研基金项目20060621

在线出版日期：2009-04-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：1113-1114,1291