Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software

Das Thema "Spezifikation" wurde von den Informatikern identifiziert und bearbeitet im Zusammenhang mit der Entdeckung des Gebietes "Software-Engineering". Dies gilt auch für die Spezifikation solcher Systeme, die nur teilweise aus Software bestehen oder bei denen die Unterscheidung zwischen Hard- und Software noch nicht gemacht wurde. Daher soll hier versucht werden, das Gebiet von der Software-Spezifikation her anzugehen. Nach einem kurzen Abriss der Motivation für Spezifikationssysteme und ihrer Geschichte werden die in diesem Zusammenhang wichtigen Begriffe diskutiert. Auch die übliche Einteilung des Software-Entstehungsprozesses, der "softwarelife-cycle", wird angesprochen. Für die einzelnen Komponenten der Spezifikationssysteme haben sich Lösungen herauskristallisiert, die in vielen Systemen zu finden sind. Diese werden gegenübergestellt und diskutiert. Dann werden der aktuelle Stand und die Trends skizziert. Am Schluss stehen einige Erfahrungssätze zur Einführung eines Spezifikationssystems

Review and comparison of tools for software specification and design

Dieser Bericht enthält eine Sichtung und Auswertung relevanter Verfahren für die Spezifikation und den Entwurf von Software. Dabei wird ein einheitliches Beschreibungsschema angewandt. Die einzelnen Ansätze werden nach verschiedenen Kriterien vergleichend gegenübergestellt.This report contains a collection and evaluation of relevant methods for specification and design of software, using a uniform description scheme. The various approaches are compared by several different criteria

Semantisches Informationsmodell für die Betriebsunterstützung dienstorientierter Systeme

Bei der Umsetzung von Geschäftsmodellen wird verstärkt auf das Architekturkonzept der serviceorientierten Architektur (SOA) zurückgegriffen. Vor dem Hintergrund der wachsenden Komplexität der resultierenden dienstorientierten Systeme stellt die vorliegende Arbeit einen systematischen Ansatz zur effektiven Zusammenführung von Informationen, Werkzeugen und Methodiken in ein übergreifendes und konsistent anwendbares Modell zur Verwaltung und Überwachung dienstorientierter Systemlandschaften vor

Semantisches Informationsmodell für die Betriebsunterstützung dienstorientierter Systeme

Bei der Umsetzung von Geschäftsmodellen wird verstärkt auf das Architekturkonzept der serviceorientierten Architektur (SOA) zurückgegriffen. Vor dem Hintergrund der wachsenden Komplexität der resultierenden dienstorientierten Systeme stellt die vorliegende Arbeit einen systematischen Ansatz zur effektiven Zusammenführung von Informationen, Werkzeugen und Methodiken in ein übergreifendes und konsistent anwendbares Modell zur Verwaltung und Überwachung dienstorientierter Systemlandschaften vor

Computer Supported Cooperative Work Applications for the Design of Buildings based on an integrated Building Model Management

