| Autor: |
Dustdar, Schahram, Fiadeiro, José Luiz, Sheth, Amit, Moser, Simon, Martens, Axel, Häbich, Marc, Mülle, Jutta |
| Zdroj: |
Business Process Management (9783540389019); 2006, p458-464, 7p |
| Abstrakt: |
The Business Process Execution Language for Web Services provides an technology to aggregate encapsulated functionalities for defining high-value Web services. For a distributed application in a B2B interaction, the partners simply need to expose their behavior as BPEL processes and compose them. Still, modeling and composing BPEL processes can be complex and error-prone. With formal methods like Petri nets, it is possible to analyze crucial properties (e.g. compatibility) effectively. In this paper, we present a method that automatically generates compatible partner BPEL processes for a given BPEL processes. Our hybrid approach makes use of formal methods, but also incorporates the structure of the original BPEL process model, such that the generated partner process is easier to understand and manage. Keywords: Business Process Modeling, Web Service, WS-BPEL, Behavioral Compatibility, Tool based Verification, Petri nets. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
