Specification-based verification and validation of web services and service-oriented operating systems

被引：14

作者：

Tsai, WT ^{[1
]}

Chen, YN ^{[1
]}

Paul, R ^{[1
]}

机构：

[1] Arizona State Univ, Dept Comp Sci & Engn, Tempe, AZ 85287 USA

来源：

WORDS 2005: 10TH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE, PROCEEDINGS | 2005年

关键词：

web services; service composition; collaborative testing; group testing; verification;

D O I：

10.1109/WORDS.2005.51

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：139 / 147

页数：9