https://www.dagstuhl.de/9212

March 16 – 19 , 1992, Dagstuhl Seminar 9212

Foundations of Information Systems Specification and Design

Organizer

H.-D. Ehrich, J.A. Goguen, A. Sernadas

For support, please contact

Dagstuhl Service Team

Documents

Dagstuhl-Seminar-Report 35

Motivation

Information systems are reactive systems with a (typically large) data or knowledge base. Thus, information systems specification and design brings areas together which have developed separately so far: reactive systems design emphasizing processes and concurrency, database design emphasizing conceptual and "logical" data modeling, and knowledge base design emphasizing knowledge representation and reasoning.

Whereas single aspects in these areas are well understood,there is no coherent conceptual basis for the entire spectrum of information systems design. A better understanding of fundamental issues,however,is essential for progress in this field.

The purpose of the workshop was to bring together experts who have made substantial contributions to foundations in one or more of these areas, covering semantics, logics and proof theory, language features and methodological issues. Unifying approaches addressing aspects of several areas were especially looked for. Among these, the object-oriented paradigm and its theoretical foundation was a major focus of the Workshop, but alternative approaches were also well represented.

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.