skip to main content
10.1145/3550356.3556501acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article
Open access

Tool support for the teaching of state-based behavior modeling

Published: 09 November 2022 Publication History

Abstract

Modeling tools are commonly adopted in classrooms. However, complex state-based behavioral models still pose a challenge for students to understand and validate, mostly because of the intricate semantics of these models. We investigated this challenge and developed dedicated tool support in the form of a validation framework based on the YAKINDU Statechart Tools. Our validation framework simulates environments that interact with the code generated from statecharts as a means to animate various open-ended scenarios and predefined test cases that challenge the students' models. This enables short and user-friendly feedback cycles, which lowers the barrier for students to learn state-based behavioral models. We designed the validation framework to be extensible and made it available as an open source project together with two example environments and complete teaching materials. We report on our experiences in two undergraduate modeling courses (approx. 100 students each). Our results are promising in the sense that we detected positive effects of tool adoption and a surprising lack thereof, which we discuss w.r.t. lessons learned and future work.

References

[1]
Luciane T. Agner, Timothy C. Lethbridge, and Inali W. Soares. 2019. Student Experience with Software Modeling Tools. Software and Systems Modeling 18, 5 (2019).
[2]
Younes Boubekeur and Gunter Mussbacher. 2020. Towards a better understanding of interactions with a domain modeling assistant. In MODELS '20 Companion. ACM.
[3]
Bart Broekman and Edwin Notenboom. 2003. Testing embedded software. Pearson Education.
[4]
Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Jean-Michel Bruel, Antonio Cicchetti, Jordi Cabot, Sebastien Gerard, Hamna Aslam, Annapaola Marconi, and Mirko Perillo. 2020. Papyrus for gamers, let's play modeling. In MODELS '20 Companion. ACM.
[5]
Loli Burgueño, Javier Luis Cánovas Izquierdo, and Elena Planas. 2021. An empirical study on the impact of introducing a modeling tool in a Requirement Engineering course. In MODELS '21 Companion. IEEE.
[6]
Federico Ciccozzi, Michalis Famelis, Gerti Kappel, Leen Lambers, Sébastien Mosser, Richard F. Paige, Alfonso Pierantonio, Arend Rensink, Rick Salay, Gabi Taentzer, Antonio Vallecillo, and Manuel Wimmer. 2018. How do we teach modelling and model-driven engineering?: a survey. In MODELS '18 Companion. ACM.
[7]
Olive Jean Dunn. 1961. Multiple comparisons among means. Journal of the American statistical association 56, 293 (1961).
[8]
Sol Efroni, David Harel, and Irun R. Cohen. 2005. Reactive Animation: Realistic Modeling of Complex Dynamic Systems. IEEE Computer (2005).
[9]
Claudia Ermel, Karsten Hölscher, Sabine Kuske, and Paul Ziemann. 2005. Animated Simulation of Integrated UML Behavioral Models Basedon Graph Transformation. In 2005 Symposium on Visual Languages and Human-Centric Computing. IEEE.
[10]
Todd Michael Franke, Timothy Ho, and Christina A Christie. 2012. The chi-square test: Often used and more often misinterpreted. American journal of evaluation 33, 3 (2012), 448--458.
[11]
Holger Giese, Leen Lambers, and Christian Zöllner. 2020. From classic to agile: experiences from more than a decade of project-based modeling education. In MODELS '20 Companion. ACM.
[12]
David Harel. 1987. Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, 3 (1987).
[13]
itemis AG. 2022. YAKINDU Statechart Tools. https://www.itemis.com/en/yakindu/state-machine/
[14]
Chris F. Kemerer. 1992. How the learning curve affects CASE tool adoption. IEEE Software 9 (1992). Issue 3.
[15]
Timothy C. Lethbridge, Andrew Forward, Omar Badreddin, Dusan Brestovansky, Miguel Garzon, Hamoud Aljamaan, Sultan Eid, Ahmed Husseini Orabi, Mahmoud Husseini Orabi, Vahdat Abdelzad, Opeyemi Adesina, Aliaa Alghamdi, Abdulaziz Algablan, and Amid Zakariapour. 2021. Umple: Model-driven development for open source and education. Science of Computer Programming 208 (2021).
[16]
Howard Levene. 1961. Robust tests for equality of variances. Contributions to probability and statistics. Essays in honor of Harold Hotelling (1961), 279--292.
[17]
Roderick JA Little and Donald B Rubin. 2019. Statistical analysis with missing data. Vol. 793. John Wiley & Sons.
[18]
Henry B Mann and Donald R Whitney. 1947. On a test of whether one of two random variables is stochastically larger than the other. The annals of mathematical statistics (1947).
[19]
Shinpei Ogata and Mizue Kayama. 2019. SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education. In MODELS '19 Companion. IEEE.
[20]
Elena Planas and Jordi Cabot. 2020. Howare UML class diagrams built in practice? A usability study of two UML tools: Magicdraw and Papyrus. Computer Standards & Interfaces 67 (2020).
[21]
Samuel Sanford Shapiro and Martin B Wilk. 1965. An analysis of variance test for normality (complete samples). Biometrika 52, 3/4 (1965).
[22]
Jon Whittle, John Edward Hutchinson, Mark Rouncefield, Håkan Burden, and Rogardt Heldal. 2017. A taxonomy of tool-related issues affecting the adoption of model-driven engineering. Software and Systems Modeling 16, 2 (2017).
[23]
Frank Wilcoxon. 1992. Individual comparisons by ranking methods. In Breakthroughs in statistics. Springer.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
October 2022
1003 pages
ISBN:9781450394673
DOI:10.1145/3550356
  • Conference Chairs:
  • Thomas Kühn,
  • Vasco Sousa
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]

Sponsors

In-Cooperation

  • Univ. of Montreal: University of Montreal
  • IEEE CS

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 November 2022

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. education
  2. modeling
  3. simulation
  4. statecharts
  5. validation framework

Qualifiers

  • Research-article

Conference

MODELS '22
Sponsor:

Acceptance Rates

Overall Acceptance Rate 118 of 382 submissions, 31%

Upcoming Conference

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 185
    Total Downloads
  • Downloads (Last 12 months)81
  • Downloads (Last 6 weeks)21
Reflects downloads up to 15 Sep 2024

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media