HOME > Detail View

Detail View

Formalizing data-centric web services [electronic resource]

Formalizing data-centric web services [electronic resource]

Material type
E-Book(소장)
Personal Author
Saleh, Iman.
Title Statement
Formalizing data-centric web services [electronic resource] / Iman Saleh.
Publication, Distribution, etc
Cham :   Springer International Publishing :   Imprint: Springer,   2015.  
Physical Medium
1 online resource (xiii, 131 p.) : ill. (some col.).
Series Statement
Web-scale workflow and analytics,2365-8347
ISBN
9783319246789
요약
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.
General Note
Title from e-Book title page.  
Bibliography, Etc. Note
Includes bibliographical references.
이용가능한 다른형태자료
Issued also as a book.  
Subject Added Entry-Topical Term
Computer science. Web services.
Short cut
URL
000 00000nam u2200205 a 4500
001 000046038677
005 20200730102256
006 m d
007 cr
008 200728s2015 sz a ob 000 0 eng d
020 ▼a 9783319246789
040 ▼a 211009 ▼c 211009 ▼d 211009
050 4 ▼a QA76.7-76.73
082 0 4 ▼a 006.76 ▼2 23
084 ▼a 006.76 ▼2 DDCK
090 ▼a 006.76
100 1 ▼a Saleh, Iman.
245 1 0 ▼a Formalizing data-centric web services ▼h [electronic resource] / ▼c Iman Saleh.
260 ▼a Cham : ▼b Springer International Publishing : ▼b Imprint: Springer, ▼c 2015.
300 ▼a 1 online resource (xiii, 131 p.) : ▼b ill. (some col.).
490 1 ▼a Web-scale workflow and analytics, ▼x 2365-8347
500 ▼a Title from e-Book title page.
504 ▼a Includes bibliographical references.
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.
530 ▼a Issued also as a book.
538 ▼a Mode of access: World Wide Web.
650 0 ▼a Computer science.
650 0 ▼a Web services.
830 0 ▼a Web-scale workflow and analytics.
856 4 0 ▼u https://oca.korea.ac.kr/link.n2s?url=http://dx.doi.org/10.1007/978-3-319-24678-9
945 ▼a KLPA
991 ▼a E-Book(소장)

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/e-Book Collection/ Call Number CR 006.76 Accession No. E14028566 Availability Loan can not(reference room) Due Date Make a Reservation Service M

New Arrivals Books in Related Fields

딥노이드. 교육팀 (2021)
Patterson, Josh (2022)