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 -