Gegenstand der vorliegenden Arbeit ist die Konzeption und prototypische Umsetzung von Techniken des Computer Supported Cooperative Work (CSCW) im Rahmen einer integrierten objektorientierten und dynamischen Bauwerksmodellverwaltung zur Unterstützung der Bauwerksplanung. Die Planung von Bauwerken ist durch einen hohen Grad an Arbeitsteiligkeit, aber auch durch eine schwache Strukturierung der ablaufenden Prozesse gekennzeichnet. Besonders durch den Unikatcharakter des Planungsgegenstands \'Bauwerk\' ergeben sich signifikante Unterschiede zum Entwurf anderer, durch Serienfertigung produzierter Industriegüter. Zunehmend wird die Planung von Bauwerken in Virtual Enterprises ausgeführt, die sich durch eine dynamische Organisationsstruktur, geographische Verteilung der Partner, schwer normierbare Informationsflüsse und eine häufig stark heterogene informationstechnische Infrastruktur auszeichnen. Zur rechnerinternen Repräsent! ation des Planungsgegenstands haben sich objektorientierte Bauwerksmodelle bewährt. Aufgrund der Veränderlichkeit der Bauwerke und deren rechnerinterner Repräsentation im Laufe des Bauwerkslebenszyklus ist eine dynamische Anpassung der Modelle unumgänglich. Derartige in Form von Taxonomien dargestellte dynamische Bauwerksmodellstrukturen können gemeinsam mit den in Instanzform vorliegenden konkreten Projektinformationen in entsprechenden Modellverwaltungssystemen (MVS) gehandhabt werden. Dabei wird aufgrund der Spezialisierung und Arbeitsteilung im Planungsprozess von einer inhaltlich verknüpften Partialmodellstruktur, die räumlich verteilt sein kann, ausgegangen. Die vorgeschlagenen Methoden zur Koordinierung der Teamarbeit in der Bauwerksplanung beruhen auf der Nutzung von CSCW–Techniken für \'Gemeinsame Informationsräume\' und \'Workgroup Computing\', die im Kontext der als Integrationsbasis fungierenden Modellverwaltungssysteme umgesetzt werden. Dazu werden die zur d! ynamischen Bauwerksmodellierung erforderlichen Metaebenenfunk! tionalitäten sowie Ansätze zur Implementierung von Modellverwaltungskernen systematisiert. Ebenso werden notwendige Basistechniken für die Realisierung von MVS untersucht und eine Architektur zur rollenspezifischen Präsentation dynamischer Modellinhalte vorgestellt. Da klassische Schichtenmodelle nicht auf die Verhältnisse in Virtual Enterprises angewendet werden können, wird eine physische Systemarchitektur mit einem zentralen Projektserver, Domänenservern und Domänenclients vorgestellt. Ebenso werden Techniken zur Sicherung des autorisierten Zugriffs sowie des Dokumentencharakters beschrieben. Zur Unterstützung der asynchronen Phasen der Kooperation wird der gemeinsame Informationsraum durch Mappingtechniken zur Propagation und Notifikation von Änderungsdaten bezüglich relevanter Modellinformationen ergänzt. Zur Unterstützung synchroner Phasen werden Techniken zur Schaffung eines gemeinsamen Kontexts durch relaxierte WYSIWIS–Präsentationen auf Basis der Modellinformationen! verbunden mit Telepresence–Techniken vorgestellt. Weiterhin werden Methoden zur Sicherung der Group–Awareness für alle Kooperationsphasen betrachtet.The thesis covers the conceptual design and the prototypical realisation of Computer Supported Cooperative Work (CSCW)– techniques within the scope of an integrated, object-oriented, dynamic model management system for the support of building planning activities. The planning of buildings is characterised by a high degree of collaboration but by a weak structuring of the processes, too. Significant differences between the design of buildings and industrial goods produced by series production are implied by the uniqueness of a building. Increasingly, the planning of buildings is accomplished by Virtual Enterprises. These are characterised by a dynamic organisation structure, geographic dispersion of the involved planning experts, information flows, which are hard to standardise, and a frequently very heterogeneous information-technology infrastructure. Object oriented building models have proven to be a suitable base for! the binary representation of planning subject information. Due to the changeability of both building structures and their binary representation during the building life cycle, a dynamical adaptation of the models is indispensable. Dynamic building models, which are represented by taxonomic information, can be handled together with actual project information, which is stored in taxonomy instances within an appropriate model management system. Due to the specialisation and the division of labour in the planning process, a semantic linked but spatial distributed partial model structure is applied. The recommended methods for the coordination of teamwork in the planning process are based on the application of CSCW-techniques for \'Shared Information Spaces\' and \'Workgroup Computing\' in the context of model management systems acting as an foundation for planning information integration. The required meta level functionalities for dynamic building modelling and appropriate! implementation approaches for modelling kernels are systemat! ised. The necessary base techniques for the realisation of model management systems are explored. An architecture for the role specific presentation of dynamic model content is introduced, too. Due to the inadequacy of conventional multi-tier models for an application in Virtual Enterprises, an appropriate physical system architecture with a central project server, domain servers and domain clients is introduced. The thesis covers techniques, which ensure the authorised access to information and the authenticity of planning documents, too. For an adequate support of the asynchronous phases of collaboration, the Shared Information Space is supplied with mapping mechanisms for the propagation and user notification of changes in the relevant planning information. Synchronous collaboration can be performed by means of relaxed WYSIWIS-presentations connected with telepresence mechanisms in order to create a shared context for the planners. Furthermore, methods for the provis! ion of group-awareness for all co-operation phases are treated

Verzeichnis von Softwarekomponenten für natürlichsprachliche Systeme : Ergebnisse einer Umfrage im Rahmen der VERBMOBIL-Vorbereitung

