BPEL2PN
From MaRDI portal
Software:19017
swMATH6954MaRDI QIDQ19017FDOQ19017
Author name not available (Why is that?)
Cited In (13)
- 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
- A Calculus for Orchestration of Web Services
- 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
- Software Engineering with Petri Nets: A Web Service and Agent Perspective
This page was built for software: BPEL2PN
