Verification on the WEB
Ferrari G., Gnesi S., Montanari U., Raggi R., Trentanni G., Tuosto E.
Verification tools Model checking Equivalence tools
Web services allow the components of applications to be highly decentralized, dynamically reconfigurable. Moreover, Web services can interoperate easily inside an eterogeneous network environment. The vast majority of current available verification environments have been built by sticking to traditional architectural styles. Hence, they are centralized and none of them deal with interoperability and dynamic reconfigurability. In this paper we present a verification toolkit whose design and implementation exploit the Web service architectural paradigm. We describe the architectural design and the discuss in detail the current implementation efforts.
Source: ISTI Technical reports, 2002
Back to previous page
@techreport{oai:it.cnr:prodotti:160635,
title = {Verification on the WEB},
author = {Ferrari G. and Gnesi S. and Montanari U. and Raggi R. and Trentanni G. and Tuosto E.},
institution = {ISTI Technical reports, 2002},
year = {2002}
}
0000-0002-0139-0421