Zur Validierung von Kompositionsstrukturen in UML mit USE

Abstract
In 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.
  • Citation
  • BibTeX
Hamann, L., Gogolla, M. & Kuhlmann, M., (2010). Zur Validierung von Kompositionsstrukturen in UML mit USE. In: Engels, G., Karagiannis, D. & Mayr, H. C. (Hrsg.), Modellierung 2010. Bonn: Gesellschaft für Informatik e.V.. (S. 169-177).
@inproceedings{mci/Hamann2010,
author = {Hamann, Lars AND Gogolla, Martin AND Kuhlmann, Mirco},
title = {Zur Validierung von Kompositionsstrukturen in UML mit USE},
booktitle = {Modellierung 2010},
year = {2010},
editor = {Engels, Gregor AND Karagiannis, Dimitris AND Mayr, Heinrich C.} ,
pages = { 169-177 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
169.pdf149.8Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-255-0
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2010
Language: de (de)
Content Type: Text/Conference Paper
Collections

Show full item record