Structure of a LOTOS interpreter

Authors:
J P Briand;M C Fehri;L Logrippo;A Obaid
Affiliations:
Protocols Research Group, Department of Computer Science, University of Ottawa, Ottawa, Ont. Canada K1N 9B4;Protocols Research Group, Department of Computer Science, University of Ottawa, Ottawa, Ont. Canada K1N 9B4;Protocols Research Group, Department of Computer Science, University of Ottawa, Ottawa, Ont. Canada K1N 9B4;Protocols Research Group, Department of Computer Science, University of Ottawa, Ottawa, Ont. Canada K1N 9B4
Venue:
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Year:
1986

Citing 8
Cited 2

Executable description of the OSI transport service in Prolog

Proc. of IFIP WG 6.1 4th Int'l Workshop on Protocol specification, testing, and verification, IV
Programming in Prolog (3rd ed.)

Programming in Prolog (3rd ed.)
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems

Journal of the ACM (JACM)
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
The UNIX Programming Environment

The UNIX Programming Environment
An interactive system for the analysis of communicating processes

Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
A temporal ordering specification of some session services

SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium

Automated Protocol Implementation with RTAG

IEEE Transactions on Software Engineering
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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* clauses.