Formalizing Data-Centric Web Services

Book Name: Formalizing Data-Centric Web Services
Author: Iman Saleh
Publisher: Springer International Publishing
ISBN-10: 3319246763
Year: 2015
Pages: 148
Language: English
File size: 5.99 MB
File format: PDF

Formalizing Data-Centric Web Services Pdf Book Description:

This publication presents a method to model and define the information aspect of internet services, since it’s overlooked by present standards for specifying services. The proper specification allows verification of support behaviour, and the suggested methodology relies on formal procedures and design-by-contract practices. The Internet has evolved from a data sharing medium to some wide-scale atmosphere for sharing services or capabilities. Presently, URLs not simply point to images and documents, but can also be utilized to invoke services which possibly alter the condition of the internet.

In addition they allow third-party sellers to market their services. In both situations, this requires precise and complete supply of support offerings. Several online discussions reveal that the challenges faced by these organizations and many others while describing their own data-centric online services. These challenges surrounding information specification may lead consumers to utilize a service wrongly. Case studies demonstrate how proper procedures, and especially design-by-contract methods, can be leveraged to address the dearth of proper specification of information as soon as it comes to developing Internet applications like Amazon and PayPal.