The following pages link to BPEL2oWFN (Q19019):
Displaying 25 items.
- Efficient semantics-based compliance checking using LTL formulae and unfolding (Q364600) (← links)
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Automata and processes on multisets of communicating objects (Q609033) (← links)
- Connectivity of workflow nets: The foundations of stepwise verification (Q766173) (← links)
- Can I find a partner? Undecidability of partner existence for open nets (Q975497) (← links)
- Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
- Reusing artifact-centric business process models: a behavioral consistent specialization approach (Q2199060) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- A trace-based service semantics guaranteeing deadlock freedom (Q2428498) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- Specification of Asynchronous Component Systems with Modal I/O-Petri Nets (Q2830035) (← links)
- Compact Representations and Efficient Algorithms for Operating Guidelines (Q2895776) (← links)
- A Trace-Based View on Operating Guidelines (Q3000625) (← links)
- (Q3225723) (← links)
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study (Q3510856) (← links)
- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition (Q3569862) (← links)
- (Q3601413) (← links)
- Operating Guidelines for Finite-State Services (Q3612941) (← links)
- Does My Service Have Partners? (Q3623824) (← links)
- Deciding Substitutability of Services with Operating Guidelines (Q3623825) (← links)
- Compositional Service Trees (Q3636850) (← links)
- A Net-based Approach to Web Services Publication and Replaceability (Q3647365) (← links)
- Formal Modeling and Analysis of Business Process Timed Constraints (Q5348540) (← links)