Skip to main content
SpringerLink
Log in
Book cover

Correct Software in Web Applications and Web Services

  • Book
  • © 2015

Overview

Editors:
  1. Bernhard Thalheim

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Klaus-Dieter Schewe

    1. Software Competence Center, Hagenberg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andreas Prinz

    1. ICT Department, University of Agder, Kristiansand, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Bruno Buchberger

    1. RISC, Johannes Kepler University, Hagenberg, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book series: Texts & Monographs in Symbolic Computation (TEXTSMONOGR)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation