코레어그래피 기반 웹 서비스 조합의 구현 적합성 평가 및 테스트 방법 = Conformity Assessment and Test Method for Implementation of Web Services Compositions based on Choreography

다국어 초록 (Multilingual 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.

참고문헌 (Reference)

1 π4 Technologies Foundation, "pi4soa2.1.0.GA"

2 C. Peltz, "Web services orchestration and choreography" 36 (36): 46-52, 2003

3 W3C, "Web Services Choreography DescriptionLanguage Version 1.0"

4 OASIS, "Web Services Business Process Executionanguage Version 2.0"

5 w3c, "Web Services Architecture"

6 P. Mayer, "Towards a BPEL unit testingframework, In In TAV-WEB ’06: Proceedings ofWorkshop on Testing, analysis, and verification ofweb services and applications" ACM Press 33-42, 2006

7 A. Bertolino, "The audition framework fortesting web services interoperability" 134-142, 2005

8 M. P. Papazoglou, "Service-Oriented Computing" 46 (46): 25-28, 2003

9 H. Huang, "Automated model checking andtesting for composite web services" 300-307, 2005

10 Y. Yuan, "A graph-search based approach tobpel4ws test generation" IEEE Computer Society 2006