Paper Info
Title
Towards a Formal Verification Approach for Implementation of Web Services Specifications
Abstract
The implementation of Web services specifications is the key issue of Web services container which is the infrastructure of SOC. The specifications are always depicted in natural language, which may lead to misunderstanding or ambiguity. In this situation, the implementations of the same specification by different containers will re-introduce interoperability which is supposedly addressed by Web services. These may lead to the reliability problems among upper applications. Currently, formal methods is a precise mathematic way to model the specifications and verify the correctness of the properties. To solve the issues, first, we introduce an XML programming language called SODL (Service-Oriented Description Language) to describe the implementation of specifications. Then, using SODL, we describe the message processing logic according to specifications and implement a Web services container. Furthermore, the logic described in SODL can be converted to automata, by which lots of tools can be applied to verify the properties of container according to the specifications.
Year
DOI
Venue
2010
10.1109/APSCC.2010.14
APSCC
Keywords
Field
DocType
formal verification approach,open systems,programming languages,web services specifications,programming language,web services specification,xml,web services,natural language,key issue,message processing logic,sodl,container,verification,specification,xml programming language,soc,service-oriented description language,different container,formal methods,formal method,web service,web services container,formal specification,formal verification,protocols,automata,simple object access protocol,engines
Programming language,Computer science,Correctness,WS-I Basic Profile,Formal specification,Implementation,SOAP,Formal methods,Web service,Formal verification
Conference
ISBN
Citations 
PageRank 
978-1-4244-9396-8
2
0.38
References 
Authors
8
4
Name
Order
Citations
PageRank
Qing Yang161.56
Dianfu Ma218130.51
Yongwang Zhao39225.04
Zhuqing Li4215.10