Formal methods for web services: a taxonomic approach

Authors:
K. S. May Chan
Affiliations:
University of Pretoria, Pretoria, South Africa
Venue:
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Year:
2010

Citing 5
Cited 0

Ten Commandments of Formal Methods

Computer
Formal Concept Analysis: Foundations and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Formal Concept Analysis: Foundations and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Service-oriented design and development methodology

International Journal of Web Engineering and Technology
Embedding continuous lifelong verification in service life cycles

PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Formal methods: Practice and experience

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Formal methods can be used to verify different perspective of a Web service. An ensemble of specific techniques is not supported by a general approach to the problem. To understand which formal method should be combined and used is a challenge. This paper outlines our approach to address this problem.