🚀 go-pugleaf

From: fromherz@ifi.unizh.ch Markus (P.J. Fromherz)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 19 Feb 91 17:08 +0100
Subject: <mod-ki 0657> Prolog Forum 21.2.91
Keywords: Vortraege

mod-ki message 0657
************************************************************************
                             Prolog Forum

Thursday, Feb. 21, 1991, 12.30 at room 21-G-74 (below the mensa)
Institut fuer Informatik, University of Zuerich-Irchel


                            Rolf Stadler
                        Universitaet Zuerich

          AUSFUEHRBARE SPEZIFIKATION VON DIRECTORY-SYSTEMEN

Directory-Systeme sind verteilte  Informationssysteme,  die  Daten  fuer
andere verteilte  Systeme  verwalten  (z.B.  Benutzerverzeichnisse  fuer
Meldungsuebermittlungssysteme). 

Ausgehend von der Definition  der  Architektur  eines  Directory-Systems
wird  eine  Spezifikationsmethode  zur  Beschreibung  einer  Architektur
vorgestellt.   Als   Spezifikationssprache   dient   die   Sprache   der
Hornklausellogik,   welche   durch   Negation   erweitert   wird.    Die
Vervollstaendigung eines logischen Programms bildet die Basis  fuer  die
deklarative Semantik, und die SLDNF-Resolution bestimmt die  prozedurale
Semantik der Spezifikationen. Die Spezifikationssprache wird  durch  das
"reine Prolog", erweitert um  ein  Systempraedikat  fuer  die  Negation,
dargestellt. 

Nach dieser Methode wurde eine von  D.B. Terry  entwickelte  Architektur
und ein Ausschnitt aus der  Architektur  des  internationalen  Standards
X.500  spezifiziert.  Dabei  zeigen  sich   eindeutige   Vorteile:   Die
Spezifikationen sind im Vergleich zu den bekannten Darstellungen  dieser
Architekturen kompakter und wesentlich besser  lesbar.  Zudem  sind  sie
exakt, deklarativ und ausfuehrbar.

Erfahrungen bei der Anwendung der Methode zeigen,  dass  Spezifikationen
meist schrittweise entwickelt  werden  koennen.  Auch  laesst  sich  ein
Merkmal einer Architektur oft auf  einzelne  Klauseln  eines  Praedikats
abbilden, was in hohem  Mass  zur  Modularitaet  und  UEbersichtlichkeit
einer Spezifikation beitraegt. Die Eigenschaft der Ausfuehrbarkeit einer
Spezifikation erweist sich als vielseitig anwendbar, beispielsweise  zur
Simulation  eines  Systems  bei   gegebener   Konfiguration   oder   zur
UEberpruefung (Verifikation, Validierung) einer Spezifikation.  

For more information:

    Markus Fromherz                        Tel.:   +41-1-257 4313 / 4311
    Institut fuer Informatik               E-Mail: fromherz@ifi.unizh.ch
    Universitaet Zuerich-Irchel
    Winterthurerstrasse 190
    CH-8057 Zuerich
************************************************************************