通信软件系统开发中的形式化描述技术  

Formal Description Techniques Supporting for Development of Communication Software System

作　　者：琚川徽[1] 李龙澍[2] 

机构地区：[1]安徽大学计算机科学与工程系,安徽合肥230039 [2]安徽大学计算智能与信号处理实验室,安徽合肥230039

出　　处：《安庆师范学院学报（自然科学版）》2004年第1期83-86,共4页Journal of Anqing Teachers College(Natural Science Edition)

基　　金：国家自然科学基金资助项目(60273043)

摘　　要：本文介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LOTOS、Z、SDL、ESTEREL和MSCs,及情景表示方法UseCaseMaps(UCM),分析了它们的特点,并对它们进行了深入的研究和评价。This paper introduces five formal descriptiven techniques supporting for development of communitive software system. At the same time, a new scenario-based visual description technique use maps is studied.It researches and analyzes and evaluates the characteristics of descriptive techniques mentioned above.

关 键 词：通信软件系统 形式化描述 评价标准 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]