Hamann, LarsGogolla, MartinKuhlmann, MircoEngels, GregorKaragiannis, DimitrisMayr, Heinrich C.2019-01-172019-01-172010978-3-88579-255-0https://dl.gi.de/handle/20.500.12116/19695In der Softwareentwicklung rücken Modelle zunehmend in den Fokus des Entwicklungsprozesses. Dadurch steigen auch die Anforderungen an deren Qualität. Mit dem an der Universität Bremen entwickelten UML/OCL-Werkzeug USE können bereits bestimmte Qualitätsaspekte von Modellen statisch und dynamisch analysiert werden. Dieser Artikel beschreibt neue Modellierungselemente der UML 2 und zeigt, welchen Beitrag eine Weiterentwicklung von USE auf dem Weg zu einer integrierten Semantik der UML 2 Kompositionsstrukturen leisten kann.deZur Validierung von Kompositionsstrukturen in UML mit USEText/Conference Paper1617-5468