東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formalizing data-centric web services

Saleh, Iman.

Linked to FindBook

Google Book

Amazon

博客來

Formalizing data-centric web services

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formalizing data-centric web services/ by 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

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

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

572482
Web services.

LC Class. No.: TK5105.88813

Dewey Class. No.: 006.76

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