Article
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
Status | Published |
---|---|
Publication date | 30/04/2007 |
Publication date online | 06/03/2006 |
Publisher | ACADEMIC PRESS LTD, ELSEVIER SCIENCE LTD |
Place of publication | LONDON, ENGLAND |
ISSN | 1084-8045 |
People (1)
Emeritus Professor, Computing Science