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

Authors:
Michael Baldamus;Jesper Bengtson;Gianluigi Ferrari;Roberto Raggi
Affiliations:
Department of Information Technology, Uppsala University, Sweden;Department of Information Technology, Uppsala University, Sweden;Dipartimento di Informatica, Universita di Pisa, Italy;Trolltech AS, Oslo, Norway
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2004

Citing 8
Cited 2

The concurrency workbench: a semantics-based tool for the verification of concurrent systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
A calculus of mobile processes, II

Information and Computation
The FC2TOOLS Set

AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
The Mobility Workbench - A Tool for the pi-Calculus

CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
XDuce: A statically typed XML processing language

ACM Transactions on Internet Technology (TOIT)
A model-checking verification environment for mobile processes

ACM Transactions on Software Engineering and Methodology (TOSEM)
TQL: a query language for semistructured data based on the ambient logic

Mathematical Structures in Computer Science
Web Services Are Not Distributed Objects

IEEE Internet Computing

Controversy Corner: A new research agenda for tool integration

Journal of Systems and Software
A service-oriented reference architecture for software testing tools

ECSA'11 Proceedings of the 5th European conference on Software architecture

Quantified Score

Hi-index	0.00

Visualization

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.