Baldamus, Michael

Bengtson, Jesper

Ferrari, Gianluigi

Raggi, Roberto

English

Open Access Repository

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits

AbstractFormal veri cation toolkits are typically of rather special and, if one compares di erent related toolkits to each other, complementary functionalities. It has therefore been proposed to integrate di erent related toolkits within common environments. The potential for such integration is a direct consequence of the very fact that formal veri cation toolkits are semantics-based in the sense that they are implementations of well-understood mathematical theories. We argue that Web services can serve as a new platform for addressing the more practical issues in connection with that: For one, service integration in general is certainly an essential ingredient of the Web service paradigm. Also, Web services promote distributed and open integration, which ts the decentralisation and dynamism of formal veri cation community. Furthermore, directory-like techniques help to tackle coordination issues in formal methods tool integration

Elsevier - Publisher Connector 

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits 

https://www.openaccessrepository.it/record/25055/files/fulltext.pdf

Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits

Abstract

Similar works

Full text

Available Versions

Open Access Repository

Elsevier - Publisher Connector