Conceptual modeling is about describing the semantics of software applications at a high level of abstraction in terms of structure, behavior, and user interaction.

Embley and Thalheim start with a manifesto stating that the dream of developing information systems strictly by conceptual modeling as expressed in the phrase the model is the code is becoming reality. The subsequent contributions written by leading researchers in the field support the manifesto's assertions, showing not only how to abstractly model complex information systems but also how to formalize abstract specifications in ways that let developers complete programming tasks within the conceptual model itself. They are grouped into sections on programming with conceptual models, structure modeling, process modeling, user interface modeling, and special challenge areas such as conceptual geometric modeling, information integration, and biological conceptual modeling.

The Handbook of Conceptual Modeling collects in a single volume many of the best conceptual-modeling ideas, techniques, and practices as well as the challenges that drive research in the field. Thus it is much more than a traditional handbook for advanced professionals, as it also provides both a firm foundation for the field of conceptual modeling, and points researchers and graduate students towards interesting challenges and paths for how to contribute to this fundamental field of computer science.

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.

Database technology and entity-relationship (ER) modeling have meanwhile reached the level of an established technology. This book presents the achievements of research in this field in a comprehensive survey. It deals with the entity-relationship model and its extensions with regard to an integrated development and modeling of database applications and, consequently, the specification of structures, behavior and interaction. Apart from research on the ER model and the syntax, semantics, and pragmatics of database modeling the book also presents techniques for the translation of the ER model into classical database models and languages such as relational, hierarchical, and network models and languages, and also into object-oriented models. The book is of interest for all database theoreticians as well as practitioners who are provided with the relevant foundations of database modeling.

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.

This book constitutes the thoroughly refereed short papers, workshops and doctoral consortium papers of the 22th European Conference on Advances in Databases and Information Systems, ADBIS 2018, held in Budapest, Hungary, in September 2018. The 20 full and the 4 short workshop papers as well as the 3 doctoral consortium papers were carefully reviewed and selected from 54 submissions to the workshops and 6 submissions to the doctoral consortium. Furthermore, there are 10 short papers included, which were accepted for the main conference. The papers are organized according to the 6 workshops and the doctoral consortium: ADBIS 2018 short papers; First Workshop on Advances on Big Data Management, Analytics, Data Privacy and Security, BigDataMAPS 2018; First International Workshop on New Frontiers on Meta-data Management and Usage, M2U 2018; First Citizen Science Applications and Citizen Databases Workshop, CSADB 2018; First International Workshop on Articial Intelligence for Question Answering, AI*QA 2018; First International Workshop on BIG Data Storage, Processing and Mining for Personalized MEDicine, BIGPMED 2018; First Workshop on Current Trends in Contemporary Information Systems and Their Architectures, ISTREND 2018; Doctoral Consortium.

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.

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.

Conceptual modeling is about describing the semantics of software applications at a high level of abstraction in terms of structure, behavior, and user interaction. Embley and Thalheim start with a manifesto stating that the dream of developing information systems strictly by conceptual modeling - as expressed in the phrase "the model is the code" - is becoming reality. The subsequent contributions written by leading researchers in the field support the manifesto's assertions, showing not only how to abstractly model complex information systems but also how to formalize abstract specifications in ways that let developers complete programming tasks within the conceptual model itself. They are grouped into sections on programming with conceptual models, structure modeling, process modeling, user interface modeling, and special challenge areas such as conceptual geometric modeling, information integration, and biological conceptual modeling. The Handbook of Conceptual Modeling collects in a single volume many of the best conceptual-modeling ideas, techniques, and practices as well as the challenges that drive research in the field. Thus it is much more than a traditional handbook for advanced professionals, as it also provides both a firm foundation for the field of conceptual modeling, and points researchers and graduate students towards interesting challenges and paths for how to contribute to this fundamental field of computer science.

This book constitutes the workshop proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The volume contains papers from 4 workshops, each focusing on hot topics related to database systems and applications: the Second International Workshop on Big Data Management and Analytics, BDMA 2014; the Third International Workshop on Data Management for Emerging Network Infrastructure, DaMEN 2014; the Third International Workshop on Spatial Information Modeling, Management and Mining, SIM(3) 2014, and the DASFAA Workshop on Uncertain and Crowdsourced Data, UnCrowd 2014.

These two volumes set LNCS 8421 and LNCS 8422 constitutes the refereed proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The 62 revised full papers presented together with 1 extended abstract paper, 4 industrial papers, 6 demo presentations, 3 tutorials and 1 panel paper were carefully reviewed and selected from a total of 257 submissions. The papers cover the following topics: big data management, indexing and query processing, graph data management, spatio-temporal data management, database for emerging hardware, data mining, probabilistic and uncertain data management, web and social data management, security, privacy and trust, keyword search, data stream management and data quality.

