BPEL2oWFN
From MaRDI portal
Software:19019
No author found.
Related Items (25)
Compact Representations and Efficient Algorithms for Operating Guidelines ⋮ Efficient semantics-based compliance checking using LTL formulae and unfolding ⋮ Unnamed Item ⋮ Automata and processes on multisets of communicating objects ⋮ Formal Modeling and Analysis of Business Process Timed Constraints ⋮ Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study ⋮ A trace-based service semantics guaranteeing deadlock freedom ⋮ Reusing artifact-centric business process models: a behavioral consistent specialization approach ⋮ Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets ⋮ Session types for safe web service orchestration ⋮ Trace- and failure-based semantics for responsiveness ⋮ A Trace-Based View on Operating Guidelines ⋮ Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Can I find a partner? Undecidability of partner existence for open nets ⋮ Component simulation-based substitutivity managing QoS and composition issues ⋮ Operating Guidelines for Finite-State Services ⋮ Does My Service Have Partners? ⋮ Deciding Substitutability of Services with Operating Guidelines ⋮ Compositional Service Trees ⋮ Specification of Asynchronous Component Systems with Modal I/O-Petri Nets ⋮ A Net-based Approach to Web Services Publication and Replaceability ⋮ Connectivity of workflow nets: The foundations of stepwise verification ⋮ Unnamed Item ⋮ Executable rewriting logic semantics of Orc and formal analysis of Orc programs
This page was built for software: BPEL2oWFN
