Simulação de Especificações LOTOS Usando Linguagens Funcionais

• Carlos A. G. Ferraz UFPE
• Paulo R. F. Cunha UFPE
• Silvio R. L. Meira UFPE

DOI: https://doi.org/10.5753/sbes.1989.25248

Abstract

The objective of this document is to show how we can use the rapid prototyping technique to make executable specifications written in LOTOS. We use functional programming languages to write the prototypes and simulate the expressions of LOTOS. The simulation is showed through examples, where the procedures of translation from the specifications to the functional prototypes are explained.

References

Bolognesi, T. and Ed Brinksma: "Introduction to the ISO Specification Language LOTOS", Computer Networks and ISDN Systems, Vol 14, pp. 29-89, 1987.

Ehrig, H. and B. Mahr: "Fundamentals of algebraic specification", EATCS 6, Springer-Verlag, Berlin, 1985.

Ferraz, C., P. Cunha e S. Meira: "Ambientes de Especificação: Uma Comparação entre o Método Algébrico e o Método Funcional", Relatório Técnico, DI/UFPE, 1989.

Gilbert, D.: "Executable LOTOS: Using PARLOG to implement an FDT", 7th International Symposium on Protocol Specification, Testing, and Verification, Zurich, 1987.

Guillemot, R., M. Haj-Hussein and L. Logrippo: "Executing Large LOTOS Specifications", 9th Int1. Symp. on Protocol Specif., Testing, and Verification, Atlantic City, 1988.

ISO: "Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique based on the Temporal Ordering of Observational Behaviour", 8807, May 1988.

Karjoth, G.: "Implementing Process Algebra Specifications by State Machines", 8th Intl. Symp. on Protocol Specif., Testing, and Verification, Atlantic city, 1988.

Milner, R.: "A Calculus of Communicating Systems", LNCS 92, Springer-Verlag, Berlin, 1980.

Moura, T. e P. Cunha: "Desenvolvimento Estruturado de Especificações LOTOS", Relatório Técnico, DI/UFPE, 1989.