Towards the verification of services collaboration

Yue Xie; Dehui Du; Jing Liu; Zuohua Ding

doi:10.1109/COMPSAC.2009.171

Towards the verification of services collaboration

Yue Xie, Dehui Du, Jing Liu^*, Zuohua Ding

^*Corresponding author for this work

Software Engineering Institute

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

Abstract

Assuring the consistency between collaborative services is a challenge problem in service oriented architecture. In this paper, we propose an approach to verifying the consistency of collaborative services based upon model checking. We first introduce an Extended UML Sequence Diagram for modeling dynamic behavior of collaborative service combining with UML StateChart Diagram. And then we define Collaboration-Contracts and obtain the verification model from the dynamic behavior models. Finally, we can automatically verify the consistency of collaborative services in behavior models by using an integrated SPIN-binding modeling tool Trustable MDA we developed to, In addition, a user-friendly service simulator is provided to locate the position of inconsistency.

Original language	English
Title of host publication	Proceedings - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009
Pages	428-433
Number of pages	6
DOIs	https://doi.org/10.1109/COMPSAC.2009.171
State	Published - 2009
Event	2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009 - Seattle, WA, United States Duration: 20 Jul 2009 → 24 Jul 2009

Publication series

Name	Proceedings - International Computer Software and Applications Conference
Volume	2
ISSN (Print)	0730-3157

Conference

Conference	2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009
Country/Territory	United States
City	Seattle, WA
Period	20/07/09 → 24/07/09

Access to Document

10.1109/COMPSAC.2009.171

Cite this

@inproceedings{3ba74d24fa0a45878e4d7aaee05d1a91,

title = "Towards the verification of services collaboration",

abstract = "Assuring the consistency between collaborative services is a challenge problem in service oriented architecture. In this paper, we propose an approach to verifying the consistency of collaborative services based upon model checking. We first introduce an Extended UML Sequence Diagram for modeling dynamic behavior of collaborative service combining with UML StateChart Diagram. And then we define Collaboration-Contracts and obtain the verification model from the dynamic behavior models. Finally, we can automatically verify the consistency of collaborative services in behavior models by using an integrated SPIN-binding modeling tool Trustable MDA we developed to, In addition, a user-friendly service simulator is provided to locate the position of inconsistency.",

author = "Yue Xie and Dehui Du and Jing Liu and Zuohua Ding",

year = "2009",

doi = "10.1109/COMPSAC.2009.171",

language = "英语",

isbn = "9780769537269",

series = "Proceedings - International Computer Software and Applications Conference",

pages = "428--433",

booktitle = "Proceedings - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009",

note = "2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009 ; Conference date: 20-07-2009 Through 24-07-2009",

}

Xie, Y, Du, D , Liu, J & Ding, Z 2009, Towards the verification of services collaboration. in Proceedings - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009., 5254064, Proceedings - International Computer Software and Applications Conference, vol. 2, pp. 428-433, 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, WA, United States, 20/07/09. https://doi.org/10.1109/COMPSAC.2009.171

Towards the verification of services collaboration. / Xie, Yue; Du, Dehui ; Liu, Jing et al.
Proceedings - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009. 2009. p. 428-433 5254064 (Proceedings - International Computer Software and Applications Conference; Vol. 2).

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

TY - GEN

T1 - Towards the verification of services collaboration

AU - Xie, Yue

AU - Du, Dehui

AU - Liu, Jing

AU - Ding, Zuohua

PY - 2009

Y1 - 2009

N2 - Assuring the consistency between collaborative services is a challenge problem in service oriented architecture. In this paper, we propose an approach to verifying the consistency of collaborative services based upon model checking. We first introduce an Extended UML Sequence Diagram for modeling dynamic behavior of collaborative service combining with UML StateChart Diagram. And then we define Collaboration-Contracts and obtain the verification model from the dynamic behavior models. Finally, we can automatically verify the consistency of collaborative services in behavior models by using an integrated SPIN-binding modeling tool Trustable MDA we developed to, In addition, a user-friendly service simulator is provided to locate the position of inconsistency.

AB - Assuring the consistency between collaborative services is a challenge problem in service oriented architecture. In this paper, we propose an approach to verifying the consistency of collaborative services based upon model checking. We first introduce an Extended UML Sequence Diagram for modeling dynamic behavior of collaborative service combining with UML StateChart Diagram. And then we define Collaboration-Contracts and obtain the verification model from the dynamic behavior models. Finally, we can automatically verify the consistency of collaborative services in behavior models by using an integrated SPIN-binding modeling tool Trustable MDA we developed to, In addition, a user-friendly service simulator is provided to locate the position of inconsistency.

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

U2 - 10.1109/COMPSAC.2009.171

DO - 10.1109/COMPSAC.2009.171

M3 - 会议稿件

AN - SCOPUS:70449626277

SN - 9780769537269

T3 - Proceedings - International Computer Software and Applications Conference

SP - 428

EP - 433

BT - Proceedings - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009

T2 - 2009 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009

Y2 - 20 July 2009 through 24 July 2009

ER -

Towards the verification of services collaboration

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this