BPEL2PN
From MaRDI portal
Cited in
(31)- WSAT
- Wendy
- PiDuce
- LoLA
- YAWL
- CoMA
- COWS
- BPEL2oWFN
- Woflan
- Orc
- LTSA-WS
- PIPER
- ImageNetDiff
- AsmetaSMV
- A rigorous model of service component architecture
- Software engineering with Petri nets: a web service and agent perspective
- TyPiCal
- Web Cube
- Does My Service Have Partners?
- Mulan/Capa
- A formal model for service-oriented interactions
- AO4BPEL
- Monitoring and recovery for web service applications
- Jiazzi
- A WSDL-based type system for asynchronous WS-BPEL processes
- Soundness of workflow nets: classification, decidability, and analysis
- A Calculus for Orchestration of Web Services
- Question-guided stubborn set methods for state properties
- Can I find a partner? Undecidability of partner existence for open nets
- Component simulation-based substitutivity managing QoS and composition issues
- Formal semantics and analysis of control flow in WS-BPEL
This page was built for software: BPEL2PN
