Overview

As more and more information is being computerized, it is becoming harder and harder to share. When everything was on paper, people could read reports written by other people working in the same profession. But when everything is in the computer, it cannot be read without software that is compatible with the software that produced it. For highly structured information in databases and knowledge bases, the problem is getting worse. Even with identical software, the information cannot be used without a precise specification of its structure and meaning. Further progress in sharing and integrating information depends on formal methods for specifying meaning. This book reports on a project that addresses that problem: it adopts a formal language for specifying meaning as the central focus for systems analysis, design, and development. The formalism is conceptual graphs - a system of logic with a graphical representation that has a direct mapping to and from natural languages. As part of the project, the authors have studied a variety of notations and metho- dologies that are being used for database design and systems analysis. They show how conceptual graphs can be used as a unifying language that can be translated to and from the other notations. Unlike older systems of logic, such as predicate calculus, conceptual graphs are a highly readable form of logic that clarifies rather than obscures the underlying relationships.

Full Product Details

Author:   Hans R. Hansen ,  Robert Mühlbacher ,  Gustaf Neumann ,  Robert Muhlbacher
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Physica-Verlag GmbH & Co
Edition:   1993 ed.
Volume:   53
Dimensions:   Width: 15.50cm , Height: 2.40cm , Length: 23.50cm
Weight:   0.706kg
ISBN:  

9783790806533

ISBN 10:   3790806536
Pages:   436
Publication Date:   15 December 1992
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.
Language:   German

Table of Contents

