Verified Service Compositions by Template-Based Construction
نویسندگان
چکیده
Today, service compositions often need to be assembled or changed on-the-fly, which leaves only little time for quality assurance. Moreover, quality assurance is complicated by service providers only giving information on their services in terms of domain specific concepts with only limited semantic meaning. In this paper, we propose a method to construct service compositions based on pre-verified templates. Templates, given as workflow descriptions, are typed over a (domain-independent) template ontology defining concepts and predicates. Templates are proven correct using an abstract semantics, leaving the specific meaning of ontology concepts open, however, only up to given ontology rules. Construction of service compositions amounts to instantiation of templates with domain-specific services. Correctness of an instantiation can then simply be checked by verifying that the domain ontology (a) adheres to the rules of the template ontology, and (b) fulfills the constraints of the employed template.
منابع مشابه
Concern-Specific Languages in a Visual Web Service Creation Environment
This paper presents a high-level, visual Service Creation Environment (SCE) for web services. The SCE introduces two main concepts: services and composition templates. Composition templates are abstract descriptions of reusable compositions containing several placeholders for services. Services are verified to be compatible with the composition template when a service is mapped onto a compositi...
متن کاملOptimizing Web Service Composition While Enforcing Regulations
To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. In this paper we present an approach to Web service composition that builds on work using AI planning, and more specifically Hierarchical Task Networks (HTNs), for Web service composition. A significant advantage of our approach i...
متن کاملDiscovering Secure Service Compositions
Security is an important concern for service based systems, i.e., systems that are composed of autonomous and distributed software services. This is because the overall security of such systems depends on the security of the individual services they deploy and, hence, it is difficult to assess especially in cases where the latter services must be discovered and composed dynamically. This paper ...
متن کاملFIRST@PC MediaX: A Service-Oriented Testbed for Realistic Media Networking Experiments
As an effort to devise and experiment diverse types of mediaoriented service compositions supported by Future Internet infrastructure, this paper introduces an attempt to build a service-oriented testbed named as FIRST@PC (Future Internet Research on Sustainable Testbed based on PC) MediaX (Media eXperiment). Following the SOA (service oriented architecture) paradigm, FIRST@PC MediaX targets a ...
متن کاملModel Driven Service Composition
The current standards for web service composition, e.g. BPEL. neither cater for dynamic service composition nor for dynamic business configuration. Our firm belief is that business processes can be built dynamically by composing web services in a model driven fashion where the design process is controlled and governed by a series of business rules. In this paper we examine the functional requir...
متن کامل