Checking protocol compatibility using Maude

MaRDI QIDQ2989001zbMATH OpenFDO

Authors Francisco Durán, Meriem Ouederni, Gwen Salaün

Publication date 19 May 2017

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066109004459?np=y

zbMATH Keywords

compatibilityMaudenon-observable actionssymbolic transition systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A generic framework for n-protocol compatibility checking
• History Dependent Automata for Service Compatibility
• Analyzing compatibility of services via resource conformance
• A compositional framework to the specification of service protocols controllability and substitutability
• Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study

Cited in

(5)

• Twenty years of rewriting logic
• Specifying and Analyzing the Kademlia Protocol in Maude
• History Dependent Automata for Service Compatibility
• A generic framework for n-protocol compatibility checking
• Analyzing compatibility of services via resource conformance

Describes a project that uses

Uses Software

• OBJ3
• Maude
• BESERIAL

This page was built for publication: Checking protocol compatibility using Maude

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