| Welcome |
 | Getting Started |
| Introduction |
| Installation |
| The WS-Engineer Environment |
| The WS-Engineer Perspective |
| The WS-Engineer View |
| WS-Engineer Preferences |
| Tutorials |
| Working with WS-Engineer |
| WS-BPEL and Eclipse BPEL Editor |
| WS-BPEL and LTSA-BPEL Editor |
| WS-CDL and LTSA-WSCDL Editor |
| Design Analysis |
| Overview |
| Preparation |
| Tutorial: Verifying Design and WS-BPEL |
| Options |
| Behaviour Mappings |
| Further Reading |
| Interactions Analysis |
| Overview |
| Preparation |
| Tutorial: Interaction Analysis |
| Further Reading |
| Obligations Analysis |
| Overview |
| Preparation |
| Tutorial: Obligations Analysis |
| Options |
| Further Reading |
| Deployment Analysis |
| Overview |
| Preparation |
| Create a xADL2 Service Deployment Architecture |
| Create a UML2 Service Deployment Architecture |
| Tutorial: Deployment Analysis |
| Further Reading |
| Modes |
| Overview |
| Preparation |
| Create a Service Mode Model Project |
| Create A Default Service ModeCollaboration |
| Exporting a Modes Package |
| Examples: Service Brokering |
| bookPriceFinder |
| DrivingAssitance |
| Modes Analysis |
| Tutorial: Modes Analysis |
| Further Reading |
| Preferences |
| WS-Engineer Preferences |
| WS-BPEL Preferences |
| WS-CDL Preferences |
| Appendix |
| Short cuts |
| Glossary and Acronyms |
© 2009 Imperial College London