These two volumes set LNCS 8421 and LNCS 8422 constitutes the refereed proceedings of the 19th International Conference on Database Systems for Advanced Applications, DASFAA 2014, held in Bali, Indonesia, in April 2014. The 62 revised full papers presented together with 1 extended abstract paper, 4 industrial papers, 6 demo presentations, 3 tutorials and 1 panel paper were carefully reviewed and selected from a total of 257 submissions. The papers cover the following topics: big data management, indexing and query processing, graph data management, spatio-temporal data management, database for emerging hardware, data mining, probabilistic and uncertain data management, web and social data management, security, privacy and trust, keyword search, data stream management and data quality.

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2011, held in July 2011 in Zurich, Switzerland. The 8 revised full papers presented were carefully selected from numerous submissions covering topics of formal models for data and knowledge bases, integrity constraints maintenance and dependency theory, formal methods for data and knowledge base design, reasoning about data and knowledge base dynamics, adaptivity for personalised data and knowledge bases view-centered data- and knowledge-intensive systems, information integration in data and knowledge bases, knowledge discovery in data and knowledge bases, validation and verification of data and knowledge base designs, formal linguistics for data and knowledge bases, logical and mathematical foundations of semantics, semantics in data- and knowledge-intensive applications.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Semantics in Data and Knowledge Bases, SDKB 2010, held in Bordeaux, France in July 2010. The 6 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed and selected during two rounds of revision and improvement. The papers reflect a variety of approaches to semantics in data and knowledge bases.

This book is a comprehensive presentation of entity-relationship (ER) modeling with regard to an integrated development and modeling of database applications. It comprehensively surveys the achievements of research in this field and deals with the ER model and its extensions. In addition, the book presents techniques for the translation of the ER model into classical database models and languages, such as relational, hierarchical, and network models and languages, as well as into object-oriented models.

This volume comprises selected papers of the Third International Workshop on Semanticsin Data and KnowledgeBases, which wascollacatedwith EDBT 2008 and was organized in Nantes on March 29, 2008. The ?rst two workshops "- mantics in Databases" took place in Re? z, Czech Republic in 1995 and Dagstuhl, Germany, 2001. The workshops have had post-proceedings of selected papers given at the workshop. We invited the best papers of the workshop to submit a revised version of their paper. These revisions have been reviewed for the- nal proceedings. The proceedings of the ?rst two workshops were published by Springer in the LNCS series, volumes 1358 and 2582.The SDKB 2008 workshop call for papers led to 19 submissions, which were reviewed by 4 reviewers. We selected six of the papers given at the SDKB 2008 workshop. We - ditionally invited four papers that round up the proceedings. Furthermore, we added a survey on the state of the art in the ?eld. The SDKB workshopseries tries to bring together researchersin the areas of data and knowledge bases who work on aspects of semantics. In particular, the workshoppresents originalcontributions 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.

WISE 2008 was held in Auckland, New Zealand, during September 1-3, at The Auckland University ofTechnology City Campus Conference Centre. The aim of this conferencewasto providean internationalforum for researchers, professi- als, and industrial practitioners to share their knowledge in the rapidly growing area of Web technologies, methodologies, and applications. Previous WISE c- ferences wereheld in Hong Kong, China (2000), Kyoto, Japan (2001), Singapore (2002), Rome, Italy (2003), Brisbane, Australia (2004), New York, USA (2005), Wuhan, China (2006) and Nancy, France (2007). The call for papers created considerable interest. Around 110 paper s- missions were received and the international Program Committee selected 31 papers out of the 110 submissions (an acceptance rate of 28. 2%). Of these, 17 papers were chosen for standard presentation and the remaining 14 papers for short presentation. The authors of the accepted papers range across 13 co- tries: Australia, China, Germany, Greece, Italy, Japan, Korea, New Zealand, Poland, Singapore, Spain, Switzerland and the USA. The technical track of the WISE 2008 program o?ered nine paper presentation sessions. The selected - pers covered a wide and important variety of issues in Web information systems engineering such as querying; search; ranking; trust; peer-to-peer networks; - formation ?ltering; information integration; agents and mining. A few selected papers from WISE 2008 will be published in a special issue of the World Wide Web Journal, bySpringer. Inaddition, a $1000prizewasawardedto the authors ofthepaperselectedforthe"YahikoKambayashiBestPaperAward. "Wethank all authors who submitted their papers and the Program Committee members andexternalreviewersfor their excellent work.

This book constitutes the refereed proceedings of the 26th International Conference on Conceptual Modeling, ER 2007, held in Auckland, New Zealand, in November 2007.

The 37 revised full papers presented together with 3 keynote lectures were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on data warehousing and data mining, design methodologies and tools, information and database integration, information modelling concepts and ontologies, integrity constraints, logical foundations of conceptual modelling, patterns and conceptual meta-modelling, requirements elicitation, reuse and reengineering, semi-structured data and XML, as well as Web information systems and XML.

