Formalizing Data-Centric Web Services

• Κύριος συγγραφέας: Saleh, Iman (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Έκδοση: 1st ed. 2015.
• Σειρά: Web-Scale Workflow and Analytics,
• Θέματα: Computer science.; Programming languages (Electronic computers).; Computer Science.; Programming Languages, Compilers, Interpreters.; Information Systems Applications (incl. Internet).

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-contra...