LOTOS is an executable specification language for protocols and services currently being standardized within ISO. It is based on an extended version of Milner's Calculus of Communicating Systems (CCS) and ACT ONE Abstract Data Type formalism. After a brief introduction to LOTOS, we give here an account of a prototype LOTOS interpreter, which includes an interactive system that allows the user to direct the execution of a specification. The interpreter was implemented in YACC/LEX, C, and Prolog. The discussion includes the following topics: syntax and static semantics analysis; translation from LOTOS external format to internal representation; evaluation of Abstract Data Type value expressions and CCS
LOTOS是一种可执行的规范语言,用于ISO中当前正在标准化的协议和服务。它基于Milner的通信系统微积分(CCS)和ACT ONE抽象数据类型形式主义的扩展版本。在简要介绍LOTOS之后,我们在这里介绍LOTOS解释器的原型,该解释器包括一个交互式系统,该系统允许用户指导规范的执行。解释器在YACC / LEX,C和Prolog中实现。讨论包括以下主题:语法和静态语义分析;从LOTOS外部格式转换为内部表示形式;计算抽象数据类型值表达式和CCS
Protocols Research Group, Department of Computer Science, University of Ottawa, Ottawa, Ont. Canada K1N 9B4;
机译:可逆增强事件结构:转向可逆E-LOTOS
机译:增强的事件结构:实现E-LOTOS的真正并发语义
机译:译文丢失了:一系列结构化的对话,探索医疗口译员经验的挑战,提供终生护理,并提供克服它们的策略
机译:使用解释器验证LOTOS规范:电话系统的应用
机译:ASL口译讲座和签名讲座中指尖的比较:探索口译人员和聋哑教师在使用视觉辅助工具时所使用的ASL结构。
机译:口译障碍和口译员面试中的并发症比例
机译:信息技术-LOTOS的增强功能(E-LOTOS)
机译:捆绑事件结构:LOTOs的非交织语义