Web service choreography conformance verification in M2M systems through the piX-model

2007 IEEE International Conference on Pervasive Services, ICPS

Volumn , Issue , 2007, Pages 385-390

  Van Seghbroeck, Gregory ^a   De Turck, Filip ^a   Dhoedt, Bart ^a   Demeester, Piet ^a  

^a GHENT UNIVERSITY   (Belgium)

Author keywords

Conformance verification; M2M; Web service choreography

Indexed keywords

CHLORINE COMPOUNDS; INFORMATION SERVICES; MOBILE DEVICES; SEMANTIC WEB; TELECOMMUNICATION EQUIPMENT;

CONFORMANCE VERIFICATION; CRITICAL BUSINESS; INTELLIGENT DEVICES; INTERNATIONAL CONFERENCES; M2M; MEMORY USAGE; PERVASIVE ENVIRONMENTS; PERVASIVE SERVICES; RESOURCE-LIMITED DEVICES; SMART PHONES; VERIFICATION METHODS; WEB SERVICE CHOREOGRAPHY;

UBIQUITOUS COMPUTING;

EID: 52249093088     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PERSER.2007.4283944     Document Type: Conference Paper

References (10)

1. G. Haokmann, M. Haitjema, C. Gill, and G-C Roman, "Sliver: A BPEL workflow process execution engine for mobile devices'", In Proc. of ICSOC, LNCS 4294, pp. 503-508, 2006.
2. R. Milner, J. Parrow, and D. Walker, "A Calculus of Mobile Processes, Part I/II", Journal of Information and Computation, 100:1-77, September 1992.
3. X. Zhao, H. Yang, and Q. Zongyan, "Towards the Formal Model and Verification of Web Service Choreography Description Language", In Proc. of WS-FM, LNCS 4184, pp. 273-287, 2006.
4. Gerard J. Holzmann, "The SPIN Model Checker: Primer and Reference Manual", Addison-Wesley, 2003.
5. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "LTSA-WS: a tool for model-based verification of web service compositions and choreography", In Proc. of ICSE, ACM 2006, pp. 771-774.
6. M. Carbone, K. Honda, N. Yoshida, and R. Milner, "A Theoretical Basis of Communication-Centered Concurrent Programming", WCD-Working Note, 2006.
7. M. Pistore, and D. Sangiorgi, "A Partition Refinement Algorithm for the π-calculus", In Proc. of CAV, LNCS 1102, pp. 38-49, 1996.
8. W3C WS-CDL Working Group, "Web services choreography description language version 1.0", W3C Candidate Recommendation 2005, http://www.w3.org/TR/2005/CR-ws-odl-10-20051109/.
9. Web Service Choreography Working Group, "Web Service Choreography Description Language", W3C Candidate Recommendation, 9 November 2005, http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/
10. R. Paige, and R.E. Tarjan, "Three Partition Refinement Algorithms", SIAM Journal on Computing 16(6), pp. 973-989, 1987.