@inproceedings{6cc01f9b02d049b18c7702e4255a70f7,
title = "Specification-based verification and validation of web services and service-oriented operating systems",
abstract = "Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperability, but the trustworthy issues of WS has actually limited the growth of WS applications as organizations do not trust those WS developed by other vendors and at the same time they do not have access to the source code. This paper addressed this issue by proposing several solutions including specification-based, verification and validation, collaborative testing, and group testing. The key concept is that it is possible to provide a comprehensive evaluation of WS even if their source code is not available.",
keywords = "Collaborative testing, Group testing, Service composition, Verification, Web services",
author = "Tsai, {Wei Tek} and Yinong Chen and Ray Paul",
year = "2005",
month = nov,
day = "10",
doi = "10.1109/WORDS.2005.51",
language = "English (US)",
isbn = "0769523471",
series = "Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS",
pages = "139--147",
booktitle = "Proceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005",
note = "10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 ; Conference date: 02-02-2005 Through 04-02-2005",
}