A trace-based view on operating guidelines

DOI10.1007/978-3-642-19805-2_28zbMATH Open1326.68204OpenAlexW1607482947MaRDI QIDQ3000625FDOQ3000625

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

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

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)

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

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)