作　　者： ;

机构地区： 嘉应学院

出　　处： 《南方金属》 2004年第6期41-45,共5页

摘　　要： LOTOS(LanguageofTemporalOrderingSpecification)是一种基于进程代数CCS的协议描述语言.这里提出LO TOS的实时扩展ET LOTOS,是TimedLOTOS的增强版.它增加了时间控制的操作器,对LOTOS的操作语义进行了实时的扩充,支持定量时间的观点,提高了形式方法的表达力. LOTOS (Language of Temporal Ordering Specification) is a protocol specification language based on process algebra CCS. What is proposed here is a real-time extension of LOTOS, or ET-LOTOS, which is an enhanced version of the timed LOTOS. Extra timed operations are added to it, and real-time expansions to the LOTOS operational semantics made. This extended LOTOS supports the mode of quantitative time and improves the expressiveness of the formalism previously proposed by the author.

关 键 词： 进程代数

领　　域： [自动化与计算机技术] [自动化与计算机技术]