國立虎尾科技大學 |

Formalizing data-centric web services

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formalizing data-centric web services/ by Iman Saleh.
作者:	Saleh, Iman.
出版者:	Cham :Imprint: Springer, : 2015.,
面頁冊數:	xiii, 131 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Information Systems Applications (incl. Internet) -
電子資源:	http://dx.doi.org/10.1007/978-3-319-24678-9
ISBN:	9783319246789

Formalizing data-centric web services
Saleh, Iman.

Formalizing data-centric web services[electronic resource] /by Iman Saleh. - Cham :Imprint: Springer,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:

815116
Information Systems Applications (incl. Internet)

LC Class. No.: TK5105.88813

Dewey Class. No.: 006.76

Formalizing data-centric web services
LDR:02329nam a2200337 a 4500 001 838201
003 DE-He213
005 20160426152622.0
006 m d
007 cr nn 008maaau
008 160616s2015 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 1069210
245 1 0 $a Formalizing data-centric web services $h [electronic resource] / $c by Iman Saleh.
260 $a Cham : $c 2015. $b Imprint: Springer, $b Springer International Publishing :
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 2 4 $a Information Systems Applications (incl. Internet) $3 815116
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 1 4 $a Computer Science. $3 593922
650 0 $a Web services. $3 557469
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Web-scale workflow and analytics. $3 1069211
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-24678-9
950 $a Computer Science (Springer-11645)