协议形式化开发环境的规范语言  

A SPECIFICATION LANGUAGE FOR FORMAL DEVELOPMENT ENVIRONMENT OF PRACTICAL PROTOCOLS

作　　者：罗铁庚[1] 陈火旺[1] 齐治昌[1] 龚正虎[1] 

机构地区：[1]长沙工学院计算机系,长沙410073

出　　处：《软件学报》1997年第11期817-823,共7页Journal of Software

基　　金：国家自然科学基金;国家863高科技项目

摘　　要：LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．LOTOS(language of temporal ordering specification) is a protocol specification language based on process algebra CCS. It is geared to protocol verification, but it is not powerful enough for describing some properties of practical protocols. This paper introduces a language ELOTOS(extended LOTOS), with the power of describing asynchronous communication, time, and stochastic event occurring.

关 键 词：协议规范语言 协议形式化 LOTOS语言 计算机网络 

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