3 search results - page 1 / 1 » Cooperative and Group Testing in Verification of Dynamic Com... |
COMPSAC
2004
IEEE
13 years 10 months ago
2004
IEEE
Verifying Web Services (WS) in a dynamic Service Oriented Architecture (SOA) is challenging because new services can be composed at runtime using existing WS. Furthermore, in a co...
KBSE
2003
IEEE
14 years 2 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
IASTEDSEA
2004
13 years 8 months ago
2004
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...