Output details
11 - Computer Science and Informatics
Imperial College London
Return to search
Output 0 of 0 in the submission
Article title
An Integrated Workbench for Model-Based Engineering of Service Compositions
Type
D - Journal article
Title of journal
IEEE Transactions on Services Computing
Article number
-
Volume number
3
Issue number
2
First page of article
131
ISSN of journal
1939-1374
Year of publication
2010
URL
-
Number of additional authors
3
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
10
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-