You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Imperial College London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Imperial College London

Return to search Previous output Next output

Output 33 of 201 in the submission

Article title

An Integrated Workbench for Model-Based Engineering of Service Compositions

Type

D - Journal article

DOI

10.1109/TSC.2010.19

Title of journal

IEEE Transactions on Services Computing

Article number

Volume number

Issue number

First page of article

131

ISSN of journal

1939-1374

Year of publication

2010

URL

Number of additional authors

Additional information

<09> This paper was one of the first to provide a comprehensive semantics for a practical workflow language such as WS-BPEL together with a comprehensive integrated workbench for the verification and validation of service compositions, including Service Engineer, a plug-in for the popular LTSA verification tool (www.fosterevolution.net/index.php/toolssection.html).

Interdisciplinary

Cross-referral requested

Research group

B - Distributed Software Engineering

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract