• WSAT

  • Referenced in 37 articles [sw01022]
  • tool for analyzing and verifying composite web service designs, with the state ... complicate the formal specification of web service composition. (2) Asynchronous messaging makes most interesting verification...
  • Reo

  • Referenced in 82 articles [sw06353]
  • presents a paradigm for composition of distributed software components and services based on the notion ... compositional construction of connectors that orchestrate the cooperative behavior of instances of components or services...
  • SWORD

  • Referenced in 12 articles [sw10584]
  • SWORD: A developer toolkit for web service composition. The formidable problem of automatic or semi ... automatic composition of existing Web services is the subject of much current attention. We address ... automatically determine whether a desired composite service can be realized using existing services ... plan that when executed instantiates the composite service. As our working prototype and examples demonstrate...
  • LTSA-WS

  • Referenced in 13 articles [sw10585]
  • model-based verification of web service compositions and choreography. In this paper we describe ... model-based approach to verifying compositions of web service implementations. The tool supports verification ... implementation, testing and deployment of web service compositions can be eased through the understanding...
  • JOpera

  • Referenced in 7 articles [sw10578]
  • Toolkit for efficient visual composition of web services. Web services are attracting attention because ... paper tackles the problem of visual service composition and the efficient and scalable execution ... resulting composite services. The effort revolves around the JOpera system, which combines a visual programming ... levels in the execution of composite services...
  • AO4BPEL

  • Referenced in 8 articles [sw33276]
  • more modular and dynamically adaptable web service compositions. Aspect-Oriented Programming (AOP) is a paradigm ... modularizing crosscutting concerns in web services compositions such as authorization and authentication, business rules...
  • Me-services

  • Referenced in 8 articles [sw01399]
  • framework for secure & personalized discovery, composition and management of services in pervasive environments. Increasing computational ... have used DAML for service discovery, service composition, data management, and trust based security...
  • Triana

  • Referenced in 5 articles [sw10567]
  • Triana: a graphical Web service composition and execution toolkit. Service composition refers to the aggregation ... Triana PSE to facilitate graphical Web service discovery, composition and invocation. Our framework has several ... First, users can graphically create complex service compositions. Second, Triana allows the user to share ... composite service as a BPELAWS graph or expose it as a service...
  • CloudSim

  • Referenced in 24 articles [sw10724]
  • hosting Internet-based application services. These applications have different composition, configuration, and deployment requirements. Quantifying ... policy on a Cloud infrastructure (hardware, software, services) for different application and service models under...
  • WSOL

  • Referenced in 7 articles [sw02391]
  • adaptation and manag! ement of Web Service compositions using manipulation of service offerings...
  • AutoSyn

  • Referenced in 3 articles [sw02043]
  • approach to automated synthesis of composite web services with correctness guarantee How to compose existing ... desired behaviors of a composite service beforehand and then perform certain formal verification to guarantee ... given set of services, a composite service is automatically constructed based on L * algorithm, which ... guarantees that the composite service is the most general way of coordinating services so that...
  • Reoservice

  • Referenced in 4 articles [sw08568]
  • have been focused on statically defined composition of services, e.g., using BPEL. To the best ... BPEL is a powerful standard for service composition, it lacks support for typical coordination constraints...
  • Taverna

  • Referenced in 44 articles [sw08764]
  • Taverna: a tool for the composition and enactment of bioinformatics workflows. Motivation: In silico experiments ... programmatic access in the form of Web services. Bioinformatics scientists will need to orchestrate these ... services in workflows as part of their analyses. Results: The Taverna project has developed ... tool for the composition and enactment of bioinformatics workflows for the life sciences community...
  • ASKALON

  • Referenced in 17 articles [sw08430]
  • comprises four tools, coherently integrated into a service-oriented architecture. SCALEA is a performance instrumentation ... based on the composition and sharing of remote Grid services, thus enabling tool interoperability...
  • Diogenes

  • Referenced in 3 articles [sw30238]
  • idea is a dynamic discovery and composition of services, where only those with compliant contracts ... sanctioned; further, compositions of honest services are deadlock-free. However, developing honest programs...
  • PGWFT

  • Referenced in 3 articles [sw10573]
  • this paper, we propose a service composition oriented grid workflow model and its related...
  • SOLOIST

  • Referenced in 1 article [sw16438]
  • SOLOIST: A specification language for service compositions interactions. Service-based applications are a new class ... added-values applications that are called service compositions. The distributed ownership and the evolving nature ... services involved in a service composition make verification activities crucial. On a par with verification ... interactions–with third-party services–of service compositions, with the related issue of balancing expressiveness...
  • SCAIMO

  • Referenced in 1 article [sw02835]
  • enabling security in semantic web service composition Web service is a novel distributed computing paradigm ... recent critical issues is automated composition of Web services. A number of approaches like ... planning techniques for Web service composition, previous works in that area do not address security ... SCAIMO to achieve security conscious composition of Semantic Web services. We test our approach...
  • WS2JADE

  • Referenced in 3 articles [sw09081]
  • simple examples of using WS2JADE for service discovery, composition and deployment with JADE agents...
  • Orange4WS

  • Referenced in 4 articles [sw27294]
  • data mining algorithms implemented as web services, as well as the use of formal descriptions ... form of ontologies, enabling automated composition of complex knowledge discovery workflows for a given data ... mining task. This paper proposes a novel Service-oriented Knowledge Discovery framework and its implementation ... which enables manual composition of data mining workflows. The new service-oriented data mining environment...