04344nam 22007335 450 991029925240332120200706072244.03-319-17112-710.1007/978-3-319-17112-8(CKB)3710000000434132(EBL)2120556(OCoLC)911037352(SSID)ssj0001525189(PQKBManifestationID)11869201(PQKBTitleCode)TC0001525189(PQKBWorkID)11485259(PQKB)10364388(DE-He213)978-3-319-17112-8(MiAaPQ)EBC2120556(PPN)186400993(EXLCZ)99371000000043413220150612d2015 u| 0engur|n|---|||||txtccrCorrect Software in Web Applications and Web Services /edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (345 p.)Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,0943-853XDescription based upon print version of record.3-319-17111-9 Includes bibliographical references.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 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.Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,0943-853XSoftware engineeringComputer science—MathematicsComputer mathematicsAlgorithmsSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Mathematical Applications in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/M13110Algorithmshttps://scigraph.springernature.com/ontologies/product-market-codes/M14018Software engineering.Computer science—Mathematics.Computer mathematics.Algorithms.Software Engineering/Programming and Operating Systems.Mathematical Applications in Computer Science.Algorithms.004004.0151005.1518.1Thalheim Bernhardedthttp://id.loc.gov/vocabulary/relators/edtSchewe Klaus-Dieteredthttp://id.loc.gov/vocabulary/relators/edtPrinz Andreasedthttp://id.loc.gov/vocabulary/relators/edtBuchberger Brunoedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910299252403321Correct Software in Web Applications and Web Services2512531UNINA