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

摘要

本文介绍了在通信软件系统开发中广泛使用的五种形式化描述技术LOTOS、Z、SDL、ESTEREL和MSCs,及情景表示方法Use Case Maps(UCM),分析了它们的特点,并对它们进行了深入的研究和评价.