BPEL2PN
From MaRDI portal
Software:19017
No author found.
Related Items (13)
Software Engineering with Petri Nets: A Web Service and Agent Perspective ⋮ Question-guided stubborn set methods for state properties ⋮ A formal model for service-oriented interactions ⋮ Monitoring and recovery for web service applications ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Soundness of workflow nets: classification, decidability, and analysis ⋮ Can I find a partner? Undecidability of partner existence for open nets ⋮ A Calculus for Orchestration of Web Services ⋮ Component simulation-based substitutivity managing QoS and composition issues ⋮ Formal semantics and analysis of control flow in WS-BPEL ⋮ Web Cube ⋮ Does My Service Have Partners? ⋮ A Rigorous Model of Service Component Architecture
This page was built for software: BPEL2PN
