基于面向对象模型的通信系统形式化规范

摘要：

通信软件工程包括系统建模和设计实现两大阶段,分别采用非形式化技术与形式化技术.定义了从非形式化的面向对象的图形语言UML,到形式化的文本规范语言ESTELLE的完备的转换规则,并简要介绍了一个支持转换的软件工具的设计与实现,最后给出一个转换实例.此工作的完成,使通信系统图形化的面向对象模型可直接转换为面向实现的形式化规范,在整个开发周期中得到应用,建立起了一套完整的通信软件工程体系.

关键词：通信软件工程、形式化技术、非形式化技术、UML、ESTELLE

所属期刊栏目：25

分类号：TP301.2;TP311.51(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA783043

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

页数：共5页

页码：951-955