Das DFKI (Deutsches Forschungszentrum für Künstliche Intelligenz) wurde vom BMFT (Bundesministerium für Forschung und Technologie) mit der Durchführung einer Umfrage zu existierenden Software-Komponenten im Bereich Verarbeitung natürlicher Sprache beauftragt (413 - 4001 - 01 IV 201). Das Ziel der Umfrage war die Erstellung einer Übersicht von in Deutschland verfügbaren Software-Komponenten, die im Bereich der natürlichsprachlichen Systeme für das Projekt VERBMOBIL relevant sein könnten. Das Ergebnis dieser Umfrage liegt nun vor. Zur Durchführung der Umfrage wurde ein Fragebogen erstellt, der im März 1992 über die News-Gruppe mod-ki verbreitet und außerdem an ca. 400 Adressen geschickt wurde (Mitglieder der Gesellschaft für Informatik e. V. FA 1.3 1 "Natürliche Sprache", Mitglieder der DGfS, Sektion Computerlinguistik). Das Verzeichnis ist auf in Deutschland entwickelte Software beschränkt und enthält akademische, kommerzielle und geschützte Software, wobei jeweils angegeben ist, unter welchen Bedingungen die Komponenten erhältlich sind

Verzeichnis von Softwarekomponenten für natürlichsprachliche Systeme : Ergebnisse einer Umfrage im Rahmen der VERBMOBIL-Vorbereitung

Das DFKI (Deutsches Forschungszentrum für Künstliche Intelligenz) wurde vom BMFT (Bundesministerium für Forschung und Technologie) mit der Durchführung einer Umfrage zu existierenden Software-Komponenten im Bereich Verarbeitung natürlicher Sprache beauftragt (413 - 4001 - 01 IV 201). Das Ziel der Umfrage war die Erstellung einer Übersicht von in Deutschland verfügbaren Software-Komponenten, die im Bereich der natürlichsprachlichen Systeme für das Projekt VERBMOBIL relevant sein könnten. Das Ergebnis dieser Umfrage liegt nun vor. Zur Durchführung der Umfrage wurde ein Fragebogen erstellt, der im März 1992 über die News-Gruppe mod-ki verbreitet und außerdem an ca. 400 Adressen geschickt wurde (Mitglieder der Gesellschaft für Informatik e. V. FA 1.3 1 "Natürliche Sprache", Mitglieder der DGfS, Sektion Computerlinguistik). Das Verzeichnis ist auf in Deutschland entwickelte Software beschränkt und enthält akademische, kommerzielle und geschützte Software, wobei jeweils angegeben ist, unter welchen Bedingungen die Komponenten erhältlich sind

Definition einer Sprache zur Beschreibung von Prozessmustern zur Unterstützung agiler Softwareentwicklungsprozesse

Prozessmuster ermöglichen die modulare Modellierung und flexible Anwendung von Softwareentwicklungsprozessen. Gegenwärtige Beschreibungen von Prozessmustern weisen jedoch Mängel wie uneinheitliche und uneindeutige Beschreibungsformen und fehlende Beziehungsdefinitionen auf. Diese Mängel wirken sich nachteilig auf den effektiven Einsatz von Prozessmustern aus. In dieser Dissertation wird die Sprache PROPEL (Process Pattern Description Language) entwickelt, die Konzepte zur Beschreibung von Prozessmustern und Beziehungen zwischen Prozessmustern bereitstellt. Mit Hilfe von PROPEL können einzelne Prozessmuster modelliert und durch Definition von Beziehungen zu komplexeren Prozessmustern zusammengesetzt werden. PROPEL basiert auf der UML und verwendet daher eine Vielzahl von erprobten und weit verbreiteten Modellierungskonzepten wie Aktivitätsdiagramme wieder. Zur Erhöhung der Ausdrucksgenauigkeit wurde PROPEL um eine formale Semantik durch Abbildung der formalen Syntax auf die Domäne der Petri-Netze ergänzt. Für die Validierung der Nutzbarkeit und Handhabbarkeit von PROPEL wurde ein Prozessmusterkatalog basierend auf dem Rational Unified Process entwickelt. Durch die Darstellung verschiedener Sichten auf den Katalog kann ein Überblick auf alle vorhandenen Prozessmuster und deren Beziehungen gewährleistet werden. Darüber hinaus wurde gezeigt, dass die Komplexität eines Prozessmodells durch Einsatz von PROPEL reduziert wird und Prozessinkonsistenzen eliminiert werden