Optimierte Suche von Modellinstanzen UML/OCL-Beschreibungen in USE

Lars Hamann 1 Fabian Buettner 2 Mirco Kuhlmann 3 Martin Gogolla 4, 5
1 Database Systems Group
TZi - Technologie-Zentrum Informatik und Informationstechnik, Computer science departement [Bremen]
2 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
3 Database System Group
TZi - Technologie-Zentrum Informatik und Informationstechnik, Computer science departement [Bremen]
Résumé : Konzeptuelle Modelle sind ein wichtiges Element modellgetriebener Softwareentwicklung, sowohl in der Beschreibung von Systemen als auch in der Metamodellierung domänenspezifischer Sprachen. Zu ihrer Beschreibung haben sich UML und OCL (und angelehnte Sprachen) als ein de facto Standard durchgesetzt. Validierung und Verifikation der Modelle sind hierbei wichtige Instrumente zur Sicherstellung der Modellqualität. Die Sprache ASSL (A Snapshot Sequence Language) bietet die Möglichkeit durch imperative Programmierung auf Modellebene und Backtracking konforme Instanzen systematisch zu erzeugen. Der White-Box-Ansatz ASSL ergänzt Black-Box-Ansätze, welche die Modellinstanziierung durch Abbildung auf (bspw.) ein Problem der relationalen Logik lösen. Dieser Beitrag beschreibt, wie die durch ASSL-Programme aufgespannten Suchräume durch Ausnutzung der Modellabdeckung der OCL-Constraints und der Modellstruktur erheblich verkleinert werden können und gibt einen Ausblick darauf, wie bestehende Black-Box-Ansätze in ASSL integriert werden können, um innerhalb eines imperativen Rahmens Teilinstanziierungen deklarativ beschreiben zu können.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-00687124
Contributor : Fabian Buettner <>
Submitted on : Thursday, April 12, 2012 - 1:37:17 PM
Last modification on : Friday, June 22, 2018 - 9:27:24 AM
Document(s) archivé(s) le : Friday, July 13, 2012 - 9:19:26 AM

File

Endfassung_Beitrag_32.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00687124, version 1

Citation

Lars Hamann, Fabian Buettner, Mirco Kuhlmann, Martin Gogolla. Optimierte Suche von Modellinstanzen UML/OCL-Beschreibungen in USE. Modellierung 2012, Mar 2012, Bamberg, Germany. pp.155-170. ⟨hal-00687124⟩

Share

Metrics

Record views

400

Files downloads

425