Compatibility Checking for Asynchronously Communicating Software

Abstract : Compatibility is a crucial problem that is encountered while constructing new software by reusing and composing existing components. A set of software components is called compatible if their composition preserves certain properties, such as deadlock freedom. However, checking compatibility for systems communicating asynchronously is an undecidable problem, and asynchronous communication is a common interaction mechanism used in building software systems. A typical approach in analyzing such systems is to bound the state space. In this paper, we take a different approach and do not impose any bounds on the number of participants or the sizes of the message buffers. Instead, we present a sufficient condition for checking compatibility of a set of asynchronously communicating components. Our approach relies on the synchronizability property which identifies systems for which interaction behavior remains the same when asynchronous communication is replaced with synchronous communication. Using the synchronizability property, we can check the compatibility of systems with unbounded message buffers by analyzing only a finite part of their behavior. We have implemented a prototype tool to automate our approach and we have applied it to many examples.
Document type :
Conference papers
FACS 2013, Oct 2013, Nanchang, China. 2013
Liste complète des métadonnées

Cited literature [33 references]  Display  Hide  Download

https://hal.inria.fr/hal-00913665
Contributor : Gwen Salaün <>
Submitted on : Tuesday, December 10, 2013 - 3:15:50 PM
Last modification on : Monday, October 5, 2015 - 5:00:10 PM
Document(s) archivé(s) le : Tuesday, March 11, 2014 - 10:55:44 AM

File

main-facs13.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00913665, version 1

Citation

Meriem Ouederni, Gwen Salaün, Tevfik Bultan. Compatibility Checking for Asynchronously Communicating Software. FACS 2013, Oct 2013, Nanchang, China. 2013. 〈hal-00913665〉

Share

Metrics

Record views

331

Files downloads

187