A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models

Model-Driven Engineering has been proposed to increase the productivity of developing a software system. Despite its benefits, it has not been fully adopted in the software industry. Research has shown that modelling tools are amongst the top barriers for the adoption of MDE by industry. Recently, researchers have conducted empirical studies to identify the most-severe cognitive difficulties of modellers when using UML model editors. Their analyses show that users' prominent challenges are in remembering the contextual information when performing a particular modelling task; and locating, understanding, and fixing errors in the models. To alleviate these difficulties, we propose two Focus+Context user interfaces that provide enhanced cognitive support and automation in the user's interaction with a model editor. Moreover, we conducted two empirical studies to assess the effectiveness of our interfaces on human users. Our results reveal that our interfaces help users 1) improve their ability to successfully fulfil their tasks, 2) avoid unnecessary switches among diagrams, 3) produce more error-free models, 4) remember contextual information, and 5) reduce time on tasks.

[1]  Friedrich Steimann,et al.  Generic Model Assist , 2013, MoDELS.

[2]  Anna Zamansky,et al.  Cognitive factors in inconsistency management , 2015, 2015 IEEE 23rd International Requirements Engineering Conference (RE).

[3]  Deborah A Boehm-Davis,et al.  Reducing the disruptive effects of interruption: a cognitive framework for analysing the costs and benefits of intervention strategies. , 2009, Accident; analysis and prevention.

[4]  Brian P. Bailey,et al.  On the need for attention-aware systems: Measuring effects of interruption on task performance, error rate, and affective state , 2006, Comput. Hum. Behav..

[5]  Michael Stegmaier,et al.  A study design template for identifying usability issues in graphical modeling tools , 2018, MODELS Workshops.

[6]  Mik Kersten.  Focusing knowledge work with task context , 2007 .

[7]  Benoît Combemale,et al.  The Relevance of Model-Driven Engineering Thirty Years from Now , 2014, MoDELS.

[8]  Martin Glinz,et al.  Object-oriented modeling with A , 2002, Inf. Syst..

[9]  Bashar Nuseibeh,et al.  Making inconsistency respectable in software development , 2001, J. Syst. Softw..

[10]  Benjamin B. Bederson,et al.  A review of overview+detail, zooming, and focus+context interfaces , 2009, CSUR.

[11]  Martin Glinz,et al.  An Exploratory Study on User Interaction Challenges When Handling Interconnected Requirements Artifacts of Various Sizes , 2016, 2016 IEEE 24th International Requirements Engineering Conference (RE).

[12]  Markus Scheidgen,et al.  Integrating Content Assist into Textual Modelling Editors , 2008, Modellierung.

[13]  Michel R. V. Chaudron,et al.  In practice: UML software architecture and design description , 2006, IEEE Software.

[14]  Ahmed Elfatatry,et al.  Detecting defects in software requirements specification , 2014 .

[15]  Sahar Kokaly,et al.  User Experience for Model-Driven Engineering: Challenges and Future Directions , 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[16]  Timothy Lethbridge,et al.  Umple: A framework for Model Driven Development of Object-Oriented Systems , 2015, 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER).

[17]  Bran Selic,et al.  Papyrus: A UML2 Tool for Domain-Specific Language Modeling , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[18]  Ramon R. H. Schiffelers,et al.  Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts , 2018, MoDELS.

[19]  Jonathan I. Maletic,et al.  Onion Graphs for Focus+Context Views of UML Class Diagrams , 2007, 2007 4th IEEE International Workshop on Visualizing Software for Understanding and Analysis.

[20]  Alexander Egyed,et al.  Instant consistency checking for the UML , 2006, ICSE.

[21]  James H. Hill,et al.  Proactive modeling: auto-generating models from their semantics and constraints , 2012, DSM '12.

[22]  Pauline A. Smith.  Towards a Practical Measure of Hypertext Usability , 1996, Interact. Comput..

[23]  Jeff Sauro,et al.  Quantifying the User Experience: Practical Statistics for User Research , 2012 .

[24]  Joanne M. Atlee,et al.  An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools , 2018, MoDELS.

[25]  Jari Peltonen,et al.  Adding speech recognition support to UML tools , 2005, J. Vis. Lang. Comput..

[26]  Jason E. Robbins,et al.  Cognitive support, UML adherence, and XMI interchange in Argo/UML , 2000, Inf. Softw. Technol..

[27]  Wolfgang Emmerich,et al.  Flexible consistency checking , 2003, TSEM.

[28]  Michel R. V. Chaudron,et al.  Effects of defects in UML models: an experimental investigation , 2006, ICSE.

[29]  Subhasis Das,et al.  Contextual Code Completion Using Machine Learning , 2015 .

[30]  Markus Herrmannsdoerfer,et al.  Language Evolution in Practice: The History of GMF , 2009, SLE.

[31]  Mehrdad Sabetzadeh,et al.  Consistency Checking of Conceptual Models via Model Merging , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[32]  Pascal Roques,et al.  MBSE with the ARCADIA Method and the Capella Tool , 2016 .

[33]  Brian P. Bailey,et al.  If not now, when?: the effects of interruption at different moments within task execution , 2004, CHI.

[34]  Horst Lichter,et al.  Enabling Model Recommenders for Command-Enabled Editors , 2013, MDEBE@MoDELS.

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

[36]  James H. Hill,et al.  Proactive modeling: a new model intelligence technique , 2017, Software & Systems Modeling.

[37]  Norbert Seyff,et al.  FlexiView: A Magnet-Based Approach for Visualizing Requirements Artifacts , 2015, REFSQ.

[38]  Eran Yahav,et al.  Code completion with statistical language models , 2014, PLDI.

[39]  T. Rigotti,et al.  Interruptions to workflow: Their relationship with irritation and satisfaction with performance, and the mediating roles of time pressure and mental demands , 2013 .

[40]  Tom Mens,et al.  Detecting model inconsistency through operation-based model construction , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.