Handling Regulatory Goal Model Families as Software Product Lines

Goal models can capture the essence of legal and regulation statements and many of their relationships, enabling compliance analysis. However, current goal modeling approaches do not scale well when handling large regulations with many variable parts that depend on different aspects of regulated organizations. In this paper, we propose a tool-supported approach that integrates the Goal-oriented Requirement Language and feature modeling to handle regulatory goal model families. We show how they can be organized as a Software Product Line (SPL), ensuring the consistency of the SPL as a whole, and providing an adapted derivation process associated to a feature model configuration. The proposed approach is also evaluated on large generated SPLs with results suggesting its capability to address scalability concerns.

[1]  Yijun Yu,et al.  Configuring features with stakeholder goals , 2008, SAC '08.

[2]  Michal Antkiewicz,et al.  Mapping features to models: a template approach based on superimposed variants , 2005, GPCE'05.

[3]  John Mylopoulos,et al.  Modeling Domain Variability in Requirements Engineering with Contexts , 2009, ER.

[4]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[5]  John Mylopoulos,et al.  Capturing Contextual Variability in i* Models , 2011, iStar.

[6]  Jaelson Brelaz de Castro,et al.  A Goal Oriented Approach to Identify and Configure Feature Models for Software Product Lines , 2011, WER.

[7]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[8]  Alireza Pourshahid,et al.  An Approach to Specify and Analyze Goal Model Families , 2012, SAM.

[9]  Alireza Pourshahid,et al.  A Systematic Review of Compliance Measurement Based on Goals and Indicators , 2011, CAiSE Workshops.

[10]  Mathieu Acher,et al.  FAMILIAR: A domain-specific language for large scale management of feature models , 2013, Sci. Comput. Program..

[11]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[12]  Krzysztof Czarnecki,et al.  Feature Diagrams and Logics: There and Back Again , 2007 .

[13]  Daniel Amyot,et al.  Goal and scenario modeling, analysis, and transformation with jUCMNav , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

[14]  Don Batory,et al.  Scaling Step-Wise Refinement , 2004, IEEE Trans. Software Eng..

[15]  Gunter Mussbacher,et al.  Combined propagation-based reasoning with goal and feature models , 2014, 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop (MoDRE).

[16]  Marek Hatala,et al.  Goal-driven software product line engineering , 2011, SAC.

[17]  Andreas Classen,et al.  Relating requirements and feature configurations: a systematic approach , 2009, SPLC.

[18]  Pierre-Yves Schobbens,et al.  Generic semantics of feature diagrams , 2007, Comput. Networks.

[19]  Daniel Amyot,et al.  A systematic review of goal-oriented requirements management frameworks for business process compliance , 2011, 2011 Fourth International Workshop on Requirements Engineering and Law.

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

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

[22]  Pierre-Yves Schobbens,et al.  Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[23]  Daniel Amyot,et al.  Transforming regulations into performance models in the context of reasoning for outcome-based compliance , 2013, 2013 6th International Workshop on Requirements Engineering and Law (RELAW).

[24]  Sven Apel,et al.  Granularity in software product lines , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[25]  Daniel Amyot,et al.  Towards outcome-based regulatory compliance in aviation security , 2012, 2012 20th IEEE International Requirements Engineering Conference (RE).

[26]  Krzysztof Czarnecki,et al.  SAT-based analysis of feature models is easy , 2009, SPLC.

[27]  Donald D. Cowan,et al.  S.P.L.O.T.: software product lines online tools , 2009, OOPSLA Companion.