I Begriffsbasierte Integration von Systemanalysemethoden.- 1 Begrundung.- 1.1 Motivation fur einen begrifflichen Ansatz.- 1.1.1 Praxis der Systemanalyse im Jahr 1990: Ein Fallbeispiel.- 1.1.2 Kritik zur Systemanalyse.- 1.1.3 Ein Postulat.- 1.2 Begriffswelten.- 1.2.1 Begriff.- Begriffe und Systemanalyse.- Durchgangigkeit.- 1.2.2 Begriffswelt.- Beziehungstypen zwischen Begriffen.- Begriffswelten als Basis menschlicher Kommunikation.- Stoerung der Kommunikation.- Veranderung von Begriffswelten.- Begriffliche Module.- 2 Klassifikationsschema.- 2.1 Ziel der Klassifikation.- 2.2 Typen von Systemanalysemethoden.- 2.2.1 Klassifikationsdimensionen.- 2.2.2 Klassifikation nach Entwicklungsphasen.- 2.2.3 Klassifikation nach Prasentationsformen.- 2.2.4 Klassifikation nach Abbildungsaspekten.- 2.3 Begriffliches Werkzeug zur Klassifikation.- 2.3.1 Begriffliche Graphen als Grundwerkzeug.- 2.3.2 Konzepte.- Verwendung.- Typenhierarchie.- Definition.- 2.3.3 Begriffliche Relationen.- Verwendung.- Definition.- Quantification.- 2.3.4 Aktoren.- Verwendung.- Definition.- 2.3.5 Trigger.- 2.4 Definition begrifflicher Strukturen.- 2.4.1 Definition von begrifflichen Grundrelationen aus semantischen Primitiva.- 2.4.2 Definition von Grundrelationen aus der Grammatik der deutschen Sprache.- 2.4.3 Wissensgebietspezifische Definitionen.- 2.4.4 Methodenubergreifende Typenhierarchie.- Allgemeine semantische Elementarbegriffe nach Schank.- Exkurs: Experiment mit Duden.- 2.5 Abbildung semantischer Einheiten.- 2.5.1 Beschreibung von Konstrukten in Systemanalysemethoden.- Wege zur Bedeutungsfindung.- Unterdefinition von Methodenkonstrukten.- 2.5.2 Bedeutung der Konstruktbezeichnung.- 2.5.3 Anwendungsspezifische Typenhierarchie.- 2.5.4 Naturlichsprachige Fassung der Klassifikation.- 2.5.5 UEbersetzung der naturlichsprachigen Definitionen in begriffliche Graphen.- 2.5.6 Einige Beispiele zur begrifflichen Klassifikation von Konstrukten.- Das Entity des ER-Modells.- Der Datenfluss des Datenflussdiagramms.- Der Event der REMORA-Methode.- 2.5.7 Semantischer Gehalt der Struktur in Systemanalysemethoden.- 2.5.8 Dokumentarische Ruckfuhrung in die deutsche Sprache (Paraphrasierung).- 2.6 Prototypische Konversionsprozedur.- 2.6.1 Struktur und Implementation von Interpretationstheorien fur begriffliche Graphen.- 2.6.2 Einbettung der Konversionstabelle in eine Konversionsprozedur.- Kompilierungsprozedur.- Extraktionsprozedur.- 3 Interpretationsmechanismus.- 3.1 Einleitung.- 3.2 Reformulierung begrifflicher Graphen in Prolog.- 3.2.1 Notwendigkeit einer Reformulierung.- 3.2.2 Reformulierung einzelner begrifflicher Konstrukte.- Konzepte.- Relationen.- Individuen.- Aktoren.- Arbeitsgraph.- Geschachtelte Kontexte.- Typenhierarchie.- Relationenvorrat.- Mengenkonzepte.- Verbleibende Ineffizienz der Reformulierung.- 3.3 Aufbau einer begriffsbasierten Entwicklungsumgebung.- 3.3.1 Anwendungsprojekte.- 3.3.2 Spezifikationsprozedur.- Spezifikationsprozedur ohne nachtragliche AEnderungen.- Spezifikationsprozedur mit nachtraglichen AEnderungen.- 3.4 Eine Beschreibungssprache fur Systemanalysemethoden SAMBS.- 3.4.1 Konstruktdeklarationen.- 3.4.2 Nebenbedingungen.- 3.4.3 Programm.- 3.4.4 Interpretationstheorien.- 3.5 Interpretatoren auf SAMBS.- 3.5.1 Ic, ein Konsistenzprufer.- 3.5.2 Iic, ein Inkonsistenzprufer.- 3.5.3 Ieg, ein Eingabeinterpreter.- Interpretative Konstruktion.- 3.5.4 Ilo, ein Loeschungsinterpreter.- 3.5.5 Iv, ein Verzeichnisinterpreter.- 3.5.6 Iext, ein Extraktionsinterpreter.- 3.5.7 Ikom, ein Kompilierungsinterpreter.- 3.6 Ein Fragegrapheninterpreter Ifg.- 3.7 Operationen auf Typenhierarchie und Relationenvorrat.- 3.7.1 Typen.- Einfugen eines Konzepttyps.- AEndern eines Konzepttyps.- Loeschen eines Konzepttyps.- 3.7.2 Relationen.- Einfugen einer Relation.- AEndern einer Relation.- Loeschen einer Relation.- II UEberfuhrung von ER-Modellen in begriffliche Graphen.- 4 Konstruktionselemente von ER-Modellen.- 4.1 Entitatstyp.- 4.2 Beziehungstyp.- 4.3 Attribut.- 4.3.1 Einfaches Attribut.- 4.3.2 Identifizierendes Attribut.- 4.3.3 Mehrwertiges Attribut.- 4.3.4 Zusammengesetztes Attribut.- 4.4 Schwacher Entitatstyp.- 4.5 Graphische Symbole.- 4.6 Interpretationstheorie.- 4.6.1 Entitatstyp.- 4.6.2 Beziehungstyp.- 4.6.3 Einfaches Attribut.- 4.6.4 Identifizierendes Attribut.- 4.6.5 Mehrwertiges Attribut.- 4.6.6 Zusammengesetztes Attribut.- 4.6.7 Schwacher Entitatstyp.- 5 Kompilation eines ER-Modells in begriffliche Graphen.- 5.1 Kompilationsalgorithmus.- 5.1.1 UEberblick.- 5.1.2 Voraussetzungen.- 5.1.3 Ablauf der Kompilation.- Kompilation eines ER-Konstrukts.- UEbertragung von Bildungsgesetzen.- Eingliederung in die Typenhierarchie.- Eingliederung in den Arbeitsgraphen.- 5.2 Beispiel eines ER-Modells.- 5.3 Entitatstyp.- 5.3.1 UEberblick.- 5.3.2 Eintrittspunkt.- 5.3.3 Eingliederung in die Typenhierarchie.- 5.3.4 Eingliederung in den Arbeitsgraphen.- 5.3.5 Beispiel.- 5.4 Beziehungstyp.- 5.4.1 UEberblick.- 5.4.2 Eintrittspunkt.- 5.4.3 Kardinalitatsverhaltnisse.- 5.4.4 Eingliederung in die Typenhierarchie.- 5.4.5 Eingliederung in den Arbeitsgraphen.- 5.4.6 Beispiel.- 5.5 Attribut.- 5.5.1 UEberblick.- 5.5.2 Eintrittspunkt.- 5.5.3 Eingliederung in die Typenhierarchie.- 5.5.4 Kompilation des Wertebereichs.- 5.5.5 Definitionsgraphen der verschiedenen Attributformen.- Einfaches Attribut.- Identifizierendes Attribut.- Mehrwertiges Attribut.- Zusammengesetztes Attribut.- 5.5.6 Eingliederung in den Arbeitsgraphen.- 5.5.7 Beispiel.- 5.6 Schwacher Entitatstyp.- 6 Extraktion eines ER-Modells.- 6.1 Extraktionsvorgang.- 6.1.1 Voraussetzungen.- 6.1.2 Ablauf der Extraktion.- 6.1.3 Kandidatenauswahl.- 6.1.4 Eingliederung in das ER-Modell.- 6.2 Entitatstyp.- 6.2.1 Kandidatenauswahl.- 6.2.2 Eingliederung in das ER-Modell.- 6.2.3 Beispiel.- 6.3 Beziehungstyp.- 6.3.1 Kandidatenauswahl.- 6.3.2 Eingliederung in das ER-Modell.- 6.3.3 Beispiel.- 6.4 Attribut.- 6.4.1 Kandidatenauswahl.- 6.4.2 Eingliederung in das ER-Modell.- 6.4.3 Beispiel.- 7 Implementation der UEberfuhrungsregeln in Prolog.- 7.1 Programmaufbau.- 7.2 Verwaltung des ER-Modells.- 7.3 UEberfuhrung des ER-Modells.- 7.4 Regeln.- III UEberfuhrung von NIAM-Modellen in begriffliche Graphen.- 8 Konstruktionselemente von NIAM.- 8.1 NIAM-Modell.- 8.1.1 Lexikalischer Objekttyp (LOT).- 8.1.2 Nichtlexikalischer Objekttyp (NOLOT).- 8.1.3 Rolle.- 8.1.4 Ideetyp.- 8.1.5 Bruckentyp.- 8.1.6 Subtyp.- 8.1.7 Constraints.- Disjoint-Constraint.- Total-Role-Constraint.- Subset-Constraint.- Equality-Constraint.- Uniqueness-Constraint.- Identifier-Constraint.- 8.2 Verwendete Typenhierarchie.- 8.3 Ablauf der Konversion.- 8.3.1 Kompilation.- 8.3.2 Extraktion.- 8.4 Interpretationstheorie.- 8.4.1 Lexikalischer Objekttyp.- 8.4.2 Nichtlexikalischer Objekttyp.- 8.4.3 Satztyp.- 8.4.4 Ideetyp.- 8.4.5 Bruckentyp.- 8.4.6 Subtyp.- 8.4.7 Constraints.- Disjoint-Constraint.- Total-Role-Constraint.- Subset-Constraint.- Equality-Constraint.- Uniqueness-Constraint.- Identifier-Constraint.- 9 Kompilation eines NIAM-Modells in begriffliche Graphen.- 9.1 Kompilationsalgorithmus.- 9.1.1 UEberblick.- 9.1.2 Voraussetzungen.- 9.1.3 Ablauf der Kompilation.- Kompilation eines NIAM-Konstrukts.- Problematik der Bezeichnerwahl.- Eingliederung in die Typenhierarchie.- Eingliederung in den Arbeitsgraphen.- 9.2 Beispiel eines NIAM-Modells.- 9.2.1 NIAM-Modell.- 9.2.2 Typenhierarchie und Arbeitsgraph.- 9.3 Lexikalischer Objekttyp.- 9.3.1 UEberblick.- 9.3.2 Eintrittspunkt.- 9.3.3 Eingliederung in die Typenhierarchie.- 9.3.4 Kompilation des Wertebereichs.- 9.3.5 Eingliederung in den Arbeitsgraphen.- 9.3.6 Beispiel.- 9.4 Nichtlexikalischer Objekttyp.- 9.4.1 UEberblick.- 9.4.2 Eintrittspunkt.- 9.4.3 Beispiel.- 9.5 Rolle.- 9.5.1 UEberblick.- 9.5.2 Eintrittspunkt.- 9.5.3 Kardinalitatsverhaltnisse.- 9.5.4 Eingliederung in die Typenhierarchie.- 9.5.5 Eingliederung in den Arbeitsgraphen.- 9.5.6 Beispiel.- 9.6 Ideetyp und Bruckentyp.- 9.7 Subtyp.- 9.7.1 Kompilation.- 9.7.2 Beispiel.- 9.8 Constraints.- 9.8.1 UEberblick.- 9.8.2 Kompilation des Disjoint-Constraints.- 9.8.3 Kompilation des Subset-Constraints.- 9.8.4 Kompilation des Equality-Constraints.- 9.8.5 Kompilation des Uniqueness-Constraints.- 9.9 Graphische Darstellung des Beispielmodells.- 10 Extraktion eines NIAM-Modells aus begrifflichen Graphen.- 10.1 Extraktionsvorgang.- 10.1.1 Voraussetzungen.- 10.1.2 Ablauf der Extraktion.- 10.1.3 Kandidatenauswahl.- 10.1.4 Eingliederung in das NIAM-Modell.- 10.1.5 Beispiel.- 10.2 Lexikalischer Objekttyp.- 10.2.1 Kandidatenauswahl.- 10.2.2 Eingliederung in das NIAM-Modell.- 10.3 Nichtlexikalischer Objekttyp.- 10.3.1 Kandidatenauswahl.- 10.3.2 Eingliederung in das NIAM-Modell.- 10.4 Rolle.- 10.4.1 Kandidatenauswahl.- 10.4.2 Eingliederung in das NIAM-Modell.- 10.5 Ideetyp und Bruckentyp.- 10.6 Subtyp.- 10.6.1 Kandidatenauswahl.- 10.6.2 Eingliederung in das NIAM-Modell.- 10.7 Constraints.- 10.7.1 Disjoint-Constraint.- Eingliederung in das NIAM-Modell.- 10.7.2 Total-Role- und Identifier-Constraint.- Eingliederung in das NIAM-Modell.- 10.7.3 Subset-Constraint.- Eingliederung in das NIAM-Modell.- 10.7.4 Equality-Constraint.- Eingliederung in das NIAM-Modell.- 10.7.5 Uniqueness-Constraint.- Eingliederung in das NIAM-Modell.- 11 Implementation der UEberfuhrungsregeln in Prolog.- 11.1 Programmaufbau.- 11.2 Verwaltung des NIAM-Modells.- 11.3 UEberfuhrung des NIAM-Modells.- 11.4 Regeln.- 11.5 Arbeitsgraph des NIAM-Modells fur eine Lagerverwaltung.- 11.5.1 Methodenmodell.- 11.5.2 Arbeitsgraph.- IV UEberfuhrung von Datenflussdiagrammen in begriffliche Graphen.- 12 Datenflussdiagramm.- 12.1 Das Datenflussdiagramm als Instrument der Systemanalyse.- 12.2 Konstruktionselemente von Datenflussdiagrammen.- 12.2.1 Prozess.- Bezeichner von Prozessen.- SAMBS-Reprasentation von Prozessen.- Konsistenzregeln fur Prozesse.- 12.2.2 Datenspeicher.- Bezeichner von Datenspeichern.- SAMBS-Reprasentation von Datenspeichern.- Konsistenzregeln fur Datenspeicher.- 12.2.3 Quelle und Senke.- SAMBS-Reprasentation von Quellen und Senken.- Konsistenzregeln fur Quellen und Senken.- 12.2.4 Datenfluss.- Bezeichner eines Datenflusses.- SAMBS-Reprasentation von Datenflussen.- Konsistenzregeln fur Datenflusse.- 12.3 Dekomposition.- 12.3.1 Regeln zur Dekomposition.- 12.4 Beispiel fur ein Datenflussdiagramm.- 12.4.1 Verbale Systembeschreibung.- 12.4.2 Graphische Darstellung des Beispiels.- 13 Kompilation.- 13.1 Kompilation von Prozessen.- 13.1.1 Eingliederung von Prozessen in die Typenhierarchie.- 13.1.2 SAMBS-Reprasentation der Konversionstabelle fur Prozesse.- 13.2 Quelle und Senke.- 13.2.1 Eingliederung von Quellen und Senken in die gemeinsame Typenhierarchie.- 13.2.2 SAMBS-Reprasentation der Konversionstabelle fur Quellen und Senken.- 13.3 Kompilation von Datenflussen und Datenspeichern.- 13.3.1 Kompilation von Datenflussen.- Eingliederung von Datenflussen in die Typenhierarchie.- SAMBS-Reprasentation der Konversionstabelle fur Datenflusse.- 13.3.2 Kombination aus Datenspeicher und Datenfluss.- Eingliederung von Datenflussen und Datenspeichern in die Typenhierarchie.- SAMBS-Reprasentation der Konversionstabelle fur Datenflusse und Datenspeicher.- 13.4 Kompilation des Beispiel-Diagramms.- 13.4.1 Darstellung des Beispiel-Datenflussdiagramms.- Prozesse.- Datenspeicher.- Datenflusse.- Schnittstellen des Teildiagramms.- 13.4.2 Kompilation des Beispiel-Datenflussdiagramms.- Kompilation der Prozesse.- Kompilation des Datenspeichers.- Kompilation der Quelle und Senke.- Kompilation der Datenflusse.- 14 Extraktion.- 14.1 Ablauf der Extraktion.- 14.1.1 Finden von Kandidaten.- 14.1.2 Extraktion von Prozessen.- 14.1.3 Extraktion von Quellen und Senken.- 14.1.4 Extraktion von Datenflussen.- Fakultative Kandidaten fur Datenflusse.- Sichere Kandidaten fur Datenflusse.- 14.1.5 Extraktion von Datenspeichern.- Kandidaten fur Datenspeicher.- 14.1.6 Sichere Kandidaten fur Datenspeicher.- 14.2 UEberfuhrung eines Lagermodells in begriffliche Graphen.- 14.2.1 Methodenmodell.- 14.2.2 Arbeitsgraph.- V UEberfuhrung von Remora-Modellen in begriffliche Graphen.- 15 Die Methode Remora.- 15.1 Konstruktionselemente der Remora-Methode.- 15.2 C-Objekt.- 15.3 C-Operation.- 15.4 C-Ereignis.- 15.5 Verbindungen.- 15.6 Zeitabhangigkeiten.- 15.7 Graphische Symbole.- 16 Kompilation eines Remora-Modells in begriffliche Graphen.- 16.1 Vorgangsweise bei der Kompilation.- 16.2 Typenhierarchie und Relationen.- 16.3 Kompilation eines C-Objekts.- 16.4 Normales Attribut.- 16.5 Schlusselattribut.- 16.6 C-Ereignis Erzeugen.- 16.7 C-Ereignis Loeschen.- 16.8 C-Ereignis Modifizieren.- 16.9 G-Operationen Erzeugen und Loeschen.- 16.10 C-Operation Modifizieren.- 16.11 Kompilation des Lagerverwaltungsmodells.- 16.11.1 Beschreibung des Remora-Modells zur Lagerverwaltung.- 16.11.2 Graphische Darstellung des Beispiels.- 16.11.3 Arbeitsgraph.- 16.11.4 UEberfuhrung der C-Objekte.- Eingliederung in die Typenhierarchie.- Eingliederung in den Arbeitsgraphen.- 16.11.5 UEberfuhrung von Attributen.- Eingliederung in die Typenhierarchie.- Eingliederung in den Arbeitsgraphen.- 16.11.6 UEberfuhrung von Ereignissen.- Eingliederung in die Typenhierarchie.- Eingliederung in den Arbeitsgraphen.- 16.11.7 UEberfuhrung von Operationen.- Eingliederung in die Typenhierarchie.- Eingliederung in den Arbeitsgraphen.- 17 Extraktion eines Remora-Modells aus begrifflichen Graphen.- 17.1 Vorgangsweise.- 17.2 Extraktion von C-Objekten.- 17.2.1 Auswahl aus der Typenhierarchie.- 17.2.2 Eingliederung in das Remora-Modell.- 17.3 Extraktion von Operationen.- 17.3.1 Auswahl aus der Typenhierarchie.- 17.3.2 Eingliederung in das Remora-Modell.- 17.4 Extraktion von Ereignissen.- 17.4.1 Auswahl aus der Typenhierarchie.- 17.4.2 Eingliederung in das Remora-Modell.- 18 Implementation der UEberfuhrungsregeln in Prolog.- 18.1 Programmaufbau.- 18.2 Regeln.- 18.3 Arbeitsgraph des Remora-Modells fur eine Lagerverwaltung.- 18.3.1 Methodenmodell.- 18.3.2 Arbeitsgraph.- VI UEberfuhrung von SF-Modellen in begriffliche Graphen.- 19 Die Spezifikationssprache SF.- 19.1 Struktur und Funktion einer SF-Spezifikation.- 19.1.1 Schnittstellen.- 19.1.1.1 UEbernommene Typen.- 19.1.1.2 UEbernommene Signale.- 19.1.2 SF-Typ.- 19.1.2.1 Kopfzeile.- 19.1.2.2 Charakteristische Menge.- 19.1.2.3 Sekundare Typen.- 19.1.2.4 SF-Signale.- 19.1.2.5 SF-Funktionen.- 19.1.3 SF-Ereignis.- 19.1.3.1 Kopfzeile.- 19.1.3.2 Prufbedingungen.- 19.1.3.3 Mengenbedingungen.- 19.1.3.4 Funktionsbedingungen.- 19.1.3.5 Signalbedingungen.- 19.1.4 Responder.- 19.1.4.1 Struktur einer SF-Transaktion.- 19.1.4.1.1 Kopfzeile.- 19.1.4.1.2 Zeitliche Bedingung.- 19.1.4.1.3 Definitionsbereich.- 19.1.4.1.4 Aktion.- 19.1.4.2 Steuerungsmechanismen.- 19.1.4.2.1 Einmalige Durchfuhrung.- 19.1.4.2.2 Periodische Durchfuhrung mit frei wahlbarer Periode.- 19.1.4.2.3 Zielgesteuerte periodische Durchfuhrung.- 19.2 Vollstandiges SF-Segment: Bootsverleih.- 19.3 Vorgangsweise bei der Erstellung einer SF-Spezifikation.- 20 Entsprechungen fur SF-Konstrukte in begrifflichen Graphen.- 20.1 Charakteristischer Typ.- 20.1.1 Strukturelle Spezifikation.- 20.1.1.1 Darstellung der Struktur einer charakteristischen Menge durch Nachbildung einer Mengenstruktur.- 20.1.1.2 Darstellung der Struktur einer charakteristischen Menge durch Eintrag in der Typenhierarchie.- 20.1.1.3 Gewahlte Loesung.- 20.1.2 SF-Funktionen.- 20.1.2.1 Funktion: A?B.- 20.1.2.2 Funktion: A?(B)-set.- 20.1.2.3 Funktion: ?B.- 20.1.2.4 Funktion: ?(B)-set.- 20.1.3 SF-Signale.- 20.2 SF-Ereignisse.- 20.2.1 Prufbedingungen.- 20.2.2 Mengenbedingungen.- 20.2.3 Funktionsbedingungen.- 20.2.4 Signalbedingungen.- 20.3 Responder.- 20.3.1 Zeitliche Bedingung einer SF-Transaktion.- 20.3.2 Definitionsbereich einer SF-Transaktion.- 20.3.3 Durchzufuhrende Aktion.- 20.3.3.1 Ausloesen eines internen SF-Ereignisses.- 20.3.3.2 SF-Prompt und SF-Remind.- 21 UEbersetzung eines SF-Segments in begriffliche Graphen.- 21.1 Formelle Definition der Begriffstypen.- 21.1.1 UEbersetzung der Struktur des charakteristischen Typs.- 21.1.2 Einbindung in die Hierarchie der begrifflichen Basis.- 21.1.3 UEbersetzung der SF-Ereignisse.- 21.1.4 Kopfzeile.- 21.1.5 Prufbedingungen.- 21.1.6 Signalbedingungen.- 21.2 Materielle Definition der Begriffstypen.- 21.3 UEbersetzung der SF-Funktionen.- 21.4 Verbindung zwischen begrifflicher Darstellung und SF.- 21.5 UEbersetzung der SF-Signale.- 21.6 UEbersetzung des Responders.- 22 Entsprechungen fur SF-Konstrukte in begrifflichen Graphen.- 22.1 Charakteristische Typen.- 22.1.1 Auswahlkriterien.- 22.1.2 UEbersetzung.- 22.2 SF-Funktionen.- 22.2.1 Auswahlkriterien.- 22.2.2 UEbersetzung.- 22.2.2.1 Definition einer SF-Funktion aus einer Einfachrelation.- 22.2.2.2 Rollentypen.- 22.2.2.3 Definition einer SF-Funktion aus einer Mehrfachbeziehung.- 22.2.3 UEbertragung der Qualifikation.- 22.2.3.1 Ableitung der zu ubertragenden Quantifikation.- 22.2.3.2 UEbertragung in eine SF-Funktion.- 22.3 SF-Ereignisse.- 22.3.1 Auswahlkriterien.- 22.3.2 UEbersetzung.- 22.4 Dynamische Komponenten eines SF-Modells.- 22.4.1 Definition von SF-Signalen.- 22.4.2 Setzen und Loeschen von SF-Signalen.- 22.4.3 Abfrage von SF-Signalen.- 22.4.4 SF-Transaktionen.- 22.5 Interpretation informaler Inhalte des begrifflichen Modells.- 23 UEbersetzung begrifflicher Graphen nach SF.- 23.1 Definition der SF-Segmente.- 23.1.1 Gliederung des Modells in begrifflichen Graphen.- 23.1.2. Definition der SF-Segmente.- 23.2 UEbersetzung der statischen Komponenten.- 23.3 Vervollstandigung der statischen Komponenten des SF-Modells.- 23.3.1 Zahlenmassige Vervollstandigung der SF-Ereignisse.- 23.3.2 Anpassung der ubersetzten Funktionen und Ereignisse an die SF-Syntax.- 23.3.2.1 Funktionsnamen.- 23.3.2.2 Argumente der Ereignisse.- 23.3.2.3 Ergebnistypen von Funktionen.- 23.3.3 Definition der Funktionsbedingungen.- 23.3.4 Definition der verwendeten Datentypen.- 23.4 UEbersetzung der dynamischen Komponenten.- 23.5 Vervollstandigung der dynamischen Komponenten.- 24 Begriffliche Basis.- 24.1 Typenhierarchie.- 24.2 Begriffstypen.- 24.3 Relationen.- 24.4 Aktoren.- Abbildungsverzeichnis.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions