Formalização de Conceitos em Gerência de Configurações

• Paulo Sérgio C. de Alencar UnB
• Carlos José Pereira de Lucena PUC-Rio

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

Resumo

Neste artigo apresentamos uma abordagem em lógica do processo de evolução de configurações de sistemas de software que pode ser visto como um processo de transformações em “ponto grande” aplicado à descrições arquiteturais de sistemas de software. Neste sentido, uma descrição formal generalizada de arquiteturas de sistemas de software do ponto de vista de sistemas evolutivos de software é apresentada. A semântica do processo de mudança de estados de configuração de software (tomados como grafos de estrutura de software) é definida através de um formalismo lógico que envolve teorias representando estes estados e suas mudanças quando afetados por ações. O formalismo lógico adotado nos permite descrever e raciocinar dedutivamente sobre mudanças na estrutura, na interface e na funcionalidade dos componentes da descrição arquitetural do sistema de software. O raciocínio dedutivo sobre aspectos funcionais destas descrições é conseguido através da interação de um provador para o formalismo metalógico proposto e um provador de teoremas para raciocínio dedutivo sobre programas sequenciais.

Referências

Alencar, P.S.C., Lucena, C.J.P. A Logical Viewpoint of Software Configuration Maintainance, submetido para publicação.

Alencar, P.S.C., Lucena, C.J.P. A Logical Framework for Evolving Software Systems, submetido para publicação.

Alencar, P.S.C. Uma Abordagem Lógica para Sistemas Evolutivos de Software, Relatório Técnico, Departamento de Informática, 1989.

Alencar, P.S.C. An Automated Reasoning Method for a Many-Sorted Deontic Action Logic, Relatório Técnico, Departamento de Informática, 1990.

Alencar, P.S.C. A General Reasoning Method for Many-Sorted First-Order Action Logic, a ser submetido para publicação.

Ambriola, V., Bendix, L. Ciancarini, P., The Evolution of Configuration Management and Version Control, Software Engineering Journal, November 1990.

Barringer, H., Cheng, J. H., Jones, C. B., A Logic Covering Undefinedness in Program Proofs, Acta Informatica, vol. 21, pp. 251-259, 1984.

Bell, J., Machover, M., A Course in Mathematical Logic, North-Holland Pub. Co., 1977.

Costa, M., Cunningham, R. J., Mechanized Deduction and Modal Action Logic, Forest Report 5, Imperial College, University of London.

Fitting, M., Proof Methods for Modal and Intuitionistic Logic, D. Reidel Pub. Co., Dordrecht, 1983.

Gries, D., The Science of Programming, Springer-Verlag, NY, 1981.

Habermann, A. N. et al. System Composition and Version Control for Ada, Software Engineering Environments, H. Hunke (editor), North-Holland Pub. Company, 1981.

Hoare, C. A. R., An Aziomatic Basis for Computer Programming, Communications ACM 12, pp. 576-583, 1969.

Jackson, P., Reichgelt, H., A General Proof Method for First-Order Modal Logic, Proceedings of the LJCAI, pp. 942-044, 1988.

Jones, C. B., Software Development: A Rigorous Approach, Prentice-Hall International, 1980.

Jones, C. B., Systematic Software Development Using VDM, Prentice-Hall International, 1986.

Khosla, S., System Specification: A Deontic Approach, PhD Thesis, Department of Computing, Imperial College of Science and Technology, 1988.

Narayanaswamy, K., Scacchi, W., Maintaining Configurations of Evolving Software Systems, IEEE Trans. Soft. Eng., vol. SE-13, no. 3, pp. 324-334, 1987.

Narayanaswamy, K., Scacchi, W., A Database Foundation to Support Software System Evolution, The Journal of Systems and Software 7, pp. 37-49, 1987.

Smullyan, R. M., First Order Logic, Springer-Verlag, Berlin, 1968

Tichy, W. F., A Data Model for Programming Support Environments and its Applications, in Automated Tools for Information System Design and Development, Schneider, H., Wasserman, A., Eds., Amsterdan, The Netherlands: North-Holland, pp. 31-48, 1982.