國立高雄大學圖資館 |

Language: English

Back

Formalizing data-centric web services

Saleh, Iman.

Formalizing data-centric web services

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formalizing data-centric web servicesby Iman Saleh.
Author:	Saleh, Iman.
Published:	Cham :Springer International Publishing :2015.
Description:	xiii, 131 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Web services.
Online resource:	http://dx.doi.org/10.1007/978-3-319-24678-9
ISBN:	9783319246789$q(electronic bk.)

Formalizing data-centric web services
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$q(electronic bk.)

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

214966
Web services.

LC Class. No.: TK5105.88813

Dewey Class. No.: 006.76

Formalizing data-centric web services
LDR:02329nmm a2200337 a 4500 001 476528
003 DE-He213
005 20160426152622.0
006 m d
007 cr nn 008maaau
008 160526s2015 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 731197
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 214966
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Information Systems Applications (incl. Internet) $3 530743
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Web-scale workflow and analytics. $3 731198
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-24678-9
950 $a Computer Science (Springer-11645)