An approach for verification in service-oriented computing

Proceedings - 2008 IEEE Congress on Services, SERVICES 2008

Volumn PART 1, Issue , 2008, Pages 575-582

  Soo, Ho Chang ^a   Fang, Fang Chua ^b   Soo, Dong Kim ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MULTIMEDIA UNIVERSITY   (Malaysia)

^c Soongsil University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; PROGRAMMABLE LOGIC CONTROLLERS; TECHNOLOGY;

CASE STUDIES; COMPUTING PARADIGMS; CONCEPTUAL FRAMEWORKS; ENGINEERING ACTIVITIES; FORMAL FRAMEWORK; OBJECT ORIENTED PARADIGMS; PROCESS MODELLING; SERVICE COMPOSITIONS; SERVICE PROVIDERS; SERVICE-ORIENTED COMPUTING; SERVICE-ORIENTED DEVELOPMENT; SOFTWARE-QUALITY; VERIFICATION FRAMEWORK; VERIFICATION METHODS;

VERIFICATION;

EID: 52049092949     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERVICES-1.2008.50     Document Type: Conference Paper

References (10)

1. J. McKusker, "Applying Independent Verification & Validation to a Service-Oriented Architecture," Mcdonald Bradley, Inc., November 7, 2006.
2. W.T. Tsai, et.al., "Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture," Proceedings of the Sixth International Conference on Quality Services (QSIC'06), 2006.
3. M. Rouached, et. al., "Towards Formal Verification of Web Service Composition," Proceedings of the Forth International Conference on Business Process Managament (BPM '06), 2006.
4. Y.P. Yang, et.al., "Verifying Web Services Composition Based on Hierarchical Colored Petri Nets," Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems, 2005, pp. 47-54.
5. http://en.wikipedia.org/wiki/System
6. Zimmermann, O., Elements of Service-Oriented Analysis and Design, IBM Developerworks, 2004.
7. Arsanjani, A., Service-Oriented Modeling and Architecture, IBM Developerworks, 2004.
8. Erl, T., Service-Oriented Architecture: Concepts, Technology, and Design, Prentice Hall, 2005.
9. Erradi, A., et.al.., "SOAF: An Architectural Framework for Service Definition and Realization," On the proceedings of IEEE international conference on services computing (SCC'06), IEEE, 2006.
10. Chang, S. and Kim, S., "A SOAD Approach to to Developing Adaptable Services," IEEE International Conference on Services Computing (SCC 2007),2007.