https://www.dagstuhl.de/9212

16. – 19. März 1992, Dagstuhl-Seminar 9212

Foundations of Information Systems Specification and Design

Organisator

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

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team

Dokumente

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.

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.