基于ESTELLE的人具界面语言TIL  

作　　者：丁晋[1] 杨培根[1] 

机构地区：[1]南京大学

出　　处：《软件学报》1997年第A00期109-115,共7页Journal of Software

摘　　要：随着形式描述技术ＦＤＴ的日趋成熟，有必要开发一种真正意义上的集成化协议开发工具集，本文引入面向对象模型，提出了一种基ＥＳＴＥＬＬＥ的工具界面语言ＴＩＬ，使得在工具集中，各工具的内数数据表示式相同，并且输入／输出兼容，从而提高了软件的并行性可移性。

关 键 词：ESTELLE 面向对象 TIL语言 通信协议 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]