A generic framework for n-protocol compatibility checking

DOI10.1016/J.SCICO.2011.03.009MaRDI QIDQ433347zbMATH OpenOpenAlexFDO

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

Publication date 13 July 2012

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2011.03.009

zbMATH Keywords

transition systemscompatibilityMaudeservice-oriented computingnon-observable actionsSOC

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Checking protocol compatibility using Maude
• A compositional framework to the specification of service protocols controllability and substitutability
• History Dependent Automata for Service Compatibility
• Analyzing compatibility of services via resource conformance
• scientific article; zbMATH DE number 1903369

Cites work

• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• scientific article; zbMATH DE number 1408945 (Why is no real title available?)
• A calculus of communicating systems
• A symbolic approach to value-passing processes
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Analysis of distributed systems with mCRL2
• Automatic Generation of Adaptation Contracts
• CADP 2010: a toolbox for the construction and analysis of distributed processes
• Checking protocol compatibility using Maude
• Compatibility and inheritance in software architectures
• Conditional rewriting logic as a unified model of concurrency
• Maude: specification and programming in rewriting logic
• Modal logics for mobile processes
• On Communicating Finite-State Machines
• On the usability of process algebra: An architectural view
• Specification and proof in membership equational logic
• Symbolic bisimulations

Cited in

(10)

• An Event-B based approach for cloud composite services verification
• Can we communicate? Using dynamic logic to verify team automata
• scientific article; zbMATH DE number 1903369 (Why is no real title available?)
• scientific article; zbMATH DE number 2036315 (Why is no real title available?)
• Checking protocol compatibility using Maude
• Analyzing compatibility of services via resource conformance
• On the diversity of asynchronous communication
• Research on the dynamic reconfiguration of Web application using two-phase compatibility verification
• History Dependent Automata for Service Compatibility
• A modular framework for verifying versatile distributed systems

Describes a project that uses

Uses Software

• WSAT
• mCRL2
• CADP
• Maude
• LTSA-WS
• ITACA
• BESERIAL

This page was built for publication: A generic framework for \(n\)-protocol compatibility checking

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