This is an old revision of the document!
Overview Jambition is a prototype tool to automatically test the functionality of stateful Web Services based on Service State Machine (SSM) specifications. SSMs are similar to UML state machines, but tailored to the domain of Web Services. They have a precise semantics and are especially suited to perform Model-Based Testing. SSMs specify a single port type. The Web Service to be tested is assumed to be passive, meaning that only request-response and one-way operations are defined in the corresponding WSDL. Jambition supports a subset of the XML-Schema data types.
New Version 301107 released!
Documentation
Download
Licensing
Contact info
Overview Apart from ShowWSDL, Minerva is not a tool on its own, but rather a companion to Jambition. It reads Service State Machine models designed with the MagicDraw UML modeling tool and generates SSM objects, which are then passed to Jambition for testing Web Services. The SSM specification can come from an XML description as well.
ShowWSDL parses a WSDL document and outputs its structure in a human readable format.
Documentation
Download
Licensing
Contact info
Overview WS-Guard (WS-Guaranteeing Uddi Audition at Registration and Discovery) provides an implementation of the Audition Framework previously described in the deliverable 4.1. Main idea of the Audition framework is to augment the registration phase of a service within a registry with a testing phase. Registration is then guaranteed only if the service passes the testing phase. WS-Guard to derive test cases to be applied to services requires the availability behavioral models in the form of Service State Machines (SSM)
Documentation
Download
Licensing
Contact info
Overview
In the last years both industry and academia have shown a great interest in ensuring consistent cooperation for business-critical services, with contractually agreed levels of Quality of Service. Service Level Agreement specifications as well as techniques for their evaluation are nowadays irremissible assets. Puppet (Pick UP Performance Evaluation Test-bed) is an approach supported by an implementation tool for the automatic generation of test-beds to empirically evaluate the QoS features of a Web Service under development. Specifically, the generation exploits the information about the coordinating scenario, the service description (WSDL) and the specification of the agreements (WS-Agreement).
Documentation
Download
Licensing
Contact info
Overview This is an Eclipse Plugin for the creation of SLA monitors based on SLAng. The Plugin is part of the SLAng Editor developed in D2.2. The monitors are based on timed automata and exploit AXIS handlers to intercept mesages.
Documentation
Download
Licensing
Contact info
Overview
The aim if Weevil is to ease the difficulty in programming distributed experiment control scripts by generating them based on simple configuration files. It covers a two-phase experimentation process.
Weevil consists of a synthetic-workload generator coupled with an environment for managing the deployment and execution of experiments. Weevil is intended to facilitate experimentation activities for distributed systems by providing engineers with a flexible, configurable, automated and, thus, repeatable process for evaluating their software on a networked testbed. Further, Weevil is not targeted at a specific system or application model, but rather it is a generic, programmable tool. A prototype implementation of Weevil is available.
Documentation
Download
Licensing
Overview
Dynamo-AOP is a framework for monitoring functional properties of external services which a BPEL process interacts with, to realize a composite service. Its architecture is based on the dynamic aspectization of the BPEL engine executing the monitored service compositions, achieved by using AspectJ as an AOP language.
Documentation
Download
Licensing
Contact info