Analyzing compatibility of services via resource conformance

DOI10.3233/FI-2013-937MaRDI QIDQ5411652zbMATH OpenOpenAlexFDO

Authors I. V. Romanov, Irina A. Lomazova

Publication date 25 April 2014

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2013-937

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets
• A generic framework for n-protocol compatibility checking
• Does My Service Have Partners?
• Checking protocol compatibility using Maude
• History Dependent Automata for Service Compatibility

Cited in

(7)

• Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets
• Checking protocol compatibility using Maude
• Decidability of k-Soundness for Workflow Nets with an Unbounded Resource
• History Dependent Automata for Service Compatibility
• Does My Service Have Partners?
• A generic framework for n-protocol compatibility checking
• Resource Bisimilarity in Petri Nets is Decidable

This page was built for publication: Analyzing compatibility of services via resource conformance

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