TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 9212

Foundations of Information Systems Specification and Design

( 16. Mar – 19. Mar, 1992 )

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/9212

Organisatoren
  • A. Sernadas
  • H.-D. Ehrich
  • J.A. Goguen



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.

Copyright

Teilnehmer
  • A. Sernadas
  • H.-D. Ehrich
  • J.A. Goguen