Assessing the influence of feedback-inclusive rapid prototyping on understanding the semantics of parallel UML statecharts by novice modellers

Abstract Context UML diagrams are the de facto standard for analysing, communicating and designing software systems, as well as automated code generation. However there is a certain degree of difficulty in understanding a system represented by means of UML diagrams. Object Our previous research demonstrates a significant improvement in understanding the structural aspects of a system represented as a UML class diagram when using a feedback-inclusive prototype of a model. This paper extends our previous work with an empirical validation study for the effectiveness of the feedback-inclusive rapid prototyping (FIRP) method, on the comprehension of system dynamics represented as multiple interacting UML statecharts . Because models often combine structural and behavioural views that are highly intertwined, we additionally evaluate the effectiveness of the proposed method with respect to comprehension of the between-view consistency. Method The FIRP environment was built following the principles of Design Science Research in Information Systems. This study targets the empirical validation of the effectiveness of the proposed technique using an experimental study method. Two experiments were conducted with the participation of 65 final-year master students in the context of different modelling courses from different study programs at KU Leuven using two two-group factorial experimental designs. The effectiveness of the FIRP method was measured by comparing students’ performance between the cycles with and without the use of the method, using the understandability (comprehension test results) as the dependent variable and the use of FIRP as the independent variable. Effects from unknown variables were neutralized by means of randomized group compositions. The effectiveness of FIRP was additionally assessed with respect to personal characteristics (age, gender, previous knowledge, self-efficacy) and user acceptance (perceived ease of use, perceived utility, preference, satisfaction). Results The findings reveal a significant positive impact of the use of the prototyping technique on students’ comprehension of system dynamics represented as multiple interacting statecharts. Conclusions The findings provide empirical support for the advantage of the use of FIRP over manual inspection of interacting statecharts. The findings also suggest that the method is suitable for training system's analysis and modelling skills when UML statecharts are involved.

[1]  Monique Snoeck,et al.  A PIM-to-Code Requirements Engineering Framework , 2013, MODELSWARD.

[2]  Arne Sølvberg,et al.  Understanding quality in conceptual modeling , 1994, IEEE Software.

[3]  Bernhard Thalheim,et al.  Handbook of Conceptual Modeling - Theory, Practice, and Research Challenges , 2011 .

[4]  Gabriele Bavota,et al.  Identifying the weaknesses of UML class diagrams during data model comprehension , 2011, MODELS'11.

[5]  Florian Matthes,et al.  A Meta-language for EA Information Modeling - State-of-the-Art and Requirements Elicitation , 2010, BMMDS/EMMSAD.

[6]  Monique Snoeck,et al.  Process-mining enabled feedback: "Tell me what I did wrong" vs. "tell me how to do it right" , 2016, Comput. Hum. Behav..

[7]  Monique Snoeck,et al.  Consistency by Construction: The Case of MERODE , 2003, ER.

[8]  Remigijus Gustas,et al.  Conceptual Modeling and Integration of Static and Dynamic Aspects of Service Architectures , 2010, ONTOSE.

[9]  Monique Snoeck,et al.  Assessing the effectiveness of feedback enabled simulation in teaching conceptual modeling , 2014, Comput. Educ..

[10]  Mario Piattini,et al.  A conceptual modeling quality framework , 2011, Software Quality Journal.

[11]  Monique Snoeck,et al.  Enriching Model Execution with Feedback to Support Testing of Semantic Conformance between Models and Requirements - Design and Evaluation of Feedback Automation Architecture , 2016, AMARETTO@MODELSWARD.

[12]  Deborah Compeau,et al.  Computer Self-Efficacy: Development of a Measure and Initial Test , 1995, MIS Q..

[13]  Alan R. Hevner,et al.  Design Science in Information Systems Research , 2004, MIS Q..

[14]  Monique Snoeck,et al.  Technology-Enhanced Support for Learning Conceptual Modeling , 2012, BMMDS/EMMSAD.

[15]  Mario Piattini,et al.  Quality of UML models , 2009, Inf. Softw. Technol..

[16]  Keng Siau,et al.  Unified Modeling Language: A Complexity Analysis , 2001, J. Database Manag..

[17]  Keng Siau,et al.  Theoretical vs. Practical Complexity: The Case of UML , 2005, J. Database Manag..

[18]  Monique Snoeck,et al.  Feedback-Enabled MDA-Prototyping Effects on Modeling Knowledge , 2013, BMMDS/EMMSAD.

[19]  Fred D. Davis,et al.  User Acceptance of Computer Technology: A Comparison of Two Theoretical Models , 1989 .

[20]  Vicente Pelechano,et al.  The OO-method approach for information systems modeling: from object-oriented conceptual modeling to automated programming , 2001, Inf. Syst..

[21]  Stijn Hoppenbrouwers,et al.  Cognitive Mechanisms of Conceptual Modelling - How Do People Do It? , 2013, ER.

[22]  Mario Piattini,et al.  Using Practitioners for Assessing the Understandability of UML Statechart Diagrams with Composite States , 2007, ER Workshops.

[23]  Gayane Sedrakyan Process-oriented feedback perspectives based on feedback-enabled simulation and learning process data analytics. , 2016 .

