Paper Info
Title
Formal Methods for Data-centric Web Services: From Model to Implementation
Abstract
Web services allow organizations to capture their human and software-based capabilities as modular software components that are called remotely over a network. In such service-oriented settings, it is important to establish an agreement that sets the obligations of the service provider and the expectations of the service consumer. Since traditional approaches such as Service Level Agreements (SLAs) are loosely defined with respect to data integrity aspects, in previous work, we proposed a formal model for specifying data-centric Web services. The goal is to formally and unambiguously specify the service behavior in terms of its underlying data model and data interactions. In this paper, we present our model and our effort in specifying and verifying data-centric Web services using three state-of-the-art specification languages: JML, Dafny and RESOLVE. Our goal is to study the feasibility of our proposed model and also to pinpoint the challenges and limitations of current specification and verification tools.
Year
DOI
Venue
2013
10.1109/ICWS.2013.52
ICWS
Keywords
Field
DocType
data-centric web services,data integrity aspect,underlying data model,data interaction,service consumer,formal methods,service behavior,web service,service provider,data-centric web service,formal model,formal specification,formal verification,web services
Computer science,Formal specification,Service provider,Formal methods,Component-based software engineering,Web service,Data model,Database,WS-Policy,Formal verification
Conference
Citations 
PageRank 
References 
2
0.38
18
Authors
4
Name
Order
Citations
PageRank
Iman Saleh112612.50
Gergory Kulczycki220.38
M. Brian Blake396788.96
Yi Wei41659.89