In this paper, we present how BPEL4Chor choreographies can be verified using Petri nets. A case study undermines that our verification techniques scale.

In this paper, we present how BPEL4Chor choreographies can be verified using Petri nets. A case study undermines that our verification techniques scale.

Abstract. Choreographies offer means to capture global interactions between business processes of different partners. BPEL4Chor has been.

In this paper, we present how BPEL4Chor choreographies can be verified using Petri nets. A case study undermines that our verification techniques scale.

BPEL4Chor has been introduced to describe these interactions using BPEL. Currently, there are no formal methods available to verify BPEL4Chor choreographies. In ...

This chapter surveys the different approaches to web service and web service composition verification and validation, paying special attention to automation.

BPEL4Chor uses the idea of plug-links of WSFL and adds the explicit modelling of participant sets and participant references. Modeling BPEL4Chor. We developed a ...

In this paper, we present how BPEL4Chor choreographies can be verified using Petri nets. A case study undermines that our verification techniques scale.

2008. Analyzing BPEL4Chor: Verification and participant synthesis. N Lohmann, O Kopp, F Leymann, W Reisig. Web Services and Formal Methods: 4th International ...

Analyzing BPEL4Chor: Verification and participant synthesis. N Lohmann, O Kopp, F Leymann, W Reisig. Web Services and Formal Methods: 4th International ...