Cited in
(36)- Session types for safe web service orchestration
- A WSDL-based type system for asynchronous WS-BPEL processes
- Trace- and failure-based semantics for responsiveness
- Specification of asynchronous component systems with modal I/O-Petri nets
- Formal modeling and analysis of business process timed constraints
- Compositional Service Trees
- Compact representations and efficient algorithms for operating guidelines
- Can I find a partner? Undecidability of partner existence for open nets
- A Net-based Approach to Web Services Publication and Replaceability
- Component simulation-based substitutivity managing QoS and composition issues
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
- Operating Guidelines for Finite-State Services
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
- Automata and processes on multisets of communicating objects
- A trace-based view on operating guidelines
- Causal behavioural profiles -- efficient computation, applications, and evaluation
- PiDuce
- Wendy
- LoLA
- BPEL2PN
- COWS
- Orc
- Proclets
- M-nets
- Petrify
- SynchAADL2Maude
- TyPiCal
- A trace-based service semantics guaranteeing deadlock freedom
- Connectivity of workflow nets: The foundations of stepwise verification
- On the use of behavioural equivalences for web services' development
- Deciding Substitutability of Services with Operating Guidelines
- Does My Service Have Partners?
- Efficient computation of causal behavioural profiles using structural decomposition
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs
- Efficient semantics-based compliance checking using LTL formulae and unfolding
- Reusing artifact-centric business process models: a behavioral consistent specialization approach
This page was built for software: BPEL2oWFN
