Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen / von Marc Lohmann. 2006
Inhalt
- 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