On the diversity of asynchronous communication

F Chevrou, A Hurault, P Quéinnec - Formal Aspects of Computing, 2016 - Springer
Asynchronous communication is often viewed as a single entity, the counterpart of
synchronous communication. Although the basic concept of asynchronous communication is …

A generic framework for n-protocol compatibility checking

F Durán, M Ouederni, G Salaün - Science of Computer Programming, 2012 - Elsevier
Service-Oriented Computing promotes the development of new systems from existing
services which are usually accessed through their public interfaces. In this context …

Visinav: Visual web data search and navigation

A Harth - International Conference on Database and Expert …, 2009 - Springer
Semantic Web technologies facilitate data integration over a large number of sources with
decentralised and loose coordination, ideally leading to interlinked datasets which describe …

Speech/music classification using empirical mode decomposition

A Ghosal, BC Dhara, SK Saha - 2011 Second International …, 2011 - ieeexplore.ieee.org
Audio classification serves as the fundamental step towards application like content based
audio retrieval. In this work, we have tried to exploit the inherent difference in the …

Diagnosing incompatibilities in web service interactions for automatic generation of adapters

Y Taher, A Ait-Bachir, MC Fauvet… - 2009 International …, 2009 - ieeexplore.ieee.org
Interactions between two applications encapsulated into Web services consist in series of
message exchanges that must conform to service interfaces. The study reported in this text …

Checking protocol compatibility using Maude

F Durán, M Ouederni, G Salaün - Electronic Notes in Theoretical Computer …, 2009 - Elsevier
Checking compatibility of services accessed through their behavioural interfaces is a crucial
issue in Service Oriented Computing which aims at building new systems from existing …

Automated verification of asynchronous communicating systems with TLA+

F Chevrou, A Hurault, P Quéinnec - Electronic Communications of the …, 2015 - eceasst.org
Verifying the compatibility of communicating peers is a crucial issue in critical distributed
systems. Unlike the synchronous world, the asynchronous world covers a wide range of …

[PDF][PDF] Measuring similarity of service interfaces

A Aıt-Bachir - ICSOC PhD Symposium 2008, 2008 - ceur-ws.org
In this paper, we present a similarity measure between behavioural interfaces of Web
services. This measure computes the difference value of simulation between two service …

Diagnosing and measuring incompatibilities between pairs of services

A Ait-Bachir, MC Fauvet - … Conference on Database and Expert Systems …, 2009 - Springer
This paper presents a technique which detects all behavioural incompatibilities between two
service interfaces (a client and a provider). This may happen because the provider has …

Detecting behavioural incompatibilities between pairs of services

A Aït-Bachir, M Dumas, MC Fauvet - … 1st, 2008, Revised Selected Papers 6, 2009 - Springer
We present a technique to analyse successive versions of a service interface in order to
detect changes that cause clients using an earlier version not to interact properly with a later …