Conformance verification between Web service choreography and implementation using learning and model checking

Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011

Volumn , Issue , 2011, Pages 272-273

  Pacharoen, Warawoot ^a   Aoki, Toshiaki ^b   Surarerks, Athasit ^a   Bhattarakosol, Pattarasinee ^a  

^a CHULALONGKORN UNIVERSITY   (Thailand)

^b JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

Choreography; Conformance verification; Learning algorithm; Model checking; Web service composition

Indexed keywords

LEARNING ALGORITHMS; WEB SERVICES; WEBSITES;

BLACK BOXES; CHOREOGRAPHY; CONFORMANCE VERIFICATION; EXTERNAL BEHAVIOR; MACHINE MODELLING; MEALY MACHINES; MODELS CHECKING; STATEFUL WEB SERVICES; WEB SERVICE CHOREOGRAPHY; WEB SERVICE COMPOSITION;

MODEL CHECKING;

EID: 80053156347     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2011.113     Document Type: Conference Paper

References (6)

1. J. Li, H. Zhu, and G. Pu, "Conformance validation between choreography and orchestration." In Proc. of TASE 2007, IEEE Computer Society Press, pp. 473-482, 2007. (Pubitemid 47447906)
2. R. Kazhamiakin, and M. Pistore, "Choreography conformance analysis: asynchronous communications and information alignment.", WS-FM 2006, LNCS 4184, Springer, pp. 227-241, 2006. (Pubitemid 44849762)
3. W. L. Yeung, "Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of Web services." In Proc. of 4th IEEE European Conference on Web Services (ECOWS'06), pp. 297-305, 2006. (Pubitemid 351164942)
4. M. Shahbaz, and R. Groz, "Inferring Mealy machines." In FM 2009, LNCS 5850, Springer, pp. 207-222, 2009.
5. J. Magee, and J. Kramer, Concurrency: state models & Java programs, John Wiley & Sons, 2006.
6. W. Pacharoen, T. Aoki, A. Surarerks, and P. Bhattarakosol, "Verifying Conformance between Web Service Choreography and Implementation using Learning and Model Checking.", to be published.