Representing and analysing composed web services using Cress

Composite web services are defined using the industry-standard language Bpel (Business Process Execution Logic). There is a strong need for graphical and automated support for this task. It is explained how Cress (Chisel Representation Employing Systematic Specification) has been extended to meet this challenge. Cress supports straightforward graphical descriptions of composite web services. Sample descriptions are presented of these. It is outlined how they are automatically implemented and systematically analysed using the target languages Bpel and Lotos (Language Of Temporal Ordering Specification).