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.
Type de document :
Communication dans un congrès
Sinz, Elmar J. and Schürr, Andy. Modellierung 2012, Mar 2012, Bamberg, Germany. Gesellschaft für Informatik e. V. (GI), 201, pp.155-170, 2012, Lecture Notes in Informatics (LNI)
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00687124
Contributeur : Fabian Buettner <>
Soumis le : jeudi 12 avril 2012 - 13:37:17
Dernière modification le : vendredi 22 juin 2018 - 09:27:24
Document(s) archivé(s) le : vendredi 13 juillet 2012 - 09:19:26

Fichier

Endfassung_Beitrag_32.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00687124, version 1

Citation

Lars Hamann, Fabian Buettner, Mirco Kuhlmann, Martin Gogolla. Optimierte Suche von Modellinstanzen UML/OCL-Beschreibungen in USE. Sinz, Elmar J. and Schürr, Andy. Modellierung 2012, Mar 2012, Bamberg, Germany. Gesellschaft für Informatik e. V. (GI), 201, pp.155-170, 2012, Lecture Notes in Informatics (LNI). 〈hal-00687124〉

Partager

Métriques

Consultations de la notice

395

Téléchargements de fichiers

373