Formalizing data-centric web services. (2015)

• Record Type: Book
• Further Information: Note: Iman Saleh.
• Authors: Saleh, Iman
• Contents: Dedication; Preface; Acknowledgment; Contents; Chapter 1: Introduction; 1.1 Background; 1.2 Observations; 1.3 Scope of the Work; 1.4 Evaluations; 1.5 Outline; Chapter 2: Background; 2.1 Web Services; 2.2 Formal Methods; 2.2.1 Lightweight Versus Heavyweight Specification; 2.2.2 Symbolic Reasoning; 2.3 Transaction Basics; Chapter 3: Literature Review; 3.1 Modeling and Specification of Web Services; 3.2 Modeling and Specification of Data-Centric Processes; 3.3 Transaction Management Protocols for Web Services; 3.4 Formal Specification and Verification of Data-Centric Web Services. Chapter 4: Modeling and Specification of a Data-Centric Web Service4.1 Generic Data Model; 4.2 Example: Amazon's Item Search Service; Chapter 5: Specification and Verification of a Composition of Services; 5.1 Problem Description and Assumptions; 5.2 Proposed Methodology; 5.3 Case Study: PayPal's Express Checkout Flow; 5.3.1 Problem Description and Assumptions; 5.3.2 Data Modeling; 5.4 Data Contract; 5.5 Specification of Service Composition; 5.6 Proofs and Verification of Correctness; 5.7 Conclusions; Chapter 6: Specification and Verification of Transactional Web Service Composition. 6.1 Background6.2 Proposed Methodology; 6.3 Case Study: An E-Commerce Application Scenario; 6.3.1 Problem Description and Assumptions; 6.3.2 Data Modeling and Services Contracts; 6.3.3 Transaction Specification; 6.3.4 Verification of Data Integrity Properties; 6.4 Conclusions; Chapter 7: Model Implementation; 7.1 The Specification Language; 7.2 Implementation Modules; 7.3 Dafny; 7.3.1 The Language Design; 7.3.2 Implementation Details; 7.3.2.1 Module (1): The Data Model; 7.3.2.2 Module (2): Individual Service Contracts; 7.3.2.3 Module (3): The Global Contract; 7.3.3 Verification Results. 7.4 The Java Modeling Language7.4.1 The Language Design; 7.4.2 Implementation Details; 7.4.2.1 Module (1): The Data Model; 7.4.2.2 Module (2): Individual Service Contracts; 7.4.2.3 Module (3): The Global Contract; 7.4.3 Verification Results; 7.5 RESOLVE; 7.5.1 The Language Design; 7.5.2 Implementation Details; 7.5.3 Verification Results; 7.6 Analysis and Discussion; 7.6.1 Language Constructs; 7.6.2 Verification Process; 7.6.3 Tools; 7.6.4 Learning Curve; 7.7 Conclusions; Chapter 8: Evaluation Using a Deep Web Case Study; 8.1 Experiment Description; 8.2 Methodology; 8.3 Independent Variable. 8.4 Dependent Variable8.5 Results and Analysis; Chapter 9: Static Detection of Implementation Errors Using Code Contracts; 9.1 Experiment Description; 9.1.1 Non-null Types; 9.1.2 Method Contracts; 9.1.3 Class Contracts; 9.1.4 Loop Invariants; 9.1.5 Assertions; 9.2 Data Set; 9.3 Methodology; 9.4 Independent Variable; 9.5 Depended Variable; 9.6 Results and Analysis; 9.6.1 Mutation Score; 9.6.2 Observations; 9.6.3 Verification Time; 9.6.4 Validity Discussion; 9.6.4.1 Internal Validity; 9.6.4.2 External Validity; 9.7 Conclusions.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Copyright Date: 2015
• Extent: 1 online resource (xiii, 131 pages), color illustrations
• Subjects: 006.76; Computer science; Web services; COMPUTERS -- General; Web services; Computers -- Information Technology; Information retrieval; Computers -- Programming Languages -- General; Programming & scripting languages: general; Electronic books
• Languages: English
• ISBNs: 9783319246789
• Related ISBNs: 331924678X; 9783319246765; 3319246763
• Notes: Note: Includes bibliographical references (pages 127-131).; Note: Online resource; title from PDF title page (EBSCO, viewed December 3, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.