电信协议工程与形式化方法

通过分析电信协议的特点以及目前在开发电信协议中遇到的困难,提出了用电信协议工程的方法来开发电信协议,并详细概述了电信协议工程的各个环节,介绍了电信协议工程的核心——形式化方法和目前已被标准化并在电信领域应用较广泛的一些形式化方法:SDL(SpecificationandDescriptionLanguage),MSC(MessageSe-quenceCharts),ASN.1(AbstractSyntaxNotationOne),TTCN(TreeandTabularCombinedNotation),最后总结了采用形式化方法进行电信协议分析和设计的优势.

形式化语言MSC消息机制的扩展

为了使消息顺序图(messagesequencecharts,MSC)能更好地满足在通信领域应用的需要,在现有MSC标准的基础上,参考了其他常用的顺序图,并采用面向对象的思想,对MSC的消息机制进行扩展.MSC是用于描述系统间消息传递的一种有效的形式化语言,但现在的MSC存在着数据表达能力不强,消息顺序机制不够灵活等问题.因此,在对消息的扩展中,将消息作为一种对象进行研究,增加了消息本身的信息量.在此基础上对消息的顺序机制进行扩展,通过引入一些新的概念、符号,介绍了如何表达消息之间的相互关系和消息的运算等.扩展后的MSC能更加直观、清楚、完整地描述消息的轨迹和系统的静态与动态特性.