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