APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software
Resumo
Recentemente diversos trabalhos da Tecnologia de Processo de Software vem sendo propostos no sentido de descrever estratégias para auxiliar a automação da gerência do processo de desenvolvimento de software. Este artigo apresenta uma contribuição neste contexto, descrevendo um mecanismo para a definição formal de Políticas Estáticas, um construtor que é útil na verificação de propriedades sintáticas de modelos de processos de software. O mecanismo proposto atua durante a modelagem de processos de software, permitindo a reutilização de Políticas em diferentes processos (e seus componentes) e sua verificação automática em ambientes de desenvolvimento de software orientados ao processo (Process-Centered Software Engineering Environments PSEEs). Neste texto, a linguagem para definição de políticas é apresentada através da sua descrição informal, seguida de exemplos da sua utilização. Além disso, o artigo ainda discute alguns dos aspectos principais da semântica formal (algébrica) do mecanismo de interpretação de Políticas, da qual foi derivada a implementação de um protótipo integrado a um PSEE.
Referências
AMBLER, S.W. Process Patterns: Building Large-Scale Systems Using Object Technology, SIGS/Cambridge, 1998.
BERTINO E.; FERRARI, E. The specification and enforcement of authorization constraints in Workflow management systems. ACM Transactions on Information and System Security. v. 2, n. 1, 1999. p. 65-104
DAVIS, A.M. 201 Principles of Software Development. New York: McGraw-Hill, 1995.
DERNIAME, J.; KABA, B.; WASTELL, D. (eds.) Software Process: Principles, Methodology and Technology. Lecture Notes in Computer Science, vol. 1500. Springer-Verlag, 1998.
EMAN, K.; DROUIN, J.N.; MELO, W. (eds.) SPICE: The theory and practice of software process improvement and capability determination. IEEE, 1998.
FEILER, P.; HUMPHREY, W. Software Process Development and Enactment: Concepts and Definitions. In: Int'l. Conference on Software Process, 2. (ICSP2). Proceedings"... Berlin, Germany. Feb, 1993.
FRANCH, X.; RIBÓ, J. Some Reflexions in Modeling of Software Process. Int'l. Process Techonology Workshop, 1. (IPTW'99). 1999 Villars de Lans (France). Proceedings... 1999.
FUNK, P.J.; CRNKOVIC, I. Reuse, Validation and Verification of System Development Processes. In: Int'l Workshop on the Requirements Engineering Processes (DEXA'99). Proceedings... Florence, Sept. 1999.
GIMENES, I.M. Uma Introdução ao Processo de Engenharia de Software: Ambientes e Formalismos. Trabalho apresentado na Jornada de Atualização em Informática, 13., Caxambu: SBC, 1994.
HERBSLEB, J.; MOITRA, D. Global Software Development. IEEE Software, March/April 2001.
JACCHERI, M.L.; PICCO, G.P.; LAGO, P. Eliciting Software Process Models with the E3 language. Politécnico de Torino, Itália, 1998.
KAPPEL, G.; RAUSCH-SCHOTT, S.; RETSCHITZEGGER, W. Coordination in Workflow Management Systems - A Rule-Based Approach. In: CONEN, W.; NEUMANN, G. (Eds.) Coordination Technology for Collaborative Applications: Organizations, Processes and Agents. Lecture Notes in Computer Science, vol. 1364, Springer-Verlag, 1998.
KRANSER, H. et al. Lessons learned from a Software Process Modeling System. Communications of the ACM, v. 35, n.9, Sept. 1992.
LIMA REIS, C.A.; REIS, R.Q.; NUNES, D.J. Gerenciamento do Processo de Desenvolvimento Cooperativo de Software no Ambiente PROSOFT. In: Simpósio Brasileiro de Engenharia de Software, 12. (SBES98). Anais... Maringá: SBC. 1998.
NUNES, D.J. Estratégia Data-driven no Desenvolvimento de Software. In: Simpósio Brasileiro de Engenharia de Software, 6. Anais... p. 81-95, Gramado: SBC, 1992.
NUNES, D.J. PROSOFT: Um Ambiente de Desenvolvimento de Software Baseado no Método Algébrico. Porto Alegre: UFRGS, 1995. (http://www.inf.ufrgs.br/~prosoft)
PAULK, M.; WEBER, C.; CURTIS, B. The Capability Maturity Model: Guidelines for Improving the Software Process. Addison-Wesley Publishing Co., 1994.
PERRY, D.E. Policy-Directed Coordination and Cooperation. Int'l. In: Software Process Workshop, 7. (ISPW'7) Proceedings"... Yountville, California, 1991.
PERRY, D.E. Using Process Modeling for Process Understanding. In: Software Process Improvement. Proceedings"... Barcelona, Dec. 1997.
PRESSMAN, R.S. Software Engineering. PRESSMAN, R.S. Software Engineering: A Practitioner's Approach. McGraw-Hill, 2001.
REIS, R.Q.; LIMA REIS, C.A.; NUNES, D.J. Automated Support for Software Process Reuse: Requirements and Early Experiences with the APSEE model. In: International Workshop on Groupware, 7. (CRIWG'2001). Proceedings"... IEEE Computer Society. Darmstadt, Alemanha. Sept. 2001.
REIS, R.Q.; NUNES, D.J. APSEE-StaticPolicy: Sintaxe, semântica algébrica e exemplos de uma linguagem para verificação automática de políticas estáticas em modelos de processos de software. Porto Alegre: PPGC-UFRGS. Relatório de Pesquisa nº 311. Jul. 2001. (http://www.inf.ufrgs.br/~prosoft)
ROSS, D. Applications and Extensions of SADT. IEEE Computer, New York, v. 18, n.4, p.25-35, Apr. 1985.
VASCONCELOS JUNIOR, F.M.; WERNER, C.M.L. Suporte dos Padrões à Evolução de Processos de Desenvolvimento de Software. In: Simpósio Brasileiro de Engenharia de Software, 11., Anais... Fortaleza: SBC. p.131-146, 1997.
BERTINO E.; FERRARI, E. The specification and enforcement of authorization constraints in Workflow management systems. ACM Transactions on Information and System Security. v. 2, n. 1, 1999. p. 65-104
DAVIS, A.M. 201 Principles of Software Development. New York: McGraw-Hill, 1995.
DERNIAME, J.; KABA, B.; WASTELL, D. (eds.) Software Process: Principles, Methodology and Technology. Lecture Notes in Computer Science, vol. 1500. Springer-Verlag, 1998.
EMAN, K.; DROUIN, J.N.; MELO, W. (eds.) SPICE: The theory and practice of software process improvement and capability determination. IEEE, 1998.
FEILER, P.; HUMPHREY, W. Software Process Development and Enactment: Concepts and Definitions. In: Int'l. Conference on Software Process, 2. (ICSP2). Proceedings"... Berlin, Germany. Feb, 1993.
FRANCH, X.; RIBÓ, J. Some Reflexions in Modeling of Software Process. Int'l. Process Techonology Workshop, 1. (IPTW'99). 1999 Villars de Lans (France). Proceedings... 1999.
FUNK, P.J.; CRNKOVIC, I. Reuse, Validation and Verification of System Development Processes. In: Int'l Workshop on the Requirements Engineering Processes (DEXA'99). Proceedings... Florence, Sept. 1999.
GIMENES, I.M. Uma Introdução ao Processo de Engenharia de Software: Ambientes e Formalismos. Trabalho apresentado na Jornada de Atualização em Informática, 13., Caxambu: SBC, 1994.
HERBSLEB, J.; MOITRA, D. Global Software Development. IEEE Software, March/April 2001.
JACCHERI, M.L.; PICCO, G.P.; LAGO, P. Eliciting Software Process Models with the E3 language. Politécnico de Torino, Itália, 1998.
KAPPEL, G.; RAUSCH-SCHOTT, S.; RETSCHITZEGGER, W. Coordination in Workflow Management Systems - A Rule-Based Approach. In: CONEN, W.; NEUMANN, G. (Eds.) Coordination Technology for Collaborative Applications: Organizations, Processes and Agents. Lecture Notes in Computer Science, vol. 1364, Springer-Verlag, 1998.
KRANSER, H. et al. Lessons learned from a Software Process Modeling System. Communications of the ACM, v. 35, n.9, Sept. 1992.
LIMA REIS, C.A.; REIS, R.Q.; NUNES, D.J. Gerenciamento do Processo de Desenvolvimento Cooperativo de Software no Ambiente PROSOFT. In: Simpósio Brasileiro de Engenharia de Software, 12. (SBES98). Anais... Maringá: SBC. 1998.
NUNES, D.J. Estratégia Data-driven no Desenvolvimento de Software. In: Simpósio Brasileiro de Engenharia de Software, 6. Anais... p. 81-95, Gramado: SBC, 1992.
NUNES, D.J. PROSOFT: Um Ambiente de Desenvolvimento de Software Baseado no Método Algébrico. Porto Alegre: UFRGS, 1995. (http://www.inf.ufrgs.br/~prosoft)
PAULK, M.; WEBER, C.; CURTIS, B. The Capability Maturity Model: Guidelines for Improving the Software Process. Addison-Wesley Publishing Co., 1994.
PERRY, D.E. Policy-Directed Coordination and Cooperation. Int'l. In: Software Process Workshop, 7. (ISPW'7) Proceedings"... Yountville, California, 1991.
PERRY, D.E. Using Process Modeling for Process Understanding. In: Software Process Improvement. Proceedings"... Barcelona, Dec. 1997.
PRESSMAN, R.S. Software Engineering. PRESSMAN, R.S. Software Engineering: A Practitioner's Approach. McGraw-Hill, 2001.
REIS, R.Q.; LIMA REIS, C.A.; NUNES, D.J. Automated Support for Software Process Reuse: Requirements and Early Experiences with the APSEE model. In: International Workshop on Groupware, 7. (CRIWG'2001). Proceedings"... IEEE Computer Society. Darmstadt, Alemanha. Sept. 2001.
REIS, R.Q.; NUNES, D.J. APSEE-StaticPolicy: Sintaxe, semântica algébrica e exemplos de uma linguagem para verificação automática de políticas estáticas em modelos de processos de software. Porto Alegre: PPGC-UFRGS. Relatório de Pesquisa nº 311. Jul. 2001. (http://www.inf.ufrgs.br/~prosoft)
ROSS, D. Applications and Extensions of SADT. IEEE Computer, New York, v. 18, n.4, p.25-35, Apr. 1985.
VASCONCELOS JUNIOR, F.M.; WERNER, C.M.L. Suporte dos Padrões à Evolução de Processos de Desenvolvimento de Software. In: Simpósio Brasileiro de Engenharia de Software, 11., Anais... Fortaleza: SBC. p.131-146, 1997.
Publicado
03/10/2001
Como Citar
REIS, Rodrigo Quites; REIS, Carla Alessandra Lima; NUNES, Daltro José.
APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 15. , 2001, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2001
.
p. 52-67.
DOI: https://doi.org/10.5753/sbes.2001.23980.
