Specification and Verification of Data-Centric Web Services

Saleh, Iman

doi:10.1109/services.2010.16

Cited by 3 publications

(3 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the following sections, we discuss parts of the implementation of the PayPal Express Checkout composition using the Dafny, JML and RESOLVE languages. The complete implementations can be found in [22]. We have also made an attempt to implement the modules using Spec#, however, Spec# does not provide constructs for user-defined theory types and hence we could not define our data model.…”

Section: A Requirementsmentioning

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

Section: A Requirementsmentioning

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

show abstract

“…The complete implementations can be found in (Saleh 2012). We have also made an attempt to implement the modules using Spec#, however, Spec# does not provide constructs for user-defined theory types and hence we could not define our data model.…”

Section: Requirementsmentioning

confidence: 99%

“…The RESOLVE Concept definition is shown in Listing 7. The complete code can be found in (Saleh 2012).…”

Section: Resolvementioning

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

Risk Assessment and Monitoring in Intelligent Data-Centric Systems

Iacono

Marrone

2018

Security and Resilience in Intelligent Data-Centric Systems and Communication Networks

View full text Add to dashboard Cite

Specification and Verification of Data-Centric Web Services

Cited by 3 publications

References 6 publications

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

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

Risk Assessment and Monitoring in Intelligent Data-Centric Systems

Contact Info

Product

Resources

About