形式描述技术LOTOS的实时扩展及应用

A real-time extension of formal description technique LOTOS and its application

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.