Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
A CP-nets-based Design and Verification Framework for Web Services Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Transformation BPEL to CP-Nets for Verifying Web Services Composition
NWESP '05 Proceedings of the International Conference on Next Generation Web Services Practices
Model Checking Technologies for Web Services
SEUS-WCCIA '06 Proceedings of the The Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, and the Second International Workshop on Collaborative Computing, Integration, and Assurance (SEUS-WCCIA'06)
A practical method to analyze workflow logic models: Research Articles
Concurrency and Computation: Practice & Experience
| Hi-index | 0.00 |
Web Service composition, which is an application of the Service-Oriented Architecture, refers to combining existing Web Services to a new one. BPEL (Business Process Execution Language) is a language describing the composition of Web Services. The process of composition is error-prone. In order to guarantee the correctness of service composition, the idea of modeling and verifying BPEL in different levels, the logic level and the semantic level, is put forward. This can not only assure modeling the processes properly, but also lower the complexity of models and verifications. In the logic level, some elements of BPEL, according to the mapping rules, are mapped to WSL_net, which is a special Synchronized Net. Properties such as sound and efficient guarantee the correctness of the basic control flows in BPEL process and avoid unnecessary resource consuming. The construction and verification of the model of the semantic level, in which more elements of BPEL will be introduced, will be given in later papers.