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

摘要

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