GOD – Um Gerenciador de Objetos Distribuídos para Ambientes de Desenvolvimento de Software
Resumo
Este artigo apresenta GOD, o Sistema Gerenciador de Objetos Distribuídos do ambiente ForMooZ. A arquitetura do sistema é apresentada e discutida com enfase no uso de técnicas de descrição formal como MooZ, CCS e Lógica Temporal. O trabalho compara ainda GOD com outras propostas de Gerenciadores de Objetos.Referências
P. A. Bernstein, V. Hadzilacos, and N. Goldman, Concurrency Control and Recovery in Databases Systems. Addison-Wesley, 1987.
P. Butterworth, A. Otis, and J. Stein. The GemStone Object Database Management System. Communications of The ACM, 34(10):61-77, 1991.
P. Chen. The Entity-Relationship Model: Toward an Unified View of Data. ACM Transactions on Database Systems, 1(1), 1976.
R. Cleaveland, J. Parrow, and B. Stellen. The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrency Systems. LFCS Report Series 89-83, University of Edinburg, Edinburg, England, 1989.
C. A. Ellis, S. G. Gibbs, and G. I.. Rein. Gronpware: some Issues and Experiences, Communications of the ACM, 31(1):38-58, jan 1991.
J. A. I.. Filho and P. R. F. Cunha. DisCo: Um Ambiente de Programação distribuída com Configuração Dinâmica de Processos. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife-PE, 1992. A ser apresentado no CLEI 92.
Jorge H. C. Fernandes. GOD - Um Gerenciador de Objetos para Ambientes de Desenvolvimento de Software. Master's thesis, Universidade Federal de Pernambuco, Recife - PE. 1992. Em preparação.
G. J. Holzmann. Protocol Design: Redefining the State of the Art. IEEE Software, 9(1):17-22, 1992.
S. R. L.. Meira, E. s. Albuquerque, J. F. Tepedino, and C. S. Santos. An Experiment in Object-Oriented Design and Programming: The Acqua Hypertext System. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE, 1991.
S. R. L.. Meira and A. L. C. Cavalcanti: Modular Object-Oriented Z. Specifications. In Proceedings of the Fourth Annual Z. users Meeting, pages 1-19, Oxford - England, 1990.
S. R. L.. Meira, S. M. Holanda, J. H. C. Fernandes, and A. L. C. Cavalcanti. An object-oriented formal specification of a distributed object programming language. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE, 1991.
R. Milner. Communication and Concurrency. Prentice-Hall International, 1989.
Faron, Moller. The Edinburgh Concurrency Workbench (Version 6.0). Technical report, University of Edinburg, Edinburg, England, 1991.
S. R. I.. Meira, C. S. Santos, and A. L. C. Cavalcanti. ForMooZ: An Environment for Formal Object Oriented Specifications and Prototyping. Technical report, Universidade Federal de Pernambuco & Instituto Tecnológico de Pernambuco, 1991.
S. R. I.. Meira, C. S. Santos, and A. L. C. Cavalcanti. The UNIX Filing Systems: A MooZ Specification. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE, 1992.
M. H. Nodine, A.H. Skarra, and S. B. Zdonik. Synchronization and Recovery in Cooperative Transactions. Technical report, Brown University, Providence, RI 02912, 1990.
P. Oberndorf. The Common Ada Programming Support Environment (APSE) Interface Set (CAIS). IEEE Transactions on Software Engineering, 14(6):742-748, 1988.
S. Omohundro. The Sather Language. Technical report, International Computer Science Institute, Berkeley, California, 1991.
PCTE Project Report. ESPRIT S6: Results and Achievements, pages 53-71. Elsevier Science Publishers, 1987.
J. M. Spivey. The Z Notation: A Reference Manual. C. A. R. Hoare Series Editor. Prentice Hall, 1989.
C. Stirling. Temporal Logics for CCS, volume 354, pages 660-675. Springer Verlag, 1989.
F. Velez, G. Bernard, and V. Darnis. The O2 Object Manager: an Overview. Technical Report 27-89, Altair, Paris - France, fev 1989.
P. Butterworth, A. Otis, and J. Stein. The GemStone Object Database Management System. Communications of The ACM, 34(10):61-77, 1991.
P. Chen. The Entity-Relationship Model: Toward an Unified View of Data. ACM Transactions on Database Systems, 1(1), 1976.
R. Cleaveland, J. Parrow, and B. Stellen. The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrency Systems. LFCS Report Series 89-83, University of Edinburg, Edinburg, England, 1989.
C. A. Ellis, S. G. Gibbs, and G. I.. Rein. Gronpware: some Issues and Experiences, Communications of the ACM, 31(1):38-58, jan 1991.
J. A. I.. Filho and P. R. F. Cunha. DisCo: Um Ambiente de Programação distribuída com Configuração Dinâmica de Processos. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife-PE, 1992. A ser apresentado no CLEI 92.
Jorge H. C. Fernandes. GOD - Um Gerenciador de Objetos para Ambientes de Desenvolvimento de Software. Master's thesis, Universidade Federal de Pernambuco, Recife - PE. 1992. Em preparação.
G. J. Holzmann. Protocol Design: Redefining the State of the Art. IEEE Software, 9(1):17-22, 1992.
S. R. L.. Meira, E. s. Albuquerque, J. F. Tepedino, and C. S. Santos. An Experiment in Object-Oriented Design and Programming: The Acqua Hypertext System. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE, 1991.
S. R. L.. Meira and A. L. C. Cavalcanti: Modular Object-Oriented Z. Specifications. In Proceedings of the Fourth Annual Z. users Meeting, pages 1-19, Oxford - England, 1990.
S. R. L.. Meira, S. M. Holanda, J. H. C. Fernandes, and A. L. C. Cavalcanti. An object-oriented formal specification of a distributed object programming language. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE, 1991.
R. Milner. Communication and Concurrency. Prentice-Hall International, 1989.
Faron, Moller. The Edinburgh Concurrency Workbench (Version 6.0). Technical report, University of Edinburg, Edinburg, England, 1991.
S. R. I.. Meira, C. S. Santos, and A. L. C. Cavalcanti. ForMooZ: An Environment for Formal Object Oriented Specifications and Prototyping. Technical report, Universidade Federal de Pernambuco & Instituto Tecnológico de Pernambuco, 1991.
S. R. I.. Meira, C. S. Santos, and A. L. C. Cavalcanti. The UNIX Filing Systems: A MooZ Specification. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE, 1992.
M. H. Nodine, A.H. Skarra, and S. B. Zdonik. Synchronization and Recovery in Cooperative Transactions. Technical report, Brown University, Providence, RI 02912, 1990.
P. Oberndorf. The Common Ada Programming Support Environment (APSE) Interface Set (CAIS). IEEE Transactions on Software Engineering, 14(6):742-748, 1988.
S. Omohundro. The Sather Language. Technical report, International Computer Science Institute, Berkeley, California, 1991.
PCTE Project Report. ESPRIT S6: Results and Achievements, pages 53-71. Elsevier Science Publishers, 1987.
J. M. Spivey. The Z Notation: A Reference Manual. C. A. R. Hoare Series Editor. Prentice Hall, 1989.
C. Stirling. Temporal Logics for CCS, volume 354, pages 660-675. Springer Verlag, 1989.
F. Velez, G. Bernard, and V. Darnis. The O2 Object Manager: an Overview. Technical Report 27-89, Altair, Paris - France, fev 1989.
Publicado
04/11/1992
Como Citar
MEIRA, Silvio R. L.; FERNANDES, Jorge H. C..
GOD – Um Gerenciador de Objetos Distribuídos para Ambientes de Desenvolvimento de Software. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 6. , 1992, Gramado/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1992
.
p. 273-291.
DOI: https://doi.org/10.5753/sbes.1992.25189.
