Description
Correct Software in Web Applications and Web Services, 2015
Texts & Monographs in Symbolic Computation Series
Language: EnglishSubjects for Correct Software in Web Applications and Web Services:
Publication date: 10-2016
Support: Print on demand
Publication date: 06-2015
332 p. · 15.5x23.5 cm · Hardback
Description
/li>Contents
/li>Comment
/li>
Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights Distribution.- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications.- A Formal Model of Client-Cloud Interaction.- W*H: The Conceptual Model for Services.- Monitoring of Client-Cloud Interaction.- Formal Reliability Models for Web Services.- What Constitutes a Service on the Web?.- Co-Design of Web Information Systems.
The book identifies correctness problems in web applications and how these can be solved by formalized software engineering methods
New software tools are presented
This volume constitutes selected and extended papers of a European Science Foundation (ESF) strategic Workshop.