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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Maude: specification and programming in rewriting logic
• 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
• Conditional rewriting logic as a unified model of concurrency
• 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
• Automatic Generation of Adaptation Contracts

Cited In (5)

• 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
• On the diversity of asynchronous communication
• Research on the dynamic reconfiguration of Web application using two-phase compatibility verification

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)