Model-based methods for linking web service choreography and orchestration

In recent years, many Web service composition languages have been proposed. Web service choreography describes collaboration protocols of cooperating Web service participants from a global view. Web service orchestration describes collaboration of the Web services in predefined patterns based on loc...

Full description

Saved in:
Bibliographic Details
Main Authors: SUN, Jun, LIU, Yang, DONG, Jin Song, PU, Geguang, TAN, Tian Huat
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2010
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/5033
https://ink.library.smu.edu.sg/context/sis_research/article/6036/viewcontent/model_based.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
id sg-smu-ink.sis_research-6036
record_format dspace
spelling sg-smu-ink.sis_research-60362020-03-12T08:37:26Z Model-based methods for linking web service choreography and orchestration SUN, Jun LIU, Yang DONG, Jin Song PU, Geguang TAN, Tian Huat In recent years, many Web service composition languages have been proposed. Web service choreography describes collaboration protocols of cooperating Web service participants from a global view. Web service orchestration describes collaboration of the Web services in predefined patterns based on local decision about their interactions with one another at the message/execution level. In this work, we present model-based methods to close the gap between the two views. Building on the strength of model checking techniques, Web service choreography and orchestration are verified against temporal properties or against each other (to show that they are consistent). Specialized optimization techniques are developed to handle large Web service models. Furthermore, we propose a method to mechanically synthesize a prototype Web service orchestration from choreography, by repairing the choreography if necessary and projecting relevant behaviors to each service provider. 2010-03-12T08:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/5033 info:doi/10.1109/APSEC.2010.28 https://ink.library.smu.edu.sg/context/sis_research/article/6036/viewcontent/model_based.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University Software Engineering
institution Singapore Management University
building SMU Libraries
continent Asia
country Singapore
Singapore
content_provider SMU Libraries
collection InK@SMU
language English
topic Software Engineering
spellingShingle Software Engineering
SUN, Jun
LIU, Yang
DONG, Jin Song
PU, Geguang
TAN, Tian Huat
Model-based methods for linking web service choreography and orchestration
description In recent years, many Web service composition languages have been proposed. Web service choreography describes collaboration protocols of cooperating Web service participants from a global view. Web service orchestration describes collaboration of the Web services in predefined patterns based on local decision about their interactions with one another at the message/execution level. In this work, we present model-based methods to close the gap between the two views. Building on the strength of model checking techniques, Web service choreography and orchestration are verified against temporal properties or against each other (to show that they are consistent). Specialized optimization techniques are developed to handle large Web service models. Furthermore, we propose a method to mechanically synthesize a prototype Web service orchestration from choreography, by repairing the choreography if necessary and projecting relevant behaviors to each service provider.
format text
author SUN, Jun
LIU, Yang
DONG, Jin Song
PU, Geguang
TAN, Tian Huat
author_facet SUN, Jun
LIU, Yang
DONG, Jin Song
PU, Geguang
TAN, Tian Huat
author_sort SUN, Jun
title Model-based methods for linking web service choreography and orchestration
title_short Model-based methods for linking web service choreography and orchestration
title_full Model-based methods for linking web service choreography and orchestration
title_fullStr Model-based methods for linking web service choreography and orchestration
title_full_unstemmed Model-based methods for linking web service choreography and orchestration
title_sort model-based methods for linking web service choreography and orchestration
publisher Institutional Knowledge at Singapore Management University
publishDate 2010
url https://ink.library.smu.edu.sg/sis_research/5033
https://ink.library.smu.edu.sg/context/sis_research/article/6036/viewcontent/model_based.pdf
_version_ 1770575194778238976