Seung-Hak Kuk, Yong-Jin Seo, Hyeon-Soo Kim, Journal of Internet Computing and Services, Vol. 13, No. 1, pp. 83-98, Feb. 2012
10.7472/jksii.2012.13.1.83, Full Text:
Keywords: Service Oriented Architecture, Web Services Composition, Choreography, Software Test

Abstract

Recently Web services and SOA(Service Oriented Architecture) is widely used for an effective integration way of distributed applications. The service choreography is a way of service compositions to define workflows and the message exchange protocols among several partner ser-vices in the B2B business process environment. It defines the overall business process from a global perspective. However, it must be transformed into some kind of the executable form to implement service compositions, because it does not support an execution mechanism but is a de-clarative form. Therefore, the transformed executable model must be validated with the original choreography model to guarantee behavior equivalence. In this paper, we propose the conformity assessment with respect to service compositions method between the choreography model and the transformed executable model. And we suggest the test method to show behavior equivalence between them from a viewpoint of the dynamic execution.

Statistics
Cite this article