Towards Improved Requirements Engineering with SysML and the User Requirements Notation

The Systems Modeling Language (SysML) is a popular and standardized UML profile for systems engineering applications. In addition to seven conventional UML diagram types, SysML supports requirement diagrams and tables that can be used to capture requirements, their attributes, and their relationships. However, several important concepts such as goals and contributions are not predefined in SysML, hindering the reasoning about tradeoffs and adaptation, especially in emerging socio-cyber-physical systems such as smart cities. In this paper, we provide a preliminary investigation of different ways of combining SysML with the User Requirements Notation (URN), a standard that focuses on the modeling and analysis of goals and scenarios. We argue that SysML and URN are complementary and synergistic, and that their combination enables new requirements modeling, analysis, and management opportunities for new types of systems. Examples of potential integration approaches are discussed, briefly assessed, and illustrated with existing tools for SysML, URN, and requirements management.

[1]  Daniel Amyot,et al.  A DSL for importing models in a requirements management system , 2014, 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE).

[2]  Gerd Gröner,et al.  Validation of User Intentions in Process Models , 2012, CAiSE.

[3]  Daniel Amyot,et al.  Towards Advanced Goal Model Analysis with jUCMNav , 2012, ER Workshops.

[4]  Daniel Amyot,et al.  Deriving Message Sequence Charts from Use Case Maps Scenario Specifications , 2001, SDL Forum.

[5]  Lisane B. de Brisolara,et al.  Integrating UML, MARTE and sysml to improve requirements specification and traceability in the embedded domain , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

[6]  Nelly Bencomo,et al.  RELAX: a language to address uncertainty in self-adaptive systems requirement , 2010, Requirements Engineering.

[7]  Franco Zambonelli,et al.  Towards a General Software Engineering Methodology for the Internet of Things , 2016, ArXiv.

[8]  Dominique Blouin.  Modeling languages for requirements engineering and quantitative analysis of embedded systems , 2013 .

[9]  Enzo Morosini Frazzon,et al.  Towards Socio-Cyber-Physical Systems in Production Networks , 2013 .

[10]  Nelly Bencomo,et al.  Revisiting Goal-Oriented Models for Self-Aware Systems-of-Systems , 2015, 2015 IEEE International Conference on Autonomic Computing.

[11]  Erik Herzog,et al.  4.5.1 Systems Modeling with SysML – an experience report , 2012 .

[12]  Alexander V. Smirnov,et al.  Multi-level Self-organization in Cyber-Physical-Social Systems: Smart Home Cleaning Scenario☆ , 2015 .

[13]  Miroslaw Staron,et al.  On the effect of using SysML requirement diagrams to comprehend requirements: results from two controlled experiments , 2014, EASE '14.

[14]  Daniel Amyot,et al.  Synthesizing SDL from Use Case Maps: An Experiment , 2003, SDL Forum.

[15]  Eric Yu,et al.  Evaluating goal models within the goal-oriented requirement language , 2010 .

[16]  James E. Rumbaugh,et al.  Unified Modeling Language (UML) , 2010, Encyclopedia of Software Engineering.

[17]  Gerd Gröner,et al.  Goal-oriented modeling and verification of feature-oriented product lines , 2014, Software & Systems Modeling.

[18]  Alfredo Matteo,et al.  Correspondencia Semántica entre los lenguajes BPMN y GRL , 2011 .

[19]  Mehrdad Sabetzadeh,et al.  Traceability and SysML design slices to support safety inspections: A controlled experiment , 2014, TSEM.

[20]  Daniel Amyot,et al.  A UML Profile for Goal-Oriented Modeling , 2009, SDL Forum.

[21]  Daniel Amyot,et al.  User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper) , 2011, J. Softw..

[22]  João Araújo,et al.  AoURN-based modeling and analysis of software product lines , 2011, Software Quality Journal.

[23]  Jörg Kienzle,et al.  Concern-Oriented Software Design , 2013, MoDELS.

[24]  Axel van Lamsweerde,et al.  Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .

[25]  Jean-Michel Bruel,et al.  Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems , 2015, J. Syst. Softw..

[26]  João Araújo,et al.  A Systematic Comparison of i* Modelling Tools Based on Syntactic and Well-formedness Rules , 2013, iStar.

[27]  Régine Laleau,et al.  Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling , 2012, ANT/MobiWIS.

[28]  Daniel Amyot,et al.  Practical applications of i∗ in industry: The state of the art , 2013, 2013 21st IEEE International Requirements Engineering Conference (RE).

[29]  Daniel Amyot,et al.  Evaluating goal models within the goal‐oriented requirement language , 2010, Int. J. Intell. Syst..

[30]  Mark von Rosing,et al.  Business Process Model and Notation - BPMN , 2015, The Complete Business Process Handbook, Vol. I.