Konsistente Dokumentation Beim Entwurf Informationsverarbeitender Systeme

ISBN-13: 9783824420155 / Niemiecki / Miękka / 1990 / 198 str.

Wolfgang Zuck

Opis

Diese Arbeit uber die konsistente Dokumentation beim Entwurf informationsverar beitender Systeme entstand in den Jahren 1984 bis 1990 wahrend meiner Tatigkeit als wissenschaftlicher Mitarbeiter am Lehrstuhl fur Digitale Systeme der Universitat Kaiserslautern. Sie wurde vom Fachbereich Elektrotechnik der Universitat Kaisers lautern als Dissertation zur Verleihung des akademischen Grades Dr.-Ing. genehmigt Mein Dank gilt in erster Linie Herm Prof. Dr.-Ing. Siegfried Wendt, der nicht nur die Anregung zu dieser Arbeit gab, sondern auch in seiner Arbeitsgruppe das Umfeld bereitstellte und die Unterstutzung gewahrte, ohne die diese Arbeit nicht hatte ent stehen konnen. Seine zahlreichen Anregungen trugen wesentlich zur Verbesserung der Arbeit bei. Herm Prof. Dr. Jurgen Nehmer vom Fachbereich Informatik der Universitat Kaisers lautern danke ich fur die Ubernahme des Koreferats und die grundliche Durchsicht der Arbeit. Dank schulde ich auch der Firma SIEMENS, besonders Herrn Dr.-Ing. Dietrich Klugmann und seiner Abteilung (ZFE IS SOF 1), die sowohl durch grosszugige Unterstutzung der Arbeitsgruppe als auch durch fachliche Kooperation zum Gelingen der Arbeit beitrugen."

Spis treści

1. Einleitung.- 1.1 Problemstellung.- 1.2 Gliederung der Arbeit.- 2. Grundlegende Überlegungen zum Systementwurf.- 2.1 Begriffliche Abgrenzung.- 2.1.1 Systeme.- 2.1.2 Systemklassen.- 2.1.3 Systembeschreibung.- 2.1.3.1 Plangraphik, Planstruktur und Plansemantik.- 2.1.3.2 Graphische Symbolisierung.- 2.1.4 Systementwurf.- 2.2 Allgemeine Problemlösungstheorie.- 2.2.1 Problemklassifizierung.- 2.2.2 Lösungsstrategien.- 2.2.2.1 Klassifizierung.- 2.2.2.2 Modellierung.- 2.2.3 Zusammenfassung.- 2.3 Spezielle Probleme beim Entwurf informationsverarbeitender Systeme.- 2.3.1 Anschaulichkeit.- 2.3.2 Kommunikation.- 2.3.3 Dokumentation und Mitdokumentation.- 2.3.4 Konsistenz.- 3. Der Entwurf informationeller Systeme.- 3.1 Charakterisierung eines sinnvollen Entwurfsprozesses.- 3.1.1 Mechanismen zur Komplexitätsreduzierung.- 3.1.2 Systeme und Systemmodelle.- 3.1.2.1 Systemaspekte.- 3.1.2.2 Graphische Sprachen zur Systembeschreibung.- 3.1.2.3 Wertebereich der Planstrukturdaten einer Projektbibliothek.- 3.1.2.4 Hierarchie.- 3.1.2.5 Typdefinition und Verwendung.- 3.1.3 Organisatorische Prinzipien.- 3.1.3.1 Durchgängige Methodik.- 3.1.3.2 Planorientierung.- 3.1.3.3 Innere Konsistenz der Aussagen.- 3.1.3.4 Rechnerunterstützung zur Wahrung der internen Konsistenz.- 3.2 Architektur einer Systementwurfsumgebung.- 3.2.1 Allgemeine Aufgaben und Abgrenzung.- 3.2.2 Planverwaltung.- 3.2.2.1 Strukturelementverwaltung.- 3.2.3 Übergang zur Realisierung.- 3.2.4 Zusammenfassung.- 3.3 Abgrenzung zu anderen Ansätzen.- 3.3.1 Aspektspezifische Methoden.- 3.3.1.1 SADT.- 3.3.1.2 Entity-Relationship-Modelle.- 3.3.1.3 Netztheorie.- 3.3.2 Integrierte Methoden.- 3.3.2.1 SDL.- 3.3.2.2 Methode nach Yourdan.- 3.3.2.3 GRASPIN.- 3.3.2.4 ANIMOS.- 3.3.2.5 EPOS.- 3.3.2.6 Zusammenfassung.- 3.3.3 Projektmanagement.- 4. Die Planstrukturdaten einer Projektbibliothek.- 4.1 Wertebereich mit Hierarchie, Elementtyp und Planvorkommen.- 4.2 Effizienzsteigerung durch vollständige Planbindung.- 4.3 Unterschiedliche Systemsichten.- 4.3.1 Grundlegende Überlegungen zu konsistenten Planmengen.- 4.3.2 Planversionen.- 4.3.3 Planzustände.- 4.3.4 Wertebereich mit Sichten.- 4.4 Das Einbringen und Löschen von Plänen.- 4.5 Der Einsatz von Datenbanken.- 5. Plansemantik und Konsistenzregeln.- 5.1 Komponenten der Planstruktur.- 5.1.1 Objekte.- 5.1.2 Relationen.- 5.1.2.1 Planlokale Relationen.- 5.1.2.2 Korrespondenzen.- 5.1.3 Attribute.- 5.2 Plansemantik als interpretierte Planstruktur.- 5.2.1 Definition der sekundären Relationen.- 5.2.2 Elementare sekundäre Relationen.- 5.2.2.1 Plantypunabhängige Überlegungen.- 5.2.2.2 Aktuelle sekundäre Verbindungsrelation.- 5.2.2.3 Potentielle sekundäre Verbindungsrelation.- 5.2.2.4 Aktuelle sekundäre Zuständigkeitskorrespondenz.- 5.2.3 Summierte sekundäre Relationen.- 5.2.3.1 Plantypunabhängige Überlegungen.- 5.2.3.2 Summierte aktuelle sekundäre Verbindungsrelation.- 5.2.3.3 Summierte potentielle sekundäre Verbindungsrelation.- 5.2.3.4 Aktuelle und erlaubte Verbindungsrelationen.- 5.2.3.5 Planübergreifende summierte Verbindungsrelationen.- 5.3 Konsistenzregeln der Plansemantik.- 5.3.1 Abgrenzung und Definition.- 5.3.2 Instanzennetze.- 5.3.2.1 Enthaltensein.- 5.3.2.2 Zugang.- 5.3.2.3 Zuständigkeit und Betroffenheit.- 5.3.2.4 Instanzen- und Datenraumtyp.- 5.3.2.5 Wertebereichsbindung.- 5.3.3 Petrinetze.- 5.3.3.1 Attribute.- 5.3.3.2 Zuständigkeit und Betroffenheit.- 6. Ausblick.- Anhang I: Aufträge des Planstrukturverwalters.