Formal methods for data-centric web services: From model to implementation

Iman Saleh, Gergory Kulczycki, M. Brian Blake, Yi Wei

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE 20th International Conference on Web Services, ICWS 2013
PublisherIEEE Computer Society
Pages332-339
Number of pages8
ISBN (Print)9780768550251
DOIs
StatePublished - Jan 1 2013
Event2013 IEEE 20th International Conference on Web Services, ICWS 2013 - Santa Clara, CA, United States
Duration: Jun 27 2013Jul 2 2013

Publication series

NameProceedings - IEEE 20th International Conference on Web Services, ICWS 2013

Other

Other2013 IEEE 20th International Conference on Web Services, ICWS 2013
CountryUnited States
CitySanta Clara, CA
Period6/27/137/2/13

Keywords

  • Formal methods
  • Verification
  • Web Services

ASJC Scopus subject areas

  • Computer Networks and Communications

Fingerprint Dive into the research topics of 'Formal methods for data-centric web services: From model to implementation'. Together they form a unique fingerprint.

  • Cite this

    Saleh, I., Kulczycki, G., Blake, M. B., & Wei, Y. (2013). Formal methods for data-centric web services: From model to implementation. In Proceedings - IEEE 20th International Conference on Web Services, ICWS 2013 (pp. 332-339). [6649596] (Proceedings - IEEE 20th International Conference on Web Services, ICWS 2013). IEEE Computer Society. https://doi.org/10.1109/ICWS.2013.52