首页 | 本学科首页   官方微博 | 高级检索  
     

形式描述技术LOTOS的实时扩展及应用
引用本文:李益昌. 形式描述技术LOTOS的实时扩展及应用[J]. 南方金属, 2004, 50(6): 41-45
作者姓名:李益昌
作者单位:嘉应学院,广东,梅州,514015
摘    要:LOTOS(Language of Temporal Ordering Dpecification)是一种基于进程代数CCS的协议描述语言,这里提出LOTOS的实时扩展ET-LOTOS,是Timed LOTOS的增强版.它增加了时间控制的操作器,对LOTOS的操作语义进行了实时的扩充,支持定量时间的观点,提高了形式方法的表达力.

关 键 词:FDT进程代数  LOTOS  ET-LOTOS
文章编号:1009-9700(2004)06-0041-05
修稿时间:2004-03-31

A real-time extension of formal description technique LOTOS and its application
LI Yi-chang. A real-time extension of formal description technique LOTOS and its application[J]. Southern Metals, 2004, 50(6): 41-45
Authors:LI Yi-chang
Abstract: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.
Keywords:formal description technique  process algebra  LOTOS  ET-LOTOS
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号