A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments

Conference Paper · December 2006with9 Reads
DOI: 10.1007/11948148_28 · Source: DBLP
Conference: Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings
Abstract
An important issue, in open environments like the web, is guarantee- ing 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 proto- col), it becomes possible to verify, before the interaction takes place, if the inter- active 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.
    • "For the sending of messages to other services, an unbound process is needed, as there is no grounding for the receiving service available. In its current state, checking interoperability is done according to the description in [33], which is a variant of bi-simulation [32]. The protocols we currently use are still simple, so a Java based approach was chosen to check compliance of a policy against the protocol role. "
    [Show abstract] [Hide abstract] ABSTRACT: Multimedia streaming means delivering continuous data to a plethora of client devices. Besides the actual data transport, this also needs a high degree of content adaptation respecting the end users’ needs given by content preferences, transcoding constraints, and device capabilities. Such adaptations can be performed in many ways, usually on the media server. However, when it comes to content editing, like mixing in subtitles or picture-in-picture composition, relying on third party service providers may be necessary. For economic reasons this should be done in a service-oriented way, because a lot of adaptation modules can be reused within different adaptation workflows. Although service-oriented architectures have become widely accepted in the Web community, the multimedia environment is still dominated by monolithic systems. The main reason is the insufficient support for working with continuous data: generally the suitability of Web services for handling complex data types and state-full applications is still limited. In this paper we discuss extensions of Web service frameworks, and present a first implementation of a service-oriented framework for media streaming and digital item adaptation. The focus lies on the technical realization of the services. Our experimental results show the practicality of the actual deployment of service-oriented multimedia frameworks.
    Full-text · Article · Dec 2011
    • "In a sense, the process of internalizing the norms computes what norms are relevant and simplifies them for each action. Baldoni et al. [31,32] consider a-priori verification of conformance of an agent with a role in an interaction protocol. The main concern there is to guarantee interoperability: that the system will function correctly provided agents conform to their roles in the protocol. "
    [Show abstract] [Hide abstract] ABSTRACT: In this work we consider how to enforce norms in the Situation Calculus based programming language Golog and its relatives. We define a notion of norm compliant sequence of actions with respect to norms prescribing some actions to be forbidden or obliged (ought-to-do norms), norms prescribing that a state-condition is forbidden (oughtto-be norms) and norms that are a form of deadline. We then show a procedure that allows incorporating the norms into the underlying action theory so that after this is done, the agent's behavior is guaranteed to be norm compliant.
    Full-text · Conference Paper · Jul 2011 · Future Internet
    • "Carpinetti et al. [14] formally define contracts in process algebra and cast performance testing as process simulation, while Bravetti and Zavattaro [11] study it as matching preorders of complementary input/output operations. Baldoni et al. [3] study the key issue of choice and achieve adaptability through surgical edit operations, while in previous work they approached conformance testing with the help of finite state automata [4]. Conformance has also been studied through session types [54], which describe communication channels in process algebras. "
    Full-text · Article · Jul 2010 · Future Internet
Show more