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
ISBN: 978-1-4503-0697-3
Buchaufsatz / Kapitel / Fach: Informatik
Fakultät für Wirtschaftswissenschaften » Fachgebiet Informatik » Specification of Software Systems
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.