###
DOI:
Journal of Software:1997.8(11):817-823

协议形式化开发环境的规范语言
罗铁庚,陈火旺,齐治昌,龚正虎
(长沙工学院计算机系,长沙,410073)
A SPECIFICATION LANGUAGE FOR FORMAL DEVELOPMENT ENVIRONMENT OF PRACTICAL PROTOCOLS
LUO Tiegeng,CHEN Huowang,QI Zhichang,GONG Zhenghu
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2897   Download 2782
    Revised:December 17, 1996
> 中文摘要: LOTOS(languageoftemporalorderingspecification)是一种基于进程代数CCS的协议规范语言,面向协议验证,但它不能描述协议的某些性质.本文提出了一种LOTOS的扩充语言ELOTOS(extendedLOTOS),它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述.
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助. 本文研究得到国家自然科学基金和国家863高科技项目基金资助.
Foundation items:
Reference text:

罗铁庚,陈火旺,齐治昌,龚正虎.协议形式化开发环境的规范语言.软件学报,1997,8(11):817-823

LUO Tiegeng,CHEN Huowang,QI Zhichang,GONG Zhenghu.A SPECIFICATION LANGUAGE FOR FORMAL DEVELOPMENT ENVIRONMENT OF PRACTICAL PROTOCOLS.Journal of Software,1997,8(11):817-823