Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos
Resumo
A especificação formal de um modelo de referêcia que se propõe a ser uma ferramenta para projeto e especificação de sistemas operacionais distribuídos, denominado RM-DOS, é introduzida neste trabalho. Com o RM-DOS, apresenta-se uma modularização para sistemas operacionais na qual cada módulo possui funções de gerenciamento de recursos similares e uma interface bem definida para se comunicar com os demais. A linguagem para especificação utilizada para descrever formalmente essa modularização é LOTOS.
Referências
G. R. Andrews e F. B. Schneider. Concepts and notations for concurrent programming. Computing surveys, 15(1):1-43, Março de 1983.
T. Bolognesi e E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, (14):25-29, 1987.
E. Brinksma. A tutorial on LOTOS. Em Proceedings of IFIP Workshop "Protocols Specification Testing and Verification V", páginas 171-194, Amsterdam, 1986.
D. A. Cheriton. The V Distributed System. Communications of the ACM, 31(3):314-333, Março de 1988.
P. R. F. Cunha. Design and analysis of message oriented programs. Tese de doutorado, Universidade de Waterloo, Ontario, 1981.
J. D. Day e H. Zimmermann. The OSI Reference Model. Proceedings of the IEEE, 71(12):1334-1340, Dezembro de 1983.
C. A. G. Ferraz. Um Estudo para o Desenvolvimento de Protótipos de Especificações LOTOS através de Programação Funcional. Tese de mestrado, Universidade Federal de Pernambuco, Dezembro de 1989.
ISO. LOTOS - A Formal Description Technic Based on Temporal Ordering of Observational Behawiour, ISO. 1987. ISO/TC 97/SC 21.
M. T. S. Moura. Desenvolvimento Estruturado de Especificações LOTOS. Tese de mestrado, Universidade Federal de Pernambuco, Dezembro de 1989.
T. S. M. Pinheiro. Modelo de Referência para Projeto e Especificação de Sistemas Operacionais Distribuídos. Tese de mestrado, Universidade Federal de Pernambuco, Março de 1990.
T. W. Pratt. Programing Lenguages, Design and implementation. Prentice-Hall, 1984.
A. S. Tanenbaum. Operating Systems - Design and Implementation. Prentice-Hall, 1987.
A. S. Tanenbaum e R. V. Renesse. Distributed Operating Systems. Computing Surveys, 17(4):419-470, Dezembro de 1985.
T. Bolognesi e E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, (14):25-29, 1987.
E. Brinksma. A tutorial on LOTOS. Em Proceedings of IFIP Workshop "Protocols Specification Testing and Verification V", páginas 171-194, Amsterdam, 1986.
D. A. Cheriton. The V Distributed System. Communications of the ACM, 31(3):314-333, Março de 1988.
P. R. F. Cunha. Design and analysis of message oriented programs. Tese de doutorado, Universidade de Waterloo, Ontario, 1981.
J. D. Day e H. Zimmermann. The OSI Reference Model. Proceedings of the IEEE, 71(12):1334-1340, Dezembro de 1983.
C. A. G. Ferraz. Um Estudo para o Desenvolvimento de Protótipos de Especificações LOTOS através de Programação Funcional. Tese de mestrado, Universidade Federal de Pernambuco, Dezembro de 1989.
ISO. LOTOS - A Formal Description Technic Based on Temporal Ordering of Observational Behawiour, ISO. 1987. ISO/TC 97/SC 21.
M. T. S. Moura. Desenvolvimento Estruturado de Especificações LOTOS. Tese de mestrado, Universidade Federal de Pernambuco, Dezembro de 1989.
T. S. M. Pinheiro. Modelo de Referência para Projeto e Especificação de Sistemas Operacionais Distribuídos. Tese de mestrado, Universidade Federal de Pernambuco, Março de 1990.
T. W. Pratt. Programing Lenguages, Design and implementation. Prentice-Hall, 1984.
A. S. Tanenbaum. Operating Systems - Design and Implementation. Prentice-Hall, 1987.
A. S. Tanenbaum e R. V. Renesse. Distributed Operating Systems. Computing Surveys, 17(4):419-470, Dezembro de 1985.
Publicado
24/10/1990
Como Citar
PINHEIRO, Tânia Saraiva de Melo; CUNHA, Paulo Roberto Freire.
Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 4. , 1990, Águas de São Pedro/São Paulo.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1990
.
p. 14-29.
DOI: https://doi.org/10.5753/sbes.1990.24163.
