Striewe, Michael; Goedicke, Michael:
Automated Checks on UML Diagrams
In: Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE '11) (Darmstadt 2011) - New York: ACM, 2011, S. 38 - 42
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik
Fakultät für Wirtschaftswissenschaften » Fachgebiet Informatik » Specification of Software Systems
Titel:
Automated Checks on UML Diagrams
Autor(in):
Striewe, Michael im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Goedicke, Michael im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2011
Erschienen in:
Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE '11) (Darmstadt 2011) - New York: ACM, 2011, S. 38 - 42
ISBN
DOI

Abstract:

Automated checks for software artefacts like UML diagrams used in automated assessment or tutoring systems do often rely on direct comparisons between a solution and a sample solution. This approach has drawbacks regarding flexibility in face of different possible solutions which are quite common in modeling tasks. This paper presents an alternative technique for checking UML class diagrams based on graph queries which promises to be more flexible.