Abstract state machines (ASM) sharpen the Church-Turing thesis by the c- sideration of bounded resources for computing devices. They view computations as an evolution of a state. It has been shown that all known models of com- tation can be expressed through speci?c abstract state machines. These models can be given in a representation-independent way. That is one advantage of transferring these models to ASM. The main advantage is, however, to provide a unifying theory to all of these models. At the same time ASM can be re?ned to other ASMs. Stepwise re?nement supports separation of concern during so- ware development and will support component-based construction of systems thus providing a foundation of new computational paradigms such as industrial programming, programming-in-the-large, and programming-in-the-world. ASM 2004 continued the success story of the ASM workshops. Previous workshops were held in the following European cities: Taormina, Italy (2003); Dagstuhl, Germany (2002); Las Palmas de Gran Canaria, Spain (2001); Monte Verita, Switherland (2000); Toulouse, France (1999); Magdeburg, Germany (1998); Cannes, France (1998, 1997); Paderborn, Germany (1996); and H- burg, Germany (1994). The ASM workshops have had predecessors, e.g., the famous Lipari Summer School in 1993, whose in?uential outcome was the f- damental Lipari Guide.

This volume contains 29 submitted and 2 invited papers presented at the tenth East-European Conference on Advances in Databases and Information Systems (ADVIS 2003), which took place in Dresden, Germany, September 3 6, 2003. An international program committee of 42 members from 24 countries s- ected these contributions from 86 submissions. Eight additional contributions were selected as short papers and have been published in a separate volume of local proceedings by the organizing institution. For the ?rst time, ADBIS also included an industrial program consisting of nine submitted presentations by representatives of commercial companies active in the database market. ADBIS 2003 was the tenth scienti?c event taking place under the acronym ADBIS, and thus marks a ?rst jubilee for this young, but by now we- established, seriesofconferences. ADBISwasfoundedbytheMoscowACMSIG- MOD Chapter in 1993. In 1994 1996 ADBIS was held in the form of workshops organized by the MOSCOW ACM SIGMOD Chapter in collaboration with the RussianFoundationforBasicResearch. Inthisperiod, anumberofinternational guests were invited to Moscow every year in order to improve and consolidate contacts between the national research community in Russia and the research community worldwide. International program committees for ADBIS were es- blished in 1995, contributing to the quality of the selection process and thus of the conference contributions in general. In 1996, following discussions with Dr."

  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.

This volume constitutes the refereed proceedings of two workshops held during the 19th International Conference on Conceptual Modeling, ER 2000, in Salt Lake City, Utah, USA in October 2000.The 15 revised full papers presented were carefully reviewed and selected from 36 submissions. The two workshops focused on Conceptual Modeling Approaches for E-Business, eCOMO 2000, and on The World Wide Web and Conceptual Modeling, WCM 2000. The papers are organized in topical sections on modeling approaches, modeling e-business processes and workflow markets, Web application modeling, and managing and querying Web data and metadata.

This volume presents the refereed proceedings of the East-European Conference on Advances in Databases and Information Systems and of the International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, held jointly in Prague, Czech Republic in September 2000.The 27 revised papers presented together with one invited paper and the abstract of an invited talk were carefully reviewed and selected from 115 submissions. The papers present new results on a variety of current issues in database research and design with a certain emphasis on advanced applications in various fields.

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.

This volume contains a collection of selected papers presented at the Symposium on Conceptual Modeling, which was held in Los Angeles, California, on December 2, th 1997, immediately before the 16 International Conference on Conceptual Modeling (ER'97), which was held at UCLA. A total of eighteen papers were selected for inclusion in this volume. These papers are written by experts in the conceptual modeling area and represent the most current thinking of these experts. This volume also contains the summaries of three workshops that were held on 6 7 December 1997, immediately after the ER'97 conference at UCLA. The topics of these three workshops are: * Behavioral Modeling * Conceptual Modeling in Multimedia Information Seeking * What Is the Role of Cognition in Conceptual Modeling? Since these topics are not only very important but also very timely, we think it is appropriate to include the summary of these three workshops in this volume. Those readers interested in further investigating topics related to the three workshops can either look up the individual paper published on the Web or contact the authors directly. The summary paper by Chen at the beginning of this volume also includes the summary of several interesting speeches at the Symposium.

This book presents a coherent suvey on exciting developments in database semantics. The origins of the volume date back to a workshop held in Prague, Czech Republic, in 1995. The nine revised full papers and surveys presented were carefully reviewed for inclusion in the book. They address more traditional aspects like dealing with integrity constraints and conceptual modeling as well as new areas of databases; object-orientation, incomplete information, database transformations and other issues are investigated by applying formal semantics, e.g. the evolving algebra semantics.