國立虎尾科技大學 |

Formalizing Data-Centric Web Services

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formalizing Data-Centric Web Services/ by Iman Saleh.
作者:	Saleh, Iman.
面頁冊數:	XIII, 131 p.online resource. :
Contained By:	Springer Nature eBook
標題:	Programming languages (Electronic computers). -
電子資源:	https://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. - 1st ed. 2015. - XIII, 131 p.online resource. - 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:

1127615
Programming languages (Electronic computers).

LC Class. No.: QA76.7-76.73

Dewey Class. No.: 005.13

Formalizing Data-Centric Web Services
LDR:02701nam a22004215i 4500 001 966973
003 DE-He213
005 20200706075731.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319246789 $9 978-3-319-24678-9
024 7 $a 10.1007/978-3-319-24678-9 $2 doi
035 $a 978-3-319-24678-9
050 4 $a QA76.7-76.73
050 4 $a QA76.76.C65
072 7 $a UMX $2 bicssc
072 7 $a COM051010 $2 bisacsh
072 7 $a UMX $2 thema
072 7 $a UMC $2 thema
082 0 4 $a 005.13 $2 23
100 1 $a Saleh, Iman. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1069210
245 1 0 $a Formalizing Data-Centric Web Services $h [electronic resource] / $c by Iman Saleh.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XIII, 131 p. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
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 Programming languages (Electronic computers). $3 1127615
650 0 $a Application software. $3 528147
650 1 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Information Systems Applications (incl. Internet). $3 881699
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319246765
776 0 8 $i Printed edition: $z 9783319246772
776 0 8 $i Printed edition: $z 9783319368108
830 0 $a Web-Scale Workflow and Analytics, $x 2365-8347 $3 1262608
856 4 0 $u https://doi.org/10.1007/978-3-319-24678-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)