A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments

Abstract

Abstract. An important issue, in open environments like the web, is guaranteeing the interoperability of a set of services. When the interaction scheme that the services should follow is given (e.g. as a choreography or as an interaction protocol), it becomes possible to verify, before the interaction takes place, if the interactive behavior of a service (e.g. a BPEL process specification) respects it. This verification is known as "conformance test". Recently some attempts have been done for defining conformance tests w.r.t. a protocol but these approaches fail in capturing the very nature of interoperability, turning out to be too restrictive. In this work we give a representation of protocol, based on message exchange and on finite state automata, and we focus on those properties that are essential to the verification of the interoperability of a set of services. In particular, we define a conformance test that can guarantee, a priori, the interoperability of a set of services by verifying properties of the single service against the protocol. This is particularly relevant in open environments, where services are identified and composed on demand and dynamically, and the system as a whole cannot be analyzed.

Correctness Properties for Multiagent Systems

“…We can characterize liveness and safety in terms of the compatibility among causal orders involving receives and sends. We conjecture that the above will yield superior solutions to those in the recent distributed computing literature, e.g., [5][6][7]. The literature considers two-party cases or violates substitutability: that substituting an agent with a conforming agent must preserve interoperability.…”

“…In fact, this is why protocols are important beyond plain commitments. This paper characterizes the above concepts under realistic assumptions, including multiparty settings with asynchronous communication (which aren't accommodated even in fairly recent interoperability research, e.g., [5][6][7]). Hence, this paper reflects crucial basic research not being addressed elsewhere.…”

Mining process models with prime invisible tasks

“…There are many different definitions of interoperability Baldoni et al 2006], which mainly differ by the "degree of similarity" they require between the local and the global models. DecSerFlow leads to the definition of a very weak interoperability: as described in section 6.1.2 a local model is considered interoperable w.r.t.…”

Multimedia Content Provisioning Using Service Oriented Architectures

“…For the actual conformance tests, different approaches can be used. Popular instances are bisimulation [20] (or a variant of it [3]), as well as the checking of execution traces [4].…”

“…Extending techniques from the multi-agent systems domain [3,5] we show how to define conversation policies and protocols. We verified our approach with a prototypical implementation of a media streaming testbed, distributed over several servers.…”