โ Scribed by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger (eds.)
No coin nor oath required. For personal study only.
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.
Front Matter....Pages i-xiv
Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B....Pages 1-27
Towards a Model of Services Based on Cocreation, Abstraction and Rights Distribution....Pages 29-44
Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications....Pages 45-81
A Formal Model of Client-Cloud Interaction....Pages 83-144
WโH: The Conceptual Model for Services....Pages 145-176
Monitoring of Client-Cloud Interaction....Pages 177-228
Formal Reliability Models for Web Services....Pages 229-256
What Constitutes a Service on the Web?....Pages 257-292
Codesign of Web Information Systems....Pages 293-332
Software Engineering/Programming and Operating Systems; Mathematical Applications in Computer Science; Algorithms
๐ SIMILAR VOLUMES
Since its early days as an information exchange tool limited to academe, researchers, and the military, the web has grown into a commerce engine that is now omnipresent in all facets of our lifes. More websites are created daily and more applications are developed to allow users to learn, research,
Since its early days as an information exchange tool limited to academe, researchers, and the military, the web has grown into a commerce engine that is now omnipresent in all facets of our lifes. More websites are created daily and more applications are developed to allow users to learn, research,
<p><P>This book constitutes the first volume of a series of books focusing on the vital and ever-growing field of web semantics. The primary aim of the series is to investigate, present and promote core concepts, ideas and exemplary technologies for the next generation of semantic web research, stem
<p><P>This book constitutes the first volume of a series of books focusing on the vital and ever-growing field of web semantics. The primary aim of the series is to investigate, present and promote core concepts, ideas and exemplary technologies for the next generation of semantic web research, stem