swMATH6954MaRDI QIDQ19017FDOQ19017
Author name not available (Why is that?)
Official website: https://www.researchgate.net/figure/Mode-of-operation-of-BPEL2PN_fig2_221586005
Cited In (28)
- A WSDL-based type system for asynchronous WS-BPEL processes
- A formal model for service-oriented interactions
- Can I find a partner? Undecidability of partner existence for open nets
- Component simulation-based substitutivity managing QoS and composition issues
- Soundness of workflow nets: classification, decidability, and analysis
- Question-guided stubborn set methods for state properties
- LoLA
- YAWL
- CoMA
- BPEL2oWFN
- COWS
- Woflan
- Orc
- LTSA-WS
- PIPER
- ImageNetDiff
- AsmetaSMV
- TyPiCal
- Mulan/Capa
- AO4BPEL
- Jiazzi
- A Calculus for Orchestration of Web Services
- Software engineering with Petri nets: a web service and agent perspective
- Monitoring and recovery for web service applications
- Does My Service Have Partners?
- A rigorous model of service component architecture
- Formal semantics and analysis of control flow in WS-BPEL
- Web Cube
This page was built for software: BPEL2PN
