将UML模型转换成SDL模型的方法

摘要：

提出了一种将UML模型转换成SDL模型的方法.UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便.但是,UML缺乏形式化语义,因此不能满足协议精确性的要求.SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它.在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点.通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换.

关键词：统一建模语言、规范和描述语言、模型转换、形式化语义、协议

所属期刊栏目：28

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

资助基金：浙江省重点科技攻关基金2005C21027;浙江省教育厅资助项目20060621

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

页数：共4页

页码：3864-3866,3869