Verification framework for dynamic collaborative services in service-oriented architecture

Proceedings - International Conference on Quality Software

Volumn , Issue , 2006, Pages 313-320

  Tsai, W T ^a   Huang, Qian ^a   Xiao, Bingnan ^a   Chen, Yinong ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SYSTEMS; COMPUTER SIMULATION; MODEL CHECKING; SOFTWARE ARCHITECTURE;

COLLABORATIVE SERVICES; PROCESS SPECIFICATION; SERVICE ORIENTED ARCHITECTURE (SOA);

COMPUTER SUPPORTED COOPERATIVE WORK;

EID: 34250750693     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2006.66     Document Type: Conference Paper

References (14)

1. Xiaoying Bai, Guilan Dai, Dezheng Xu, W. T. Tsai, A Multi-Agent Based Framework for Collaborative Testing on Web Services. IEEE International Workshop on Collaborative Computing, Integration, and Assurance (WCCIA), April 2006, pp. 205-210.
2. X. Fu, T. Bultan, and J. Su, "Formal Verification of E-Services and Workflows," Proc. Workshop on Web Services, E-Business, and the Semantic Web (WES), LNCS 2512, Springer-Verlag, 2002, pp. 188-202.
3. DARPA: OWL-S: http://www.daml.org/services/owl-s/
4. Intel: Service-Oriented Enterprise, The Technology Path to Business Transformation, http://www.intel.com/ business/bss/technologies/soe/ soe_backgrounder.pdf
5. Nickolas Kavantzas, David Burdett, Tony Fletcher, Yves Lafon, "Web Services Choreography Description Language (WS-CDL)", Version 1.0, W3C Working Draft 17 Dec. 2004. http://www.w3.org/TR/ws-cdl-10/
6. Frank Leymann, Web Services Flow Language, Version 1.0, May 2001. http://www-306.ibm.com/software/ solution s/web service s/pdf/WSFL.pdf
7. OASIS: ebXML: http://www.ebxml.org/
8. OASIS: Business Process Execution Language for Web Services (BPEL4WS), 2003. http://xml.coverpages.org/ bpel4ws.html
9. R. Paul, "DoD Towards Software Services", Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 05), February 2005, pp. 3-6.
10. M. P. Singh, M. N. Huhns, Service-Oriented Computing, John Wiley& Sons, 2005.
11. th International Command and Control Research and Technology Symposium (ICCRTS), 2005.
12. W.T. Tsai, C. Fan, Y. Chen, R. Paul, DDSOS: A Dynamic Distributed Service-Oriented Simulation Framework, in Proceedings of 39th Annual Simulation Symposium (ANSS), Huntsville, AL, April 2006, pp. 160-167.
13. W. T. Tsai, X. Liu, Y. Chen and R. Paul, "Simulation Verification and Validation by Dynamic Policy Enforcement", Proc. of Annual Simulation Symposium, 2005, pp. 91-98.
14. O. Zimmermann, Sven Milinski, M. Craes, F. Oellermann, "Second Generation Web Services-Oriented Architecture in Production in the Finance Industry", OOPSLA'04, Oct. Vancouver, 2004