Article

Representing and analysing composed web services using CRESS

Details

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

StatusPublished
Publication date30/04/2007
Publication date online06/03/2006
PublisherACADEMIC PRESS LTD, ELSEVIER SCIENCE LTD
Place of publicationLONDON, ENGLAND
ISSN1084-8045

People (1)

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science