Showing papers by "Antonio Brogi published in 2007"
TL;DR: This work presents a matchmaking system that exploits both semantics and behavioural information to discover service compositions capable of satisfying a client request.
Abstract: A major challenge for Service-oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both semantics and behavioural information to discover service compositions capable of satisfying a client request.
57 citations
17 Apr 2007
TL;DR: A new behavioural equivalence for Web services is defined, based on bisimilarity and inspired by recent advances in the theory of reactive systems, and it provides a firm ground for enhanced behaviour-aware discovery and for a sound incremental development of services and service compositions.
Abstract: Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for Web services, based on bisimilarity and inspired by recent advances in the theory of reactive systems. The proposed equivalence is compositional and decidable, and it provides a firm ground for enhanced behaviour-aware discovery and for a sound incremental development of services and service compositions.
38 citations
TL;DR: This paper shows how to adapt a service in order to fulfil a client query requesting a service with certain inputs and outputs and generates a service contract tailored to the client needs.
Abstract: Service-oriented computing strongly supports the development of future distributed business applications through the use of (web) services. Due to the heterogeneous and evolving nature of business processes, service adaptation is necessary in order to overcome mismatches between the interacting parties. Our long-term objective is to develop a general methodology for service adaptation capable of suitably overcoming semantic and behaviour mismatches in view of business process integration within and across organisational boundaries. In this paper, we show how to adapt a service in order to fulfil a client query requesting a service with certain inputs and outputs. The proposed technique relies on inspecting service execution traces and it generates a service contract tailored to the client needs. Service contracts include a description of the service behaviour (expressed by a YAWL workflow) as well as an (ontology-annotated) signature.
22 citations
TL;DR: A context-dependent, dynamic mapping between the interfaces of the components being adapted is described, overcoming some of the limitations of the static mappings presented in previous works.
19 citations
TL;DR: In this article, a behavioural equivalence for Web services is defined based on bisimilarity and inspired by recent advances in the theory of reactive systems, which provides a firm ground for enhanced behaviour-aware discovery and for a sound incremental development of services and service compositions.
Abstract: Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for Web services, based on bisimilarity and inspired by recent advances in the theory of reactive systems. The proposed equivalence is compositional and decidable, and it provides a firm ground for enhanced behaviour-aware discovery and for a sound incremental development of services and service compositions.
12 citations
Proceedings Article•
01 Jan 2007
TL;DR: In this article, the authors present a methodology for the automated generation of adapters capable of solving behavioral mismatches among BPEL processes, given two communicating processes whose interaction may lock, builds (if possible) a BPEL process that allows the two processes to successfully interoperate.
Abstract: The heterogeneous, dynamic, distributed, and evolving nature of Web services calls for adaptation techniques to overcome various types of mismatches that may occur among services developed by different parties. In this paper we present a methodology for the automated generation of (service) adapters capable of solving behavioural mismatches among BPEL processes. The adaptation process, given two communicating BPEL processes whose interaction may lock, builds (if possible) a BPEL process that allows the two processes to successfully interoperate. A key ingredient of the adaptation methodology is the transformation of BPEL processes into YAWL workflows.
11 citations
17 Sep 2007
TL;DR: A hunting blind comprising an elongated frame assembly of sufficient length to extend over a hunter lying under the blind incorporates a pivotal canopy frame with ground engaging, side support flaps that presents an unobstructed field of vision and fire to the hunter as he sits up.
Abstract: Web service discovery is one of the key issues in the emerging area of Service-oriented Computing. In this paper, we present a complete composition-oriented, ontology-based methodology for discovering semantic Web services, which exploits functional and behavioural properties contained in OWL-S service advertisements to satisfy functionaland behaviouralclient queries. To this aim, we build on top of the results contained in two recent articles, where we presented (1) a suitable data structure (viz., a dependency hypergraph) to collect functional information of services, and (2) a suitable notion of behavioural equivalence for Web services. We also discuss the architecture and the main implementation choices of the matchmaking system applying such a methodology.
8 citations
TL;DR: An insightful synthesis of the state-of-the-art in behavioural types is provided, both to summarise the main results achieved and to point out some important challenges to be faced for a real impact of these ideas in the software world.
8 citations
12 Sep 2007
TL;DR: In this article, the authors present a prototype which implements a fully-automated matchmaking methodology for discovering (compositions of) Web services, described in OWL-S, capable of satisfying a given client request.
Abstract: Semantic-based service discovery is a major open challenge towards a wide acceptance of Semantic Web services In this paper we present a prototype which implements a fully-automated matchmaking methodology for discovering (compositions of) Web services, described in OWL-S, capable of satisfying a given client request
6 citations