Towards a goal-driven method for web service choreography validation

Saeed Parsa; Amir Ebrahimifard; Mohammad Javad Amiri; Mostafa Khoramabadi Arani

doi:10.1109/ICWR.2016.7498448

Towards a goal-driven method for web service choreography validation

Saeed Parsa
, Amir Ebrahimifard
, Mohammad Javad Amiri
, Mostafa Khoramabadi Arani

Computer Science

Iran University of Science and Technology
Sharif University of Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Scopus citations

Abstract

Nowadays web services composition that presents capabilities in response to customers' complex requirements has a special importance in real businesses. However, service choreography as a form of service composition, still faces many challenges. One of the most important challenges of the choreography domain is how to validate the model based on the corresponding requirements. To this end, in this paper processes choreographies are modeled using the interaction view of BPMN 2.0 standard. Then, goal modeling is suggested to extract the requirements. For each requirement all possible valid scenarios are considered and finally using Savara tool, the requirements' scenarios are modeled and the choreography models are validated according to the corresponding requirements.

Original language	English
Title of host publication	2016 2nd International Conference on Web Research, ICWR 2016
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	66-71
Number of pages	6
ISBN (Electronic)	9781509021666
DOIs	https://doi.org/10.1109/ICWR.2016.7498448
State	Published - Jun 22 2016
Event	2nd International Conference on Web Research, ICWR 2016 - Tehran, Iran, Islamic Republic of Duration: Apr 27 2016 → Apr 28 2016

Publication series

Name	2016 2nd International Conference on Web Research, ICWR 2016

Conference

Conference	2nd International Conference on Web Research, ICWR 2016
Country/Territory	Iran, Islamic Republic of
City	Tehran
Period	04/27/16 → 04/28/16

Keywords

business process
Choreography
Goals Model
requirement
Validation

Access to Document

10.1109/ICWR.2016.7498448

Cite this

Parsa, S., Ebrahimifard, A., Amiri, M. J., & Arani, M. K. (2016). Towards a goal-driven method for web service choreography validation. In 2016 2nd International Conference on Web Research, ICWR 2016 (pp. 66-71). Article 7498448 (2016 2nd International Conference on Web Research, ICWR 2016). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICWR.2016.7498448

@inproceedings{ef341e36b4c04112bf3ace155f1a0259,

title = "Towards a goal-driven method for web service choreography validation",

abstract = "Nowadays web services composition that presents capabilities in response to customers' complex requirements has a special importance in real businesses. However, service choreography as a form of service composition, still faces many challenges. One of the most important challenges of the choreography domain is how to validate the model based on the corresponding requirements. To this end, in this paper processes choreographies are modeled using the interaction view of BPMN 2.0 standard. Then, goal modeling is suggested to extract the requirements. For each requirement all possible valid scenarios are considered and finally using Savara tool, the requirements' scenarios are modeled and the choreography models are validated according to the corresponding requirements.",

keywords = "business process, Choreography, Goals Model, requirement, Validation",

author = "Saeed Parsa and Amir Ebrahimifard and Amiri, \{Mohammad Javad\} and Arani, \{Mostafa Khoramabadi\}",

note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 2nd International Conference on Web Research, ICWR 2016 ; Conference date: 27-04-2016 Through 28-04-2016",

year = "2016",

month = jun,

day = "22",

doi = "10.1109/ICWR.2016.7498448",

language = "English",

series = "2016 2nd International Conference on Web Research, ICWR 2016",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "66--71",

booktitle = "2016 2nd International Conference on Web Research, ICWR 2016",

}

Parsa, S, Ebrahimifard, A, Amiri, MJ & Arani, MK 2016, Towards a goal-driven method for web service choreography validation. in 2016 2nd International Conference on Web Research, ICWR 2016., 7498448, 2016 2nd International Conference on Web Research, ICWR 2016, Institute of Electrical and Electronics Engineers Inc., pp. 66-71, 2nd International Conference on Web Research, ICWR 2016, Tehran, Iran, Islamic Republic of, 04/27/16. https://doi.org/10.1109/ICWR.2016.7498448

Towards a goal-driven method for web service choreography validation. / Parsa, Saeed; Ebrahimifard, Amir; Amiri, Mohammad Javad et al.
2016 2nd International Conference on Web Research, ICWR 2016. Institute of Electrical and Electronics Engineers Inc., 2016. p. 66-71 7498448 (2016 2nd International Conference on Web Research, ICWR 2016).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Towards a goal-driven method for web service choreography validation

AU - Parsa, Saeed

AU - Ebrahimifard, Amir

AU - Amiri, Mohammad Javad

AU - Arani, Mostafa Khoramabadi

PY - 2016/6/22

Y1 - 2016/6/22

N2 - Nowadays web services composition that presents capabilities in response to customers' complex requirements has a special importance in real businesses. However, service choreography as a form of service composition, still faces many challenges. One of the most important challenges of the choreography domain is how to validate the model based on the corresponding requirements. To this end, in this paper processes choreographies are modeled using the interaction view of BPMN 2.0 standard. Then, goal modeling is suggested to extract the requirements. For each requirement all possible valid scenarios are considered and finally using Savara tool, the requirements' scenarios are modeled and the choreography models are validated according to the corresponding requirements.

AB - Nowadays web services composition that presents capabilities in response to customers' complex requirements has a special importance in real businesses. However, service choreography as a form of service composition, still faces many challenges. One of the most important challenges of the choreography domain is how to validate the model based on the corresponding requirements. To this end, in this paper processes choreographies are modeled using the interaction view of BPMN 2.0 standard. Then, goal modeling is suggested to extract the requirements. For each requirement all possible valid scenarios are considered and finally using Savara tool, the requirements' scenarios are modeled and the choreography models are validated according to the corresponding requirements.

KW - business process

KW - Choreography

KW - Goals Model

KW - requirement

KW - Validation

UR - https://www.scopus.com/pages/publications/84981303386

U2 - 10.1109/ICWR.2016.7498448

DO - 10.1109/ICWR.2016.7498448

M3 - Conference contribution

AN - SCOPUS:84981303386

T3 - 2016 2nd International Conference on Web Research, ICWR 2016

SP - 66

EP - 71

BT - 2016 2nd International Conference on Web Research, ICWR 2016

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2nd International Conference on Web Research, ICWR 2016

Y2 - 27 April 2016 through 28 April 2016

ER -

Towards a goal-driven method for web service choreography validation

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this