Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen / von Marc Lohmann. 2006
Content
Inhaltsverzeichnis
Einleitung
Kontraktbasierte Modellierung, Implementierung und Suche in serviceorientierten Architekturen
Design by Contract
OO und DbC
Modelle für Web Services
Visuelle Kontrakte
Model-Driven Monitoring
Model-Driven Matching
Fazit
Aufbau der Arbeit
Bibliographische Hinweise
Visuelle Kontrakte
Verwandte Arbeiten
Modellierung von Kontrakten
Metamodell für visuelle Kontrakte
Semantik von visuellen Kontrakten
Fazit
Model-Driven Monitoring
Verwandte Arbeiten
Übersetzung von Klassendiagrammen nach Java
Übersetzung visueller Kontrakte nach JML
Teilgraphensuche
Struktur von JML-Annotationen
Übersetzung visueller Kontrakte nach JML: Intuitiver Ansatz
Detaillierung der intuitiven Übersetzung
Visuelle Kontrakte in der Implementierung
Fazit
Spezifikation der Transformation
Formale Spezifikationen
Existierende Ansätze
Transformation von Modellen in Code
Transformation von Modellen in Modelle
Hybride Ansätze: Kombination von Graphtransformationen mit templatebasierten Ansätzen
Spezifikation der Transformation nach JML
Transformationsregeln
Fazit
Model-Driven Matching
Verwandte Arbeiten
Semantische Beschreibungen
Matching von visuellen Kontrakten
Matching --- formale Definition
Fazit
Matching, Semantic-Web-Technologien
Semantic Web
Semantic-Web-Sprachen
Ontologien, visuelle Kontrakte, Semantic Web
Matching-Algorithmus
Fazit
Visual Contract Workbench
Eclipse
Produktfunktionen
Modellierung von Klassendiagrammen
Modellierung von visuellen Kontrakten
Codegenerierung
Generierung von Semantic-Web-Repräsentationen
Modelle als Vorlage verwenden
Bearbeiten des Java-Codes
Starten des Compilers
Architektur der Visual Contract Workbench
Fazit
Zusammenfassung und Ausblick
Beschreibung Metamodellklassen
Klasse Constraint
Klasse DependentParameter
Klasse NegativeCondition
Klasse Parameter
Klasse Postcondition
Klasse Precondition
Klasse VCElement
Klasse VisualContract
Transformationsregeln VC2JML
Grundgerüst einer JML-Spezifikation
Erstellung der Vorbedingung
Überprüfung der Variablen des Elements self
Abhängige Elemente des Objekts self überprüfen
Abhängige Elemente überprüfen
Links zu besuchten Elementen überprüfen
Abschluss der Suche
Überprüfung der Attributinhalte --- Vorbereitung
Attributinhalte in Vorbedingung
Bearbeitung von Variablen
DAML+OIL
Literaturverzeichnis