Demonstration Sessions

DEMONSTRATION SESSIONS

Service Composition: Assisting the Engineer and the Apprentice
Howard Foster (Imperial College London)

The talk and demonstrations will illustrate a rigorous approach to the engineering of services for service-oriented architectures and in particular, web service compositions. We use formal model checking techniques to cover aspects of architecture, orchestration, choreography and deployment configurations for service compositions. A demonstration will illustrate our techniques using an Eclipse based tool, known as WS-Engineer. WS-Engineer is based upon the Labelled Transition System Analyser (LTSA) and provides mechanisms to assist engineers in developing service compositions. The tool has also been adopted as part of academic courses in the teaching aspects of a services science. The talk is based on work in London Software Systems a grouping that includes academics at Imperial College London (the speaker, Jeff Magee, Jeff Kramer and Sebastian Uchitel) and at University College London (Wolfgang Emmerich, Anthony Finkelstein and David Rosenblum).

Semi-automatic Process Designer for cross-organisational Business Process Integration
Andreas Friesen (SAP Research)

The Semi-automatic Process Designer enables semi-automatic generation of executable business process adapters for cross-organizational integration scenarios. The aim of this tool is to automate the technical process integration in cross-organizational scenarios as far as possible. In the ideal case, the technical integration can be done by a business consultant by relying solely on the capabilities of the visual environment provided by the semi-automatic process designer.
Process Designer consists of four main components: CBP Selection & Discovery Tool, Composition Goal Editor, Automatic Process Composer and BPEL Generator. Process classification taxonomies, collaborative business process (CBP) templates and public process views that constitute the process facet of the FUSION Ontology are used by the CBP Selection & Discovery Tool for discovery of semantically-annotated public web service interfaces of the business partners to be involved in the integration scenario. Composition Goal Editor takes the web service descriptions as input and enables the user to define the data flow and the desired final execution states (composition goal) to be achieved by the integration. The Automatic Process Composer attempts to generate a valid workflow orchestrating the web services of the involved business partners according to the requirements defined in the Composition Goal Editor. In the case of success, executable BPEL file is generated and can be deployed.