Für globale, offene und dynamische Rechnerumgebungen
Dabei konzentrierte man sich auf dazugehörige Rechnermodelle zur Beschreibung, Analyse und Verifizierung von eigenständigen und vernetzten Rechnereinheiten. Diese Einheiten, die sogenannten Computees, kommunizieren in globalen, offenen und dynamischen Umgebungen und können komplexe Organisationen bilden, die sogenannten Gesellschaften. Das deklarative Modell, dass für die Computees entwickelt wurde, umfasst eine Wissensbasis (K), Zielvorgaben (G), die erreicht werden müssen, und Pläne (P), um die Zielvorgaben zu erreichen. Dieses sogenannte KGP-Modell bietet einen geeigneten Rahmen für Computees, um eine Synthese ihrer Schlussfolgerungen durchzuführen und ihre Zielvorgaben zu verfolgen, die je nach Änderungen angepasst werden können. Vorkehrungen wurden getroffen, um heterogenes Verhalten der Computees zu managen. Die Verwendung des modularen, flexiblen und deklarativen Spezifikationen-Steuerungsmodells KGP erlaubt die Modellierung der Fähigkeit, Schlussfolgerungen zu ziehen, sowie die Modellierung der logischen Verhaltensweise. Das KGP-Modell trägt zur Entwicklung von benutzerfreundlichen, intelligenten und transparenten Systemen für das Management von täglichen Aktivitäten und elektronischen Information bei. Die Projektarbeit kann nützliche Anwendungen in komplexen Umgebungen erfüllen, darunter auch neue Formen der Kommunikation und des Handels. Des Weiteren unterstützt die neue Technologie eine universelle Erreichbarkeit von elektronisch verfügbaren Informationen und ihre Verwertung durch intelligente, verteilte und vernetzte Mittel. Weitere Informationen sind abrufbar unter: http://www-lia.deis.unibo.it/Research/Projects/SOCS/
