Data-enriched modeling and verification of WS-CDL based on UML models

Proceedings of the IEEE International Conference on Web Services, ICWS 2008

Volumn , Issue , 2008, Pages 752-753

  Pengcheng, Zhang ^a   Bixin, Li ^a   Henry, Muccini ^b   Yu, Zhou ^a   Mingjie, Sun ^a  

^a SOUTHEAST UNIVERSITY   (China)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

LINGUISTICS; SPECIFICATIONS; WEB SERVICES; WORLD WIDE WEB;

AND VERIFICATIONS; DE FACTO; INDUSTRY STANDARDS; SYSTEMATIC APPROACHES; UML DIAGRAMS; UML MODELS; UML SPECIFICATIONS; WEB SERVICE CHOREOGRAPHIES; WEB SERVICES CHOREOGRAPHY DESCRIPTION LANGUAGES;

UNIFIED MODELING LANGUAGE;

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

References (3)

1. Cadence SMV. http://www.cis.ksu.edu/santos/smv-doc/.
2. Web services choreography description language. http://www.w3.org/TR/ 2005/CR-ws-cdl-10-20051109/, 2005.
3. Object Management Group (OMG). UML 2.1.1 superstructure, 2006.