Demystifying Data-Centric Web Services

Saleh, Iman; Kulczycki, Gregory; Blake, M. Brian

doi:10.1109/mic.2009.106

Cited by 14 publications

(8 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Saleh etc. [2][3][4] propose a formal data model to describe data contract for the Web Services and to verify data related properties in the composite services. The main obstacle for these approaches is that the contracts are manually written and maintained by the developers.…”

Section: Related Workmentioning

confidence: 99%

“…Equipping the API with formal data contract helps developers better understanding the right invocation environments for an API. A series of recent works applied design-by-contract principles to support modeling, contracting, and verifying data related properties of Web services [2][3][4]. However, data contracts for real world services are usually in the form of natural language and scattered across the documentation if exist.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Inferring Data Contract for Web-Based API

Gao

Wei

Zhong

et al. 2014

2014 IEEE International Conference on Web Services

View full text Add to dashboard Cite

Web-based API is a new trend for publishing services. To correctly use the API, developers should follow certain service specifications. Data contract is a service specification to express the constraints over the data model used in the APIs. Data contracts, however are not always readily available in a formalized format if not undocumented at all. In this paper, we present an approach to infer formal data contracts for Web-based API. The approach integrates information of the parameters, error messages and testing result of Web-based API. We demonstrate how this approach infers complicated data preconditions for Web-based API in the real-world Web API platforms.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Inferring Data Contract for Web-Based API

Gao

Wei

Zhong

et al. 2014

2014 IEEE International Conference on Web Services

View full text Add to dashboard Cite

show abstract

“…The reader is referred to [3] and [4] for a detailed description of our model. The model is used to formally specify a service's interactions with its underlying source(s).…”

Section: The Data Model Templatementioning

confidence: 99%

Formal Methods for Data-centric Web Services: From Model to Implementation

Saleh

Kulczycki

Blake

et al. 2013

2013 IEEE 20th International Conference on Web Services

Self Cite

View full text Add to dashboard Cite

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.

show abstract

“…The reader is referred to (Saleh et al 2009a) and (Saleh et al 2009b) for a detailed description of our model. The model is used to formally specify a service's interactions with its underlying source(s).…”

Section: Listing 1 the Data Model Templatementioning

confidence: 99%

“…In previous work (Saleh et al 2009a) (Saleh et al 2009b) (Saleh et al 2013), we proposed a data modeling and contracting framework for data-centric Web services. Our framework formally specifies a service with respect to its interaction with the data.…”

Section: Introductionmentioning

confidence: 99%

Formal Methods for the Specification and Testing of Data‐centric Web Services: A Case Study

Saleh¹,

Kulczycki²,

Blake³

et al. 2013

STSC

Self Cite

View full text Add to dashboard Cite

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 a case study where we use our model to specify and verify data-centric Web services. We demonstrate our proposed methodology using three state-of-the-art specification languages: JML, Dafny and RESOLVE. We also explore the use of our specification to automatically generate test cases for data-centric services. 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.

show abstract

Demystifying Data-Centric Web Services

Cited by 14 publications

References 3 publications

Inferring Data Contract for Web-Based API

Inferring Data Contract for Web-Based API

Formal Methods for Data-centric Web Services: From Model to Implementation

Formal Methods for the Specification and Testing of Data‐centric Web Services: A Case Study

Contact Info

Product

Resources

About