Geração Automática de Especificações de Implementação a partir de Especificações Abstratas
Resumo
Neste ártigo é descrita uma metodologia, para o projeto de sistemas, baseada em duas linguagens de especificação: LOTOS e STER. Essas linguagens possuem diferentes níveis de abstração e, de acordo com as suas características, são empregadas em diferentes fases de uma trajetória de projeto. Uma tradução automática de especificações LOTOS em especificações STER é proposta e a execução de especificações STER é descrita. O objetivo principal deste trabalho é demonstrar como diferentes linguagens podem ser combinadas, a fim de dar suporte ao projeto de sistemas, sem exigir novas características para essas linguagens.
Palavras-chave:
Projeto, Especificação, Técnicas de Descrição Formal, LOTOS, STER, Tempo Real, Prototipagem
Referências
F. Blemans, P. Blonk, "On the Formal Specification and Verification of CIM Architectures Using LOTOS", Computer In Industry 7, North-Holland, 1986, pp. 491-504.
T. Bolognesi, E. Brinksma, "Introduction to the ISO Specification Language LOTOS", The Formal Description Technique LOTOS, North-Holland, 1989, pp. 23-73.
DTIA-001/88, "STER - Um Ambiente para Desenvolvimento de Software Tempo-Real", IA/DEI/CTI, Campinas (SP), 1988.
H.Ehrlg, B. Mahr, "Fundamentals of Algebrale Specification - 1", Springer-Verlag, 1985.
P. V. Eljk, "Software Tools for the Specification Language LOTOS", tese de doutorado, Twente University of Technology, Enschede (Holanda), 1988.
M. Facl, L. Logrippo, B. Steplen, "Formal Specifications of Telephone Systems In LOTOS", anals do Ninth IFIP International Symposium on Protocol Specification, Testing, and Verification, Enschede (Holanda), 06-09 Junho, 1989.
C. A. R. Hoare,"Communicating Sequencial Process", Prentice-Hall Intl, 1985.
IBM Corporation, "Pascal Compiler Language Reference - Version 2.00", 1984.
ISO - Information Processing Systems- "Basle Reference Model for Open Systems Interconnection", IS7498, 1983.
ISO - Information Processing Systems - Open Systems Interconnection - "LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour", IS 8807, 1988.
E. B. Medeiros, "Prototipagem e Implementação de Especificações LOTOS Utilizando um Ambiente para Desenvolvimento de Sistemas em Tempo Real", tese de mestrado, DCA/FEE/UNICAMP, Campinas (SP), 1991.
R. Milner, "A Calculus of Communicating Systems", Lectures Notes In Computer Science, Vol. 92, Springer-Verlag, 1980.
L. F. Pires, W. Lopes de Souza, "Step-wise Refinement Design Example Using LOTOS", anais do Third IFIP International Conference on Formal Description Techniques", Madrid (Espanha), 05-08 novembero, 1990, pp. 289-306.
M. Sloman, J. Kramer, J. Magee, "The Conte Tool Kit for Building Distributed Systems", anais do 4o Simpósio Brasileiro de Redes de Computadores, Recife (Pe), 24-26 março, 1986, pp. 148-157.
C. Wu, G. v. Bochmann, "An Execution Model for LOTOS Specifications", relatório Interno No 701, IRO/UdeM, Monreal, Canadá, 1989.
T. Bolognesi, E. Brinksma, "Introduction to the ISO Specification Language LOTOS", The Formal Description Technique LOTOS, North-Holland, 1989, pp. 23-73.
DTIA-001/88, "STER - Um Ambiente para Desenvolvimento de Software Tempo-Real", IA/DEI/CTI, Campinas (SP), 1988.
H.Ehrlg, B. Mahr, "Fundamentals of Algebrale Specification - 1", Springer-Verlag, 1985.
P. V. Eljk, "Software Tools for the Specification Language LOTOS", tese de doutorado, Twente University of Technology, Enschede (Holanda), 1988.
M. Facl, L. Logrippo, B. Steplen, "Formal Specifications of Telephone Systems In LOTOS", anals do Ninth IFIP International Symposium on Protocol Specification, Testing, and Verification, Enschede (Holanda), 06-09 Junho, 1989.
C. A. R. Hoare,"Communicating Sequencial Process", Prentice-Hall Intl, 1985.
IBM Corporation, "Pascal Compiler Language Reference - Version 2.00", 1984.
ISO - Information Processing Systems- "Basle Reference Model for Open Systems Interconnection", IS7498, 1983.
ISO - Information Processing Systems - Open Systems Interconnection - "LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour", IS 8807, 1988.
E. B. Medeiros, "Prototipagem e Implementação de Especificações LOTOS Utilizando um Ambiente para Desenvolvimento de Sistemas em Tempo Real", tese de mestrado, DCA/FEE/UNICAMP, Campinas (SP), 1991.
R. Milner, "A Calculus of Communicating Systems", Lectures Notes In Computer Science, Vol. 92, Springer-Verlag, 1980.
L. F. Pires, W. Lopes de Souza, "Step-wise Refinement Design Example Using LOTOS", anais do Third IFIP International Conference on Formal Description Techniques", Madrid (Espanha), 05-08 novembero, 1990, pp. 289-306.
M. Sloman, J. Kramer, J. Magee, "The Conte Tool Kit for Building Distributed Systems", anais do 4o Simpósio Brasileiro de Redes de Computadores, Recife (Pe), 24-26 março, 1986, pp. 148-157.
C. Wu, G. v. Bochmann, "An Execution Model for LOTOS Specifications", relatório Interno No 701, IRO/UdeM, Monreal, Canadá, 1989.
Publicado
04/11/1992
Como Citar
MEDEIROS, Eílson Barbosa; MAGALHÃES, Mauricio Ferreira; SOUZA, Wanderley Lopes de.
Geração Automática de Especificações de Implementação a partir de Especificações Abstratas. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 6. , 1992, Gramado/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1992
.
p. 187-201.
DOI: https://doi.org/10.5753/sbes.1992.25183.
