Cited in
(31)- Web Cube
- 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
- WSAT
- PiDuce
- Wendy
- LoLA
- YAWL
- CoMA
- BPEL2oWFN
- COWS
- Woflan
- Orc
- LTSA-WS
- PIPER
- ImageNetDiff
- AsmetaSMV
- TyPiCal
- Mulan/Capa
- AO4BPEL
- Jiazzi
- Question-guided stubborn set methods for state properties
- Software engineering with Petri nets: a web service and agent perspective
- Monitoring and recovery for web service applications
- A Calculus for Orchestration of Web Services
- Does My Service Have Partners?
- Formal semantics and analysis of control flow in WS-BPEL
- A rigorous model of service component architecture
This page was built for software: BPEL2PN
