DocumentCode :
2077945
Title :
Formal methods for web services: a taxonomic approach
Author :
Chan, K. S May
Author_Institution :
Dept. of Comput. Sci., Univ. of Pretoria, Pretoria, South Africa
Volume :
2
fYear :
2010
fDate :
2-8 May 2010
Firstpage :
357
Lastpage :
360
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.
Keywords :
Web services; formal verification; Web services; formal methods; taxonomic approach; Algebra; Context; Software reliability; Taxonomy; Web services; formal methods; service development life-cycle; service verification; web application; web service;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 2010 ACM/IEEE 32nd International Conference on
Conference_Location :
Cape Town
ISSN :
0270-5257
Print_ISBN :
978-1-60558-719-6
Type :
conf
DOI :
10.1145/1810295.1810392
Filename :
6062213
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2077945
بازگشت