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

Resumo

O objetivo deste trabalho é mostrar como podemos usar a técnica de prototipação rápida para tornar executáveis especificações descritas em LOTOS. Para tanto, usamos linguagens de programação funcionais para escrever os protótipos e simular as expressões LOTOS. A simulação é mostrada através de exemplos, onde são explicados os procedimentos de tradução das especificações para os protótipos funcionais.

Referências

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.