A generic framework for n-protocol compatibility checking
DOI10.1016/J.SCICO.2011.03.009zbMATH Open1245.68028OpenAlexW85326815MaRDI QIDQ433347FDOQ433347
Meriem Ouederni, Gwen Salaün, Francisco Durá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
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
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)
Cites Work
- Maude: specification and programming in rewriting logic
- Analysis of distributed systems with mCRL2
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Modal logics for mobile processes
- On Communicating Finite-State Machines
- A calculus of communicating systems
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
- Compatibility and inheritance in software architectures
- Title not available (Why is that?)
- Conditional rewriting logic as a unified model of concurrency
- Title not available (Why is that?)
- Specification and proof in membership equational logic
- A symbolic approach to value-passing processes
- Symbolic bisimulations
- On the usability of process algebra: An architectural view
- Title not available (Why is that?)
- Automatic Generation of Adaptation Contracts
Cited In (8)
- An Event-B based approach for cloud composite services verification
- A modular framework for verifying versatile distributed systems
- Can we communicate? Using dynamic logic to verify team automata
- Title not available (Why is that?)
- History Dependent Automata for Service Compatibility
- On the diversity of asynchronous communication
- Title not available (Why is that?)
- Research on the dynamic reconfiguration of Web application using two-phase compatibility verification
Uses Software
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)
