research-article

Automated checks on UML diagrams

Authors:

Michael Striewe,

Michael GoedickeAuthors Info & Claims

ITiCSE '11: Proceedings of the 16th annual joint conference on Innovation and technology in computer science education

Pages 38 - 42

https://doi.org/10.1145/1999747.1999761

Published: 27 June 2011 Publication History

Get Access

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.

References

[1]

D. Bildhauer and J. Ebert. Querying software abstraction graphs. In Working Session on Query Technologies and Applications for Program Comprehension (QTAPC 2008), collocated with ICPC 2008, 2008.

Google Scholar

[2]

C. A. Higgins and B. Bligh. Formative computer based assessment in diagram based domains. In Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, ITICSE '06, pages 98--102, New York, NY, USA, 2006. ACM.

Digital Library

Google Scholar

[3]

A. Hoffmann, A. Quast, and R. Wismüller. Online-Übungssystem für die Programmierausbildung zur Einführung in die Informatik. In S. Seehusen, U. Lucke, and S. Fischer, editors, DeLFI 2008, 6. e-Learning Fachtagung Informatik, volume 132 of LNI, pages 173--184. GI, 2008.

Google Scholar

[4]

C. Köllmann and M. Goedicke. Automation of Java Code Analysis for Programming Exercises. In Proceedings of the Third International Workshop on Graph Based Tools, volume 1 of Electronic Communications of the EASST, 2006.

Google Scholar

[5]

OMG. MOF 2.0 / XML Metadata Interchange (XMI), v2.1.1 specification, 2007. http://www.omg.org/spec/XMI/2.1.1/.

Google Scholar

[6]

M. Striewe, M. Balz, and M. Goedicke. A flexible and modular software architecture for computer aided assessments and automated marking. In Proceedings of the First International Conference on Computer Supported Eductation (CSEDU), 23 - 26 March 2009, Lisboa, Portugal, volume 2, pages 54--61. INSTICC, 2009.

Google Scholar

[7]

P. Thomas, N. Smith, and K. Waugh. Automatically assessing graph-based diagrams. Learning, Media and Technology, 33(3):249--267, 2008.

Crossref

Google Scholar

[8]

P. Thomas, K. Waugh, and N. Smith. Experiments in the automatic marking of ER-diagrams. In ITiCSE '05: Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, pages 158--162, New York, NY, USA, 2005. ACM.

Digital Library

Google Scholar

[9]

A. Tsintsifas. A Framework for the Computer Based Assessment of Diagram Based Coursework. PhD thesis, University of Nottingham, School of Computer Science and Information Technology, 2002.

Google Scholar

Cited By

View all

Hamann MGötz SAßmann UCombemale BWimmer MChechik MEgyed A(2024)Towards an Interoperable Model-driven Automated Assessment System for Computer Science EducationProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3687775(95-102)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3652620.3687775
Vachharajani VPareek J(2020)Effective Structure Matching Algorithm for Automatic Assessment of Use-Case DiagramInternational Journal of Distance Education Technologies10.4018/IJDET.202010010318:4(31-50)Online publication date: 1-Oct-2020
https://dl.acm.org/doi/10.4018/IJDET.2020100103
Vachharajani VPareek J(2020)Framework To Approximate Label Matching For Automatic Assessment Of Use-Case DiagramInternational Journal of Distance Education Technologies10.4018/IJDET.201907010517:3(75-95)Online publication date: 1-Oct-2020
https://dl.acm.org/doi/10.4018/IJDET.2019070105
Show More Cited By

Index Terms

Automated checks on UML diagrams
1. Applied computing
  1. Education
    1. Computer-assisted instruction
2. Software and its engineering
  1. Software notations and tools
    1. System description languages
      1. Specification languages

Recommendations

Model Checking UML Activity Diagrams in FDR
ICIS '09: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science

The Unified Modeling Language (UML) is the de-facto industrial standard for modeling object-oriented software systems. UML Activity diagrams (ADs) can be used for software modeling and they have under gone significant changes with UML 2.0 specification, ...
Formalization of UML diagrams and their consistency verification: A Z notation based approach
ISEC '08: Proceedings of the 1st India software engineering conference

In this paper, we have suggested a methodology for formalizing some of the commonly used UML diagrams that are used in different phases of software development in Z notation, establish their relationship and then represent the "formalized" diagrams ...
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool
BM-FA '14: Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications

This contribution discusses system modeling with UML behavior diagrams. We consider statecharts and both kinds of interaction diagrams, i.e., sequence and communication diagrams. We present new implementation features in a UML and OCL modeling tool: (1) ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ITiCSE '11: Proceedings of the 16th annual joint conference on Innovation and technology in computer science education

June 2011

418 pages

ISBN:9781450306973

DOI:10.1145/1999747

General Chair:
Guido Rößling
TU Darmstadt, Germany
,
Program Chairs:
Tom Naps
University of Wisconsin Oshkosh, USA
,
Christian Spannagel
PH Heidelberg, Germany

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 June 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ITiCSE '11

Sponsor:

SIGCSE

ITiCSE '11: Annual Conference on Innovation and Technology in Computer Science Education

June 27 - 29, 2011

Darmstadt, Germany

Acceptance Rates

Overall Acceptance Rate 552 of 1,613 submissions, 34%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
333
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)0

Reflects downloads up to 26 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hamann MGötz SAßmann UCombemale BWimmer MChechik MEgyed A(2024)Towards an Interoperable Model-driven Automated Assessment System for Computer Science EducationProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3687775(95-102)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3652620.3687775
Vachharajani VPareek J(2020)Effective Structure Matching Algorithm for Automatic Assessment of Use-Case DiagramInternational Journal of Distance Education Technologies10.4018/IJDET.202010010318:4(31-50)Online publication date: 1-Oct-2020
https://dl.acm.org/doi/10.4018/IJDET.2020100103
Vachharajani VPareek J(2020)Framework To Approximate Label Matching For Automatic Assessment Of Use-Case DiagramInternational Journal of Distance Education Technologies10.4018/IJDET.201907010517:3(75-95)Online publication date: 1-Oct-2020
https://dl.acm.org/doi/10.4018/IJDET.2019070105
Reischmann TKuchen HHung CPapadopoulos G(2019)A web-based e-assessment tool for design patterns in UML class diagramsProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3297520(2435-2444)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3297520
Vesin BKlašnja-Milićević AMangaroska KIvanović MJolak RStikkolorum DChaudron M(2018)Web-based educational ecosystem for automatization of teaching process and assessment of studentsProceedings of the 8th International Conference on Web Intelligence, Mining and Semantics10.1145/3227609.3227662(1-9)Online publication date: 25-Jun-2018
https://dl.acm.org/doi/10.1145/3227609.3227662
Reischmann TKuchen HSheard JMontero C(2016)Towards an E-assessment tool for advanced software engineering skillsProceedings of the 16th Koli Calling International Conference on Computing Education Research10.1145/2999541.2999550(81-90)Online publication date: 24-Nov-2016
https://dl.acm.org/doi/10.1145/2999541.2999550
Vachharajani VVasant SPareek J(2016)Feasibility Study of Proposed Architecture for Automatic Assessment of Use-Case DiagramProceedings of International Conference on ICT for Sustainable Development10.1007/978-981-10-0129-1_11(97-104)Online publication date: 11-Feb-2016
https://doi.org/10.1007/978-981-10-0129-1_11
Weerasinghe AEvans B(2015)UML-IT: An ITS to Teach Multiple Modelling TasksArtificial Intelligence in Education10.1007/978-3-319-19773-9_123(816-819)Online publication date: 17-Jun-2015
https://doi.org/10.1007/978-3-319-19773-9_123
Striewe MGoedicke MCajander ÅDaniels MClear TPears A(2014)Automated assessment of UML activity diagramsProceedings of the 2014 conference on Innovation & technology in computer science education10.1145/2591708.2602657(336-336)Online publication date: 21-Jun-2014
https://dl.acm.org/doi/10.1145/2591708.2602657

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Model Checking UML Activity Diagrams in FDR

Formalization of UML diagrams and their consistency verification: A Z notation based approach

Behavior Modeling with Interaction Diagrams in a UML and OCL Tool