LTSA WS-Engineer - Imperial College London

Department of Computing

The WS-Engineer plug-in is an extension to the LTSA Eclipse Plug-in which allows service models to be described by translation of the service process descriptions, and can be used to perform model-based service engineering verification and validation.

Forum and Discussion

Help Guide

Features
Install
Examples
Videos
Related Plug-ins
Links

Factsheet (PDF 2MB)		Design checking of WS-BPEL, WS-CDL and UML2 (Sequence Charts)
		Interaction checking of collaborating WS-BPEL orchestrations
		Obligations checking of WS-BPEL orchestrations and WS-CDL choreographies
		Log Analysis of WSIF activities for service compositions
		Deployment checking of WS-BPEL and UML2/xADL2 Deployment Models
		Modes Analysis and Generation of Adaptive Service Brokering Specs

This plug-in requires the LTSA Eclipse plug-in, and can be installed as a feature from the main LTSA Eclipse Update site.

Note: The install site for LTSA Eclipse is: http://www.doc.ic.ac.uk/ltsa/eclipse/install.

•	Please see the LTSA Eclipse help guide for details of installing the core LTSA Eclipse and associated plug-ins (including WS-Engineer).

•	Additionally you may want to install some specification language tool suites.

•	There are also some Sample Files which can be used to perform analysis tutorials.

Analysis
WS-BPEL
WS-CDL
Logs
Modes
UML Profiles

Description	Types	Notations	Author(s)	Files
Complete package of examples for each type of analysis including: 1. Design (WS-BPEL and MSCs) 2. Interactions (WS-BPEL) 3. Obligations (WS-BPEL and WS-CDL) 4. Deployment (UML2/xADL/WS-BPEL) 5. Modes (UML2)		WS-BPEL WS-CDL MSCs (ITU) UML2 XMI xADL2	Howard Foster

Description	Langs.	Author(s)	Tutorial	Files
PhD Thesis Examples Verification and Validation of BPEL4WS and MSC Scenarios	bpel 1.1	Howard Foster Imperial College London
BPWS4J 1.1 Samples BPWS4J Example BPEL4WS Processes	bpel 1.1	Francisco Curbera et al. IBM Research Labs	-
BPWS4J 1.0 Samples BPWS4J Example BPEL4WS Processes	bpel 1.0	Francisco Curbera et al. IBM Research Labs	-

Description	Langs.	Author(s)	Tutorial	Files
WS-CDL 1.0 Exit Examples Examples for implementation testing	cdl 1.0	Charlton Barreto and Gary Brown WS Choreography Working Group	-
Inter-Organizational Workflows Choreography for an Annual Tax Assessment	cdl 1.0	Jan Mendling Vienna University	-

Description	Langs.	Author(s)	Tutorial	Files
Web Services Invocation Framework (WSIF) - BPWS4J Log Analysis	WSIF	Howard Foster Imperial College London	-

Description	Langs.	Author(s)	Tutorial	Files
BookPriceFinder Service Modes and Service Brokering Model. This example is based upon the BookInformationService as part of the Book Finder (OWL-S) example at MindSwap	UML2 OWL-S	Howard Foster Imperial College London
Automotive DrivingAssistance	UML2	Howard Foster Imperial College London	tbd	tbd

Description	Langs.	Author(s)	Tutorial	Files
Service Modes Architecture UML2 Profile Provides an extension to UML model for ModeModel,Collaborations,Constraints etc Includes OMG QoS Profile and UML4SOA v0.9	UML2	Howard Foster Imperial College London
Service Deployment Architecture Profiles Adds Orchestration, Servlet, Server and Resources stereotypes	UML2	Howard Foster Imperial College London
	xADL2	Howard Foster Imperial College London

		Engage: Engineering Service Modes with WS-Engineer and Dino Updated demonstration of Service Mode specifications for Service Brokering. Includes modelling, analysis, mode browsing and generation of Service Broker runtime artifacts. Video includes audio commentary. YouTube
		Service Brokering with Modes Using WS-Engineer Demonstration of Service Mode specifications for Service Brokering of In-Vehicle Services. Generates Service Brokering inputs from UML2 ModeModels and checks safety and correctness. YouTube
		WS-Engineer IC-SOC 2008 Demonstration Preview Illustrates using WS-Engineer for safety analysis of web service compositions. YouTube or download (AVI ~30MB)