Representing and analysing composed web services using CRESS

Citation

Turner KJ (2007) Representing and analysing composed web services using CRESS. Journal of Network and Computer Applications, 30 (2), pp. 541-562. https://doi.org/10.1016/j.jnca.2006.02.001

Abstract
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).

Keywords
BUSINESS; challenge; description; language; Languages; Logic; LOTOS; NEED; representation; SAMPLE; service; services; support; TASK; WEB services

Journal
Journal of Network and Computer Applications: Volume 30, Issue 2

People

Professor KEN Turner

Emeritus Professor, Computing Science