A trace-based view on operating guidelines

DOI10.1007/978-3-642-19805-2_28MaRDI QIDQ3000625zbMATH OpenOpenAlexFDO

Authors Christian Stahl, Walter Vogler

Publication date 19 May 2011

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19805-2_28

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Operating Guidelines for Finite-State Services
• A trace-based service semantics guaranteeing deadlock freedom
• Compact representations and efficient algorithms for operating guidelines
• Deciding Substitutability of Services with Operating Guidelines
• Service refinement

Cited in

(3)

• Compact representations and efficient algorithms for operating guidelines
• Operating Guidelines for Finite-State Services
• A trace-based service semantics guaranteeing deadlock freedom

Describes a project that uses

Uses Software

• BPEL2oWFN

This page was built for publication: A trace-based view on operating guidelines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000625)