APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software
Abstract
Software Process Technology evolved to support software processes management. This paper presents a contribution to this field, describing a mechanism to formally model Static Policies, which are useful to automate the verification of processes properties. The proposed mechanism acts during software process modeling, allowing Policy reuse across different processes under enaction of a Process Centered Software Engineering Environment (PSEE). In this text, the language for StaticPolicy definition is presented first though an informal description, followed by a couple of examples. This paper also discusses some of the main issues related to the formal (algebraic) semantics defined for the Policy interpreter which was used as a base to implement a Java-based prototype in a PSEE.
References
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.
Published
2001-10-03
How to Cite
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.
Proceedings of the Brazilian Symposium on Software Engineering (SBES), [S.l.], p. 52-67, oct. 2001.
ISSN 0000-0000.
Available at: <https://sol.sbc.org.br/index.php/sbes/article/view/23980>. Date accessed: 18 may 2024.
doi: https://doi.org/10.5753/sbes.2001.23980.
Section
Research Papers
