Saleh Iman. Formalizing Data-Centric Web Services

Springer, 2015. — 136 p. — (Web-Scale Workflow and Analytics). — ISBN 3319246763.Формализация веб-сервисов, ориентированных на данныеThis book presents a methodology to model and specify the data aspect of Web services, as it is overlooked by current standards for specifying Web services. The formal specification enables verification of service behavior, and the proposed methodology is based on formal methods and design-by-contract techniques.Background
Literature Review
Modeling and Specification of a Data-Centric Web Service
Specification and Verification of a Composition of Services
Specification and Verification of Transactional Web Service Composition
Model Implementation
Evaluation Using a Deep Web Case Study
Detection of Implementation Errors Using Code Contracts
Static Detection of Implementation Errors in Data-Centric Web Services
Design-by-Contract for Web Services
Summary and Conclusions
Appendix A. The Amazon Item Search Implementation in JML14 Appendix B: A Prolog Reasoner