[24]  Monique Snoeck,et al.  Enterprise Information Systems Engineering : The MERODE Approach , 2014 .

[25]  Ricki G. Ingalls,et al.  Introduction to simulation , 2001, 2008 Winter Simulation Conference.

[26]  Tammy Schellens,et al.  Students' perceptions about the use of video games in the classroom , 2010, Comput. Educ..

[27]  Mario Piattini,et al.  Evaluating the effect of composite states on the understandability of UML statechart diagrams , 2005, MoDELS'05.

[28]  Mario Piattini,et al.  Assessing the understandability of UML statechart diagrams with composite states—A family of empirical studies , 2009, Empirical Software Engineering.

[29]  Monique Snoeck,et al.  Do we need to teach testing skills in courses on requirements engineering and modelling , 2014 .

[30]  Mario Piattini,et al.  The impact of structural complexity on the understandability of UML statechart diagrams , 2010, Inf. Sci..

[31]  Monique Snoeck,et al.  Computer Aided Modelling Exercises , 2007, Informatics Educ..

[32]  Patrick Wessa,et al.  A constructivist approach in a blended e-learning environment for statistics , 2015, Interact. Learn. Environ..

[33]  Monique Snoeck,et al.  Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types , 1998, IEEE Trans. Software Eng..

[34]  Gordon B. Davis,et al.  User Acceptance of Information Technology: Toward a Unified View , 2003, MIS Q..

[35]  Monique Snoeck,et al.  Design and evaluation of feedback automation architecture: Enriching model execution with feedback to support testing of semantic conformance between models and requirements , 2016, International Conference on Model-Driven Engineering and Software Development.

[36]  Mario Piattini,et al.  Using Controlled Experiments for Validating UML Statechart Diagrams Measures , 2007, IWSM/Mensura.

[37]  Timothy A. Hess Investigation of Prototype Roles in Conceptual Design using Case Study and Protocol Study Methods , 2012 .

[38]  Li Dan,et al.  Towards a Formal Behavioral Semantics for UML Interactions , 2010, 2010 Third International Symposium on Information Science and Engineering.

[39]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.

[40]  Christina Keller,et al.  User Acceptance of Virtual Learning Environments: A Case Study from Three Northern European Universities , 2009, Commun. Assoc. Inf. Syst..

[41]  Monique Snoeck,et al.  Effects of Simulation on Novices' Understanding of the Concept of Inheritance in Conceptual Modeling , 2015, ER Workshops.

[42]  Jerry Banks Introduction to simulation , 1999, WSC '99.

[43]  Jun Sun,et al.  A Formal Semantics for Complete UML State Machines with Communications , 2013, IFM.

[44]  Marcus Ciolkowski,et al.  High quality statecharts through tailored, perspective-based inspections , 2003, 2003 Proceedings 29th Euromicro Conference.

[45]  Christian Lange,et al.  Improving the quality of UML models in practice , 2006, ICSE.

[46]  Monique Snoeck,et al.  Process mining analysis of conceptual modeling behavior of novices - empirical study using JMermaid modeling and experimental logging environment , 2014, Comput. Hum. Behav..

[47]  Barbara H Wixom,et al.  A Theoretical Integration of User Satisfaction and Technology Acceptance , 2005, Inf. Syst. Res..

[48]  Rik Eshuis,et al.  Requirements Level Semantics for UML Statecharts , 2000, FMOODS.

[49]  Monique Snoeck,et al.  Lightweight Semantic Prototyper for Conceptual Modeling , 2014, ER Workshops.

[50]  Guido Dedene,et al.  Formal Deadlock Elimination in an Object Oriented Conceptual Schema , 1995, Data Knowl. Eng..

[51]  Slavomir Stankov,et al.  Controlled experiment replication in evaluation of e-learning system's educational influence , 2009, Comput. Educ..

[52]  Nicholas P. Vitalari,et al.  Differences Between Novice and Expert Systems Analysts: What Do We Know and What Do We Do? , 1998, J. Manag. Inf. Syst..

[53]  Maria C. Yang,et al.  A study of prototypes, design activity, and design outcome , 2005 .

[54]  Mario Piattini,et al.  Defining Metrics for UML Statechart Diagrams in a Methodological Way , 2003, ER.

[55]  Albert H. Segars,et al.  Re-examining perceived ease of use and usefulness , 1993 .

[56]  D. Kalyani,et al.  Innovative Teaching and Learning , 2018 .

[57]  Luiz Fernando Capretz A brief history of the object-oriented approach , 2003, SOEN.

[58]  Blake Ives,et al.  The measurement of user information satisfaction , 1983, CACM.

[59]  Jean Bézivin,et al.  Model Driven Engineering: An Emerging Technical Space , 2005, GTTSE.

[60]  Filippo Ricca,et al.  What are the used UML diagrams? A Preliminary Survey , 2013, EESSMOD@MoDELS.

[61]  José Javier Dolado,et al.  Evaluation of the comprehension of the dynamic modeling in UML , 2004, Inf. Softw. Technol..

[62]  Susanna Donatelli,et al.  A compositional semantics for UML state machines aimed at performance evaluation , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[63]  Ravi Paul,et al.  Analyzing the structure of expert knowledge , 2006, Inf. Manag..