Formalizing Data Centric Web Services is popular PDF and ePub book, written by Iman Saleh in 2015-11-04, it is a fantastic choice for those who relish reading online the Computers genre. Let's immerse ourselves in this engaging Computers book by exploring the summary and details provided below. Remember, Formalizing Data Centric Web Services can be Read Online from any device for your convenience.
Formalizing Data Centric Web Services Book PDF Summary
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. The Web has evolved from an information sharing medium to a wide-scale environment for sharing capabilities or services. Currently, URLs not only point to documents and images, but are also used to invoke services that potentially change the state of the Web. Major online organizations today, such as Amazon, PayPal and FedEx, provide services for users and consumers. They also allow third-party vendors to resell their services. In both cases, this requires precise and complete specification of service offerings. Several online discussions demonstrate the challenges faced by these organizations and others while describing their data-centric Web services. These challenges surrounding data specification can lead consumers to use a service erroneously. Case studies demonstrate how formal methods, and specifically design-by-contract techniques, can be leveraged to address the lack of formal specification of data when it comes to developing Web applications such as Amazon and PayPal.
Detail Book of Formalizing Data Centric Web Services PDF
- Author : Iman Saleh
- Release : 04 November 2015
- Publisher : Springer
- ISBN : 9783319246789
- Genre : Computers
- Total Page : 136 pages
- Language : English
- PDF File Size : 8,7 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book Formalizing Data Centric Web Services by Iman Saleh, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.