Correct Software in Web Applications and Web Services

1. Front Matter

   Pages i-xiv

   PDF

2. Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B

   • Idir Ait-Sadoune, Yamine Ait-Ameur

   Pages 1-27

3. Towards a Model of Services Based on Cocreation, Abstraction and Rights Distribution

   • Maria Bergholtz, Birger Andersson, Paul Johannesson

   Pages 29-44

4. Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications

   • Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel

   Pages 45-81

5. A Formal Model of Client-Cloud Interaction

   • Károly Bósa, Roxana-Maria Holom, Mircea Boris Vleju

   Pages 83-144

6. W∗H: The Conceptual Model for Services

   • Ajantha Dahanayake, Bernhard Thalheim

   Pages 145-176

7. Monitoring of Client-Cloud Interaction

   • Harald Lampesberger, Mariam Rady

   Pages 177-228

8. Formal Reliability Models for Web Services

   • Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra

   Pages 229-256

9. What Constitutes a Service on the Web?

   • Klaus-Dieter Schewe, Qing Wang

   Pages 257-292

10. Codesign of Web Information Systems

    • Bernhard Thalheim, Klaus-Dieter Schewe

    Pages 293-332

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.

• Abstract State Machines
• Automated reasoning
• Theorema
• Web Applications
• Web information systems

• Institut für Informatik, Christian-Albrechts-Universität, Kiel, Germany

  Bernhard Thalheim

• Software Competence Center, Hagenberg, Austria

  Klaus-Dieter Schewe

• ICT Department, University of Agder, Kristiansand, Norway

  Andreas Prinz

• RISC, Johannes Kepler University, Hagenberg, Austria

  Bruno Buchberger

Policies and ethics