大葉大學圖書館 |

Formalizing data-centric web services[electronic resource] /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	006.76
書名/作者:	Formalizing data-centric web services/ by Iman Saleh.
作者:	Saleh, Iman.
出版者:	Cham : : Springer International Publishing :, 2015.
面頁冊數:	xiii, 131 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Web services.
標題:	Computer Science.
標題:	Programming Languages, Compilers, Interpreters.
標題:	Information Systems Applications (incl. Internet)
ISBN:	9783319246789
ISBN:	9783319246765
摘要、提要註:	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.
電子資源:	http://dx.doi.org/10.1007/978-3-319-24678-9

Formalizing data-centric web services[electronic resource] /
Saleh, Iman.

Formalizing data-centric web services[electronic resource] /by Iman Saleh. - Cham :Springer International Publishing :2015. - xiii, 131 p. :ill., digital ;24 cm. - Web-scale workflow and analytics,2365-8347. - Web-scale workflow and analytics..

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.

ISBN: 9783319246789

Standard No.: 10.1007/978-3-319-24678-9doiSubjects--Topical Terms:

338407
Web services.

LC Class. No.: TK5105.88813

Dewey Class. No.: 006.76

Formalizing data-centric web services[electronic resource] /
LDR:02329nam a2200337 a 4500 001 443858
003 DE-He213
005 20160426152622.0
006 m d
007 cr nn 008maaau
008 160715s2015 gw s 0 eng d
020 $a 9783319246789 $q (electronic bk.)
020 $a 9783319246765 $q (paper)
024 7 $a 10.1007/978-3-319-24678-9 $2 doi
035 $a 978-3-319-24678-9
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5105.88813
072 7 $a UMX $2 bicssc
072 7 $a UMC $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a COM010000 $2 bisacsh
082 0 4 $a 006.76 $2 23
090 $a TK5105.88813 $b .S163 2015
100 1 $a Saleh, Iman. $3 634918
245 1 0 $a Formalizing data-centric web services $h [electronic resource] / $c by Iman Saleh.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a xiii, 131 p. : $b ill., digital ; $c 24 cm.
490 1 $a Web-scale workflow and analytics, $x 2365-8347
520 $a 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.
650 0 $a Web services. $3 338407
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 466913
650 2 4 $a Information Systems Applications (incl. Internet) $3 463679
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Web-scale workflow and analytics. $3 634919
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-24678-9
950 $a Computer Science (Springer-11645)