| 协议形式化开发环境的规范语言 |
| |
| 引用本文： | 罗铁庚,陈火旺,齐治昌,龚正虎.协议形式化开发环境的规范语言[J].软件学报,1997,8(11):817-823. |
| |
| 作者姓名： | 罗铁庚 陈火旺 齐治昌 龚正虎 |
| |
| 作者单位： | 长沙工学院计算机系,长沙,410073;长沙工学院计算机系,长沙,410073;长沙工学院计算机系,长沙,410073;长沙工学院计算机系,长沙,410073 |
| |
| 基金项目： | 本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
| |
| 摘 要： | LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．
|
| 关 键 词： | 协议规范语言 进程代数 LOTOS 实时系统 概率规范 |
| 修稿时间： | 1996/12/17 0:00:00 |
A SPECIFICATION LANGUAGE FOR FORMAL DEVELOPMENT ENVIRONMENT OF PRACTICAL PROTOCOLS |
| |
| LUO Tiegeng,CHEN Huowang,QI Zhichang and GONG Zhenghu.A SPECIFICATION LANGUAGE FOR FORMAL DEVELOPMENT ENVIRONMENT OF PRACTICAL PROTOCOLS[J].Journal of Software,1997,8(11):817-823. |
| |
| Authors: | LUO Tiegeng CHEN Huowang QI Zhichang and GONG Zhenghu |
| |
| Affiliation: | Department of Computer Science Changsha Institute of Technology Changsha 410073 |
| |
| 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. |
| |
| Keywords: | Protocol specification language process algebra LOTOS real-time system probabilistic specification |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
