Using empirical studies to mitigate symbol overload in iStar extensions

Modelling languages are frequently extended to include new constructs to be used together with the original syntax. New constructs may be proposed by adding textual information, such as UML stereotypes, or by creating new graphical representations. Thus, these new symbols need to be expressive and proposed in a careful way to increase the extension’s adoption. A method to create symbols for the original constructs of a modelling language was proposed and has been used to create the symbols when a new modelling language is designed. We argue this method can be used to recommend new symbols for the extension’s constructs. However, it is necessary to make some adjustments since the new symbols will be used with the existing constructs of the modelling language original syntax. In this paper, we analyse the usage of this adapted method to propose symbols to mitigate the occurrence of overloaded symbols in the existing iStar extensions. We analysed the existing iStar extensions in an SLR and identified the occurrence of symbol overload among the existing constructs. We identified a set of fifteen overloaded symbols in existing iStar extensions. We used these concepts with symbol overload in a multi-stage experiment that involved users in the visual notation design process. The study involved 262 participants, and its results revealed that most of the new graphical representations were better than those proposed by the extensions, with regard to semantic transparency. Thus, the new representations can be used to mitigate this kind of conflict in iStar extensions. Our results suggest that next extension efforts should consider user-generated notation design techniques in order to increase the semantic transparency.

[1]  Haralambos Mouratidis,et al.  Model Based Process to Support Security and Privacy Requirements Engineering , 2012, Int. J. Secur. Softw. Eng..

[2]  John Mylopoulos,et al.  Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments , 2010, CAiSE.

[3]  Joaquín Pérez Ortega,et al.  Un nuevo enfoque basado en servicios para modelar empresas , 2013, Computación y Sistemas.

[4]  Luciano Baresi,et al.  GODA: A goal-oriented requirements engineering framework for runtime dependability analysis , 2016, Inf. Softw. Technol..

[5]  Nelson Goodman,et al.  Languages of Art, an Approach to a Theory of Symbols , 1970 .

[6]  João Araújo,et al.  PRISE: A process to support iStar extensions , 2020, J. Syst. Softw..

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

[8]  Marco Brambilla,et al.  Analysing the cognitive effectiveness of the WebML visual notation , 2017, Software & Systems Modeling.

[9]  John Mylopoulos,et al.  Capturing Variability of Law with Nómos 2 , 2012, ER.

[10]  John Mylopoulos,et al.  On Temporally Annotating Goal Models , 2010, iStar.

[11]  Yijun Yu,et al.  Requirements-driven design of autonomic application software , 2016, CASCON.

[12]  Eric S. K. Yu,et al.  Finding Solutions in Goal Models: An Interactive Backward Reasoning Approach , 2010, ER.

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

[14]  John Mylopoulos,et al.  Designing Law-Compliant Software Requirements , 2009, ER.

[15]  T Boersema,et al.  Evaluation of a set of graphic symbols. , 1983, Applied ergonomics.

[16]  Wilhelm Rossak,et al.  Tracing the Interdependencies between Architecture and Organization in Goal-Oriented Extensible Models , 2013, 2013 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems.

[17]  Jordi Cabot,et al.  Model-Driven Software Engineering in Practice , 2017, Synthesis Lectures on Software Engineering.

[18]  Walter F. Tichy,et al.  Hints for Reviewing Empirical Work in Software Engineering , 2000, Empirical Software Engineering.

[19]  Gerhard Lakemeyer,et al.  SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog , 2002, CAiSE.

[20]  Miguel Goulão,et al.  Improving the Developer Experience with a Low-Code Process Modelling Language , 2018, MoDELS.

[21]  João Araújo,et al.  A Systematic Literature Review of iStar extensions , 2018, J. Syst. Softw..

[22]  Xavier Franch,et al.  iStar 2.0 Language Guide , 2016, ArXiv.

[23]  João Araújo,et al.  Understanding what is important in iStar extension proposals: the viewpoint of researchers , 2018, Requirements Engineering.

[24]  N. Goodman,et al.  Languages of art : an approach to a theory of symbols , 1979 .

[25]  John Mylopoulos,et al.  Security and privacy requirements analysis within a social setting , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[26]  João Araújo,et al.  Increasing the Semantic Transparency of the KAOS Goal Model Concrete Syntax , 2018, ER.

[27]  Paolo Giorgini,et al.  GRAnD: A goal-oriented approach to requirement analysis in data warehouses , 2008, Decis. Support Syst..

[28]  Raian Ali,et al.  Location-Based Software Modeling and Analysis: Tropos-Based Approach , 2008, ER.

[29]  Daniel L. Moody,et al.  The “Physics” of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering , 2009, IEEE Transactions on Software Engineering.

[30]  Paolo Giorgini,et al.  Security requirements engineering via commitments , 2011, 2011 1st Workshop on Socio-Technical Aspects in Security and Trust (STAST).

[31]  Anna Perini,et al.  Engineering requirements for adaptive systems , 2015, Requirements Engineering.

[32]  Anna Perini,et al.  Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability , 2008, CAiSE.

[33]  William C. Howell,et al.  Population stereotypy in code design , 1968 .

[34]  Patrick Heymans,et al.  Visual notation design 2.0: Towards user comprehensible requirements engineering notations , 2013, 2013 21st IEEE International Requirements Engineering Conference (RE).

[35]  Raian Ali,et al.  Requirements-driven deployment , 2012, Software & Systems Modeling.

[36]  João Araújo,et al.  Towards Extension Mechanisms in iStar 2.0 , 2018, iSTAR@CAiSE.

[37]  Daniel Amyot,et al.  Legal goal-oriented requirement language (legal GRL) for modeling regulations , 2014, MiSE 2014.

[38]  Munindar P. Singh,et al.  Xipho: extending tropos to engineer context-aware personal agents , 2014, AAMAS.

[39]  Russ Miles,et al.  Learning UML 2.0 , 2006 .

[40]  John Mylopoulos,et al.  Towards a framework for law-compliant software requirements , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

[41]  Luis C. Santillán,et al.  A New Service-Based Approach for Enterprise Modeling , 2013 .

[42]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[43]  Sheila J. Jones Stereotypy in pictograms of abstract concepts , 1983 .

[44]  Joaquín Pérez Ortega,et al.  A Methodology for Modeling Ambient Intelligence Applications using i* Framework , 2016, iStar.

[45]  Haralambos Mouratidis,et al.  Secure Tropos framework for software product lines requirements engineering , 2014, Comput. Stand. Interfaces.

[46]  Haralambos Mouratidis,et al.  A framework to support selection of cloud providers based on security and privacy requirements , 2013, J. Syst. Softw..

[47]  Paolo Giorgini,et al.  Goal-oriented requirement analysis for data warehouse design , 2005, DOLAP '05.

[48]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[49]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[50]  Natalia Juristo Juzgado,et al.  Basics of Software Engineering Experimentation , 2010, Springer US.

[51]  Raian Ali,et al.  A Goal Modeling Framework for Self-contextualizable Software , 2009, BMMDS/EMMSAD.

[52]  Jaelson Castro,et al.  CATIE: A Catalogue of iStar Extensions , 2018 .