Affordable Access

Publisher Website

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

Authors
Journal
Electronic Notes in Theoretical Computer Science
1571-0661
Publisher
Elsevier
Publication Date
Volume
105
Identifiers
DOI: 10.1016/j.entcs.2004.02.024
Keywords
  • Web Services
  • Tool Integration
  • Formal Veri Cation
  • Distribution
  • Coordination
Disciplines
  • Linguistics
  • Mathematics

Abstract

Abstract Formal 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.

There are no comments yet on this publication. Be the first to share your thoughts.