• WSAT

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

  • Referenced in 13 articles [sw10585]
  • tool for model-based verification of web service compositions and choreography. In this paper ... 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...
  • SWORD

  • Referenced in 12 articles [sw10584]
  • service composition. The formidable problem of automatic or semi-automatic composition of existing Web services ... SWORD, a set of tools for the composition ... class of web services including “information-providing” services. In SWORD, a service is represented ... plan that when executed instantiates the composite service. As our working prototype and examples demonstrate...
  • AO4BPEL

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

  • Referenced in 7 articles [sw02391]
  • dynamic adaptation and manag! ement of Web Service compositions using manipulation of service offerings...
  • 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...
  • 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 ... object access protocol (SOAP), described with Web services language description (WSDL) and registered with...
  • 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 ... Web 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...
  • AutoSyn

  • Referenced in 3 articles [sw02043]
  • approach to automated synthesis of composite web services with correctness guarantee How to compose existing ... important and challenging problem in web services. Most existing approaches require a detailed specification ... referred to as AutoSyn to compose web services, where the correctness is guaranteed ... process. For a given set of services, a composite service is automatically constructed based...
  • SCAIMO

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

  • Referenced in 5 articles [sw15257]
  • toolbox for the automatic composition and adaptation of web services. Adaptation is of utmost importance...
  • Orange4WS

  • Referenced in 4 articles [sw27294]
  • data mining algorithms implemented as web services, as well as the use of formal descriptions ... data mining environment Orange4WS (Orange for Web Services), based on the existing Orange data mining ... which enables manual composition of data mining workflows. The new service-oriented data mining environment ... following new features: simple use of web services as remote components that can be included...
  • Phylotastic

  • Referenced in 1 article [sw27487]
  • viewed as a plan which composes web services that can retrieve, manipulate, and produce phylogenetic ... such analysis workflows. While composition of web services is a problem that has been extensively...
  • WS2JADE

  • Referenced in 3 articles [sw09081]
  • used with WS2JADE for enabling Web services management with agents. The management capabilities are demonstrated ... simple examples of using WS2JADE for service discovery, composition and deployment with JADE agents...
  • Celows

  • Referenced in 1 article [sw08868]
  • models, using semantic web services. It aims to improve reuse and composition of existent components...
  • OligoPred

  • Referenced in 5 articles [sw22481]
  • OligoPred: a web-server for predicting homo-oligomeric proteins by incorporating discrete wavelet transform into ... Chou’s pseudo amino acid composition. In vivo, some proteins exist as monomers (single polypeptide ... feasible for predicting homo-oligomers. The online service is available at http://bioinfo.ncu.edu.cn/Services.aspx....
  • FastSOA

  • Referenced in 1 article [sw06301]
  • server, and Web Service tools for performance, scalability, and developer productivity; Improved service governance through ... persistence in SOA registries and repositories; Composite data services to provide maximum reuse of software...
  • BPEL4WS

  • Referenced in 2 articles [sw07272]
  • flexible business processes by orchestrating multiple Web Services. Unit testing is critical to guarantee ... test framework, which includes a BPEL4WS process composition model, a test architecture, a lifecycle management...
  • ANSYS

  • Referenced in 654 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CCSP

  • Referenced in 14 articles [sw00111]
  • CCSP: A formal system for distributed program debugging...