poster

Automated assessment of UML activity diagrams

Authors:

Michael Striewe,

Michael GoedickeAuthors Info & Claims

ITiCSE '14: Proceedings of the 2014 conference on Innovation & technology in computer science education

Page 336

https://doi.org/10.1145/2591708.2602657

Published: 21 June 2014 Publication History

Get Access

Abstract

Current approaches to automated assessment of UML diagram mainly focus on static analysis. As this may be insufficient for behavioural diagrams, this contribution presents an approach to dynamic checks of UML Activity Diagrams. The approach makes use of trace generation and sequence alignment and shows fair results in preliminary experiments.

References

[1]

J. Soler, I. Boada, F. Prados, J. Poch, and R. Fabregat. A web-based e-learning tool for UML class diagrams. In Education Engineering (EDUCON), 2010 IEEE, pages 973--979, 2010.

Crossref

Google Scholar

[2]

M. Striewe and M. Goedicke. Automated checks on UML diagrams. In Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27--29, pages 38--42, 2011.

Digital Library

Google Scholar

[3]

P. Thomas, N. Smith, and K. Waugh. Automatic Assessment of Sequence Diagrams. In Proceedings for 12th CAA Conference, 2008.

Google Scholar

[4]

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

Crossref

Google Scholar

[5]

E. Ukkonen. Finding Approximate Patterns in Strings. Journal of Algorithms, (6):132--137, 1985.

Google Scholar

Cited By

View all

Hosseinibaghdadabadi MAlam OAlmerge NKienzle J(2023)Automated Grading of Use Cases2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS58315.2023.00029(106-116)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS58315.2023.00029
Tsan JEatinger DPugnali AGonzalez-Maldonado DFranklin DWeintrop DBecker BQuille KLaakso MBarendsen ESimon (2022)Scaffolding Young Learners' Open-Ended Programming Projects with Planning SheetsProceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 110.1145/3502718.3524769(372-378)Online publication date: 7-Jul-2022
https://dl.acm.org/doi/10.1145/3502718.3524769
Gonzalez-Maldonado DPugnali ATsan JEatinger DFranklin DWeintrop D(2022)Investigating the Use of Planning Sheets in Young Learners’ Open-Ended Scratch ProjectsProceedings of the 2022 ACM Conference on International Computing Education Research - Volume 110.1145/3501385.3543972(247-263)Online publication date: 3-Aug-2022
https://dl.acm.org/doi/10.1145/3501385.3543972
Show More Cited By

Index Terms

Automated assessment of UML activity diagrams
1. Applied computing
  1. Education
    1. Computer-assisted instruction

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, ...
A formalism for reasoning about UML activity diagrams

The major problem of UML activity diagrams is the lack of a rigorous approach for verifying the correctness of a model. In this paper, we examine how activity diagrams defined in UML 2.0 standard are formally analyzed using NuSMV model checker. A model ...
A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams
C3S2E '15: Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering

The automatic test cases generation from the UML specification reduces the time and the cost of software development. UML Activity Diagram is one of the behavioral models used for modeling the global behavior of systems. In this paper, we use the graph ...

Comments

Information & Contributors

Information

Published In

ITiCSE '14: Proceedings of the 2014 conference on Innovation & technology in computer science education

June 2014

378 pages

ISBN:9781450328333

DOI:10.1145/2591708

Conference Chairs:
Åsa Cajander
Uppsala University, Sweden
,
Mats Daniels
Uppsala University, Sweden
,
Program Chairs:
Tony Clear
Auckland University of Technology, NZ
,
Arnold Pears
Uppsala University, Sweden

Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 June 2014

Check for updates

Author Tags

Qualifiers

Poster

Conference

ITICSE '14

Sponsor:

Bilkent University
SIGCSE

ITICSE '14: Innovation and Technology in Computer Science Education Conference 2014

June 21 - 25, 2014

Uppsala, Sweden

Acceptance Rates

ITiCSE '14 Paper Acceptance Rate 36 of 164 submissions, 22%;

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

Upcoming Conference

ITiCSE '25

Sponsor:
sigcse

Innovation and Technology in Computer Science Education

June 27 - July 2, 2025

Nijmegen , Netherlands

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
226
Total Downloads

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

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hosseinibaghdadabadi MAlam OAlmerge NKienzle J(2023)Automated Grading of Use Cases2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS58315.2023.00029(106-116)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS58315.2023.00029
Tsan JEatinger DPugnali AGonzalez-Maldonado DFranklin DWeintrop DBecker BQuille KLaakso MBarendsen ESimon (2022)Scaffolding Young Learners' Open-Ended Programming Projects with Planning SheetsProceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 110.1145/3502718.3524769(372-378)Online publication date: 7-Jul-2022
https://dl.acm.org/doi/10.1145/3502718.3524769
Gonzalez-Maldonado DPugnali ATsan JEatinger DFranklin DWeintrop D(2022)Investigating the Use of Planning Sheets in Young Learners’ Open-Ended Scratch ProjectsProceedings of the 2022 ACM Conference on International Computing Education Research - Volume 110.1145/3501385.3543972(247-263)Online publication date: 3-Aug-2022
https://dl.acm.org/doi/10.1145/3501385.3543972
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
Bian WAlam OKienzle JSyriani ESahraoui H(2020)Is automated grading of models effective?Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410944(365-376)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3365438.3410944
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

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Model Checking UML Activity Diagrams in FDR

A formalism for reasoning about UML activity diagrams

A Graph Transformation Approach for Automatic Test Cases Generation from UML Activity Diagrams

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations