Bernhard Thalheim

Klaus-Dieter Schewe

Bruno Buchberger

Andreas Prinz

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.

Correct Software in Web Applications and Web Services

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Semantics in Data and Knolwedge Bases, SDKB 2008, held in Nantes, France, on March 29, 2008. The 6 revised full papers presented together with 4 invited papers and a survey on the state of the art in the field, were carefully reviewed and selected for inclusion in the book. The SDKB workshop presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory and other mathematical theories of semantics for database and knowledge bases, computational linguistics and semiotics, and information and knowledge-based systems.

Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers

Semantics in Data and Knowledge Bases

Xiaofang Zhou

A Min Tjoa

Stephen W. Liddle

This two volume set LNCS 7446 and LNCS 7447 constitutes the refereed proceedings of the 23rd International Conference on Database and Expert Systems Applications, DEXA 2012, held in Vienna, Austria, September 3-6, 2012. The 49 revised full papers presented together with 37 short papers and 2 keynote talks were carefully reviewed and selected from 179 submissions. These papers discuss a range of topics including: database query processing, in particular XML queries; labelling of XML documents; computational efficiency, data extraction; personalization, preferences, and ranking; security and privacy; database schema evaluation and evolution; semantic Web; privacy and provenance; data mining; data streaming; distributed systems; searching and query answering; structuring, compression and optimization; failure, fault analysis, and uncertainty; predication, extraction, and annotation; ranking and personalisation; database partitioning and performance measurement; recommendation and prediction systems; business processes; social networking.

23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012, Proceedings, Part II

Database and Expert Systems Applications

Michael Butler

Atif Mashkoor

Miklos Biro

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Neeraj Kumar Singh

This book constitutes the refereed proceedings of the 9th International Conference on Model and Data Engineering, MEDI 2019, held in Toulouse, France, in October 2019. The 11 full papers and 7 short papers presented in this book were carefully reviewed and selected from 41 submissions. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems.

9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings

Model and Data Engineering

Tania Cerquitelli

Mirjana Ivanović

Barbara Catania

Ajantha Dahanayake

Mārīte Kirikova

Petr Šaloun

Elena Baralis

Pietro Michiardi

This book constitutes the thoroughly refereed short papers, workshops and Doctoral Consortium papers of the 20th East European Conference on Advances in Databases and Information Systems, ADBIS 2016, held in Prague, Czech Republic, in August 2016. The 11 short papers and one historical paper were carefully selected and reviewed from 85 submissions. The rest of papers was selected from reviewing processes of 2 workshops and Doctoral Consortium. The papers are organized in topical sections on ADBIS Short Papers, Third International Workshop on Big Data Applications and Principles (BigDap 2016), Second International Workshop on Data Centered Smart Applications (DCSA 2016) and ADBIS Doctoral Consortium.

ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings

New Trends in Databases and Information Systems

X. Sean Wang

James Bailey

David Maier

This book constitutes the proceedings of the 9th International Conference on Web Information Systems Engineering, WISE 2008, held in Auckland, New Zealand, in September 2008. The 17 revised full papers and 14 revised short papers presented together with two keynote talks were carefully reviewed and selected from around 110 submissions. The papers are organized in topical sections on grid computing and peer-to-peer systems; Web mining; rich Web user interfaces; semantic Web; Web information retrieval; Web data integration; queries and peer-to-peer systems; and Web services.

9th International Conference, Auckland, New Zealand, September 1-3, 2008, Proceedings

Web Information Systems Engineering - WISE 2008

This book constitutes the refereed proceedings of the First International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2000, held in Burg, Germany, in February 2000. The 14 revised full papers and four short papers were carefully reviewed and selected from a total of 45 submissions. Among the topics addressed are logical foundations and semantics of datamodels, dependency theory, integrity and security, temporal aspects, foundations of information systems design including Web-based information services, and query languages and optimization.

First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings

Foundations of Information and Knowledge Systems

Abdelkader Hameurlain

This book constitutes the refereed proceedings of the 22 International Conference on Database and Expert Systems Applications, DEXA 2011, held in Toulouse, France, August 29 - September 2, 2011. The 52 revised full papers and 40 short papers presented were carefully reviewed and selected from 207 submissions. The papers are organized in topical sections on query processing; database semantics; skyline queries; security and privacy; spatial and temporal data; semantic web search; storage and search; web search; data integration, transactions and optimization; and web applications.

22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings, Part I

This book constitutes the refereed proceedings of the 22 International Conference on Database and Expert Systems Applications, DEXA 2011, held in Toulouse, France, August 29 - September 2, 2011. The 52 revised full papers and 40 short papers presented were carefully reviewed and selected from 207 submissions. The papers are organized in topical sections on XML querying and views; data mining; queries and search; semantic web; information retrieval; business applications; user support; indexing; queries, views and data warehouses; ontologies; physical aspects of databases; Design; distribution; miscellaneous topics.

22nd International Conference, DEXA 2011, Bilbao, Spain, August 29 - September 2, 2011, Proceedings

This book describes the research of the authors over more than a decade on an end-to-end methodology for the design and development of Web Information Systems (WIS). It covers syntactics, semantics and pragmatics of WIS, introduces sophisticated concepts for conceptual modelling, provides integrated foundations for all these concepts and integrates them into the co-design method for systematic WIS development. WIS, i.e. data-intensive information systems that are realized in a way that arbitrary users can access them via web browsers, constitute a prominent class of information systems, for which acceptance by its a priori unknown users in varying contexts with respect to the presented content, the ease of functionality provided and the attraction of the layout adds novel challenges for modelling, design and development. This book is structured into four parts. Part I, Web Information Systems - General Aspects, gives a general introduction to WIS describing the challenges for their development, and provides a characterization by six decisive aspects: intention, usage, content, functionality, context and presentation. Part II, High-Level WIS Design - Strategic Analysis and Usage Modelling with Storyboarding, introduces methods for high-level design of WIS covering strategic aspects and the storyboarding method, which is discussed from syntactic, semantic and pragmatic perspectives. Part III, Conceptual WIS Design - Rigorous Modelling of Web Information Systems and their Layout with Web Interaction Types and Screenography, continues with conceptual design of WIS including layout and playout. This introduces the decisive web interaction types, the screenography method and adaptation aspects. The final Part IV, Rationale of the Co-Design Methodology and Systematic Development of Web Information Systems, describes the co-design method for WIS development and its application for the systematic engineering of systems. The book addresses the research community, and at the same time can be used for education of graduate students and as methodological support for professional WIS developers. For the WIS research community it provides methods for WIS modelling on all levels of abstraction including theoretical foundations and inference mechanisms as well as a sophisticated end-to-end methodology for systematic WIS engineering from requirements elicitation over conceptual modelling to aspects of implementation, layout and playout. For students and professional developers the book can be used as a whole for educational courses on WIS design and development, as well as for more specific courses on conceptual modelling of WIS, WIS foundations and reasoning, co-design and WIS engineering or WIS layout and playout development.

Design and Development of Web Information Systems

22nd International Conference, DEXA 2011, Bilbao, Spain, August 29 - September 2, 2011, Proceedings, Part II

Gyula O.H. Katona

Leopoldo Bertossi

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001. The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, and semantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data.

Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers

Semantics in Databases

Alexander Raschke

Elvinia Riccobene

This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.

Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Logic, Computation and Rigorous Methods

Thomas Eiter

This volume contains the papers presented at the “Second International S- posium on Foundations of Information and Knowledge Systems” (FoIKS 2002), which was held in Schloß Salzau, Germany from February 20th to 23rd, 2002. FoIKS is a biennial event focusing on theoretical foundations of information and knowledge systems. It aims to bring together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical ?elds such as discrete mathematics, c- binatorics, logics, and ?nite model theory who are interested in applying their theories to research on database and knowledge base theory. FoIKS took up the tradition of the conference series “Mathematical Fundamentals of Database S- tems” (MFDBS) which enabled East-West collaboration in the ?eld of database theory. The ?rst FoIKS symposium was held in Burg, Spreewald (Germany) in 2000. Former MFDBS conferences were held in Dresden (Germany) in 1987, Visegr ́ ad (Hungary) in 1989, and in Rostock (Germany) in 1991. Proceedings of these previous events were published by Springer-Verlag as volumes 305, 364, 495, and 1762 of the LNCS series. In addition the FoIKS symposium is intended to be a forum for intensive d- cussions. For this reason the time slot of long and short contributions is 60 and 30 minutes respectively, followed by 30 and 15 minutes for discussions, respectively. Furthermore, participants are asked in advance to prepare as correspondents to a contribution of another author. There are also special sessions for the pres- tation and discussion of open research problems.

Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings

This book describes the research of the authors over more than a decade on an end-to-end methodology for the design and development of Web Information Systems (WIS). It covers syntactics, semantics and pragmatics of WIS, introduces sophisticated concepts for conceptual modelling, provides integrated foundations for all these concepts and integrates them into the co-design method for systematic WIS development. WIS, i.e. data-intensive information systems that are realized in a way that arbitrary users can access them via web browsers, constitute a prominent class of information systems, for which acceptance by its a priori unknown users in varying contexts with respect to the presented content, the ease of functionality provided and the attraction of the layout adds novel challenges for modelling, design and development. This book is structured into four parts. Part I, Web Information Systems – General Aspects, gives a general introduction to WIS describing the challenges for their development, and provides a characterization by six decisive aspects: intention, usage, content, functionality, context and presentation. Part II, High-Level WIS Design – Strategic Analysis and Usage Modelling with Storyboarding, introduces methods for high-level design of WIS covering strategic aspects and the storyboarding method, which is discussed from syntactic, semantic and pragmatic perspectives. Part III, Conceptual WIS Design – Rigorous Modelling of Web Information Systems and their Layout with Web Interaction Types and Screenography, continues with conceptual design of WIS including layout and playout. This introduces the decisive web interaction types, the screenography method and adaptation aspects. The final Part IV, Rationale of the Co-Design Methodology and Systematic Development of Web Information Systems, describes the co-design method for WIS development and its application for the systematic engineering of systems. The book addresses the research community, and at the same time can be used for education of graduate students and as methodological support for professional WIS developers. For the WIS research community it provides methods for WIS modelling on all levels of abstraction including theoretical foundations and inference mechanisms as well as a sophisticated end-to-end methodology for systematic WIS engineering from requirements elicitation over conceptual modelling to aspects of implementation, layout and playout. For students and professional developers the book can be used as a whole for educational courses on WIS design and development, as well as for more specific courses on conceptual modelling of WIS, WIS foundations and reasoning, co-design and WIS engineering or WIS layout and playout development.

Klaus-Dieter Schewe

Books

Your next favorite book is out there