BPEL2oWFN

swMATH6956MaRDI QIDQ19019FDOQ19019

Author name not available (Why is that?)

Cited In (25)

• Session types for safe web service orchestration
• A WSDL-based type system for asynchronous WS-BPEL processes
• Trace- and failure-based semantics for responsiveness
• Title not available (Why is that?)
• Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition
• 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
• Operating Guidelines for Finite-State Services
• Specification of Asynchronous Component Systems with Modal I/O-Petri Nets
• Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
• Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
• Title not available (Why is that?)
• Automata and processes on multisets of communicating objects
• A trace-based service semantics guaranteeing deadlock freedom
• Connectivity of workflow nets: The foundations of stepwise verification
• Deciding Substitutability of Services with Operating Guidelines
• Does My Service Have Partners?
• A Trace-Based View on Operating Guidelines
• Formal Modeling and Analysis of Business Process Timed Constraints
• 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