BPEL4PEOPLE ANTI-PATTERNS: DISCOVERING AUTHORIZATION CONSTRAINT ANTI-PATTERNS IN WEB SERVICES
Apesar da abundância de técnicas de análise para descobrir antipadrões em BPEL, existe uma carência no suporte para erros de restrição de autorização em serviços web orquestrados com BPEL4People. A maioria das técnicas simplesmente abstrai as interações humanas com o usuário, enquanto as dependências entre elas podem ser a fonte de muitos tipos de erros. Este artigo enfoca os antipadrões de restrição de autorização em serviços Web orquestrados com BPEL4People. Apresentamos uma abordagem de análise que faz a verificação de modelos bem conhecidos, estáveis, adaptáveis e eficazes, esta é usada para descobrir erros de restrição de autorização. Além disso, nossa abordagem permite uma integração perfeita de fluxo de controle.
BPEL4PEOPLE ANTI-PATTERNS: DISCOVERING AUTHORIZATION CONSTRAINT ANTI-PATTERNS IN WEB SERVICES
-
DOI: 10.22533/at.ed.0102014125
-
Palavras-chave: Engenharia de Software, Qualidade de Software, Antipadrões e Serviço Web.
-
Keywords: KEYWORDS: Software Engineer, Software Quality, Antipattern, Web Service.
-
Abstract:
Despite the abundance of analysis techniques to discover anti- patterns in BPEL, there is hardly any support for authorization constraint errors in web services orchestrated by BPEL4People. Most techniques simply abstract from people (human user interactions), while people dependencies can be the source of all kinds of errors. This paper focuses on the discovery authorization constraint anti-patterns in web services orchestrated by BPEL4People. We present an analysis approach that is expressed in terms of rule card, the well- known, stable, adaptable, and effective model-checking techniques can be used to discover authorization constraint errors. Moreover, our approach enables a seamless integration of control-flow and authorization constraint verification.
-
Número de páginas: 15
- Henrique Jorge Amorim Holanda
- Francisca Aparecida Prado Pinto
- Giovanni Cordeiro Barroso
- Carla Monteiro
