Beschreibung
Diese Arbeit über die konsistente Dokumentation beim Entwurf informationsverar beitender Systeme entstand in den Jahren 1984 bis 1990 während meiner Tätigkeit als wissenschaftlicher Mitarbeiter am Lehrstuhl für Digitale Systeme der Universität Kaiserslautern. Sie wurde vom Fachbereich Elektrotechnik der Universität 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 Unterstützung gewährte, ohne die diese Arbeit nicht hätte ent stehen können. Seine zahlreichen Anregungen trugen wesentlich zur Verbesserung der Arbeit bei. Herm Prof. Dr. Jürgen Nehmer vom Fachbereich Informatik der Universität Kaisers lautern danke ich für die Übernahme des Koreferats und die gründliche 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 großzügige Unterstützung der Arbeitsgruppe als auch durch fachliche Kooperation zum Gelingen der Arbeit beitrugen.
Autorenporträt
Inhaltsangabe1. 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.
Herstellerkennzeichnung:
Deutscher Universitätsverlag in Springer Science + Business
Tiergartenstr. 15-17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
