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

Communication Systems Formalization from Object Oriented Models

作　　者：张永谦[1,2] 史杏荣[1,2] 张晓燕[1,2] 

机构地区：[1]中国科学技术大学六系,安徽合肥230027 [2]中国科学技术大学信息网络安全研究中心,安徽合肥230027

出　　处：《小型微型计算机系统》2004年第6期951-955,共5页Journal of Chinese Computer Systems

基　　金：国家 8 63项目资金 ( 2 0 0 2 AA783 0 43 )资助

摘　　要：通信软件工程包括系统建模和设计实现两大阶段 ,分别采用非形式化技术与形式化技术 .定义了从非形式化的面向对象的图形语言 U ML ,到形式化的文本规范语言 ESTEL L E的完备的转换规则 ,并简要介绍了一个支持转换的软件工具的设计与实现 ,最后给出一个转换实例 .此工作的完成 ,使通信系统图形化的面向对象模型可直接转换为面向实现的形式化规范 ,在整个开发周期中得到应用 ,建立起了一套完整的通信软件工程体系 .It is necessary to integrate non-formal methods with formal methods within communication system software engineering, while the former offers a good support for systems early modeling, and the latter provides the basis for system specification and implementation. This paper presents the main steps of an automatic transformation technique that generates formal language ESTELLE textual specification from non-formal object-oriented graphical language UML. Meanwhile the paper outlines the design and implementation of a semi-auto transformation software tool, combined with an illustration. This technique transfers the graphical object-oriented model of communication systems directly to the implementation-oriented formal specification, making the model information used throughout the system development cycle and building an integrated communication software development methodology.

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

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构] TP311.51[自动化与计算机技术—计算机科学与技术]