Towards Goal Modeling and Analysis for Networks of Collaborative Cyber-Physical Systems

Collaborative cyber-physical systems can dynamically form networks at runtime. Such networks can achieve goals that are unachievable to individual systems. Due to their dynamic natures such networks must handle a variety of configurations which influence the goals that can be achievable. In this paper we investigate the use of an approach combining a goal and a special configuration model to reason about permissible and unwanted network configurations. Preliminary evaluation results from an industrial case study indicate that the approach can help discover problematic network configurations for networks of collaborative cyber-physical systems.

[1]  João Araújo,et al.  Tailoring an Aspectual Goal-oriented Approach to Model Features , 2008, SEKE.

[2]  Ebrahim Bagheri,et al.  Toward automated quality‐centric product line configuration using intentional variability , 2017, J. Softw. Evol. Process..

[3]  Juan Sánchez,et al.  A Goal-Oriented Approach for Variability in BPMN , 2010, WER.

[4]  Manfred Broy,et al.  Challenges in Engineering Cyber-Physical Systems , 2014, Computer.

[5]  Pieter J. Mosterman,et al.  Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems , 2016, Software & Systems Modeling.

[6]  Carla Schuenemann,et al.  A Comparison of Goal-Oriented Approaches to Model Software Product Lines Variability , 2009, ER Workshops.

[7]  Marian Daun,et al.  View-Centric Context Modeling to Foster the Engineering of Cyber-Physical System Networks , 2018, 2018 IEEE International Conference on Software Architecture (ICSA).

[8]  John Mylopoulos,et al.  Goal-oriented requirements engineering: an extended systematic mapping study , 2017, Requirements Engineering.

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

[10]  Ebrahim Bagheri,et al.  From Intentions to Decisions: Understanding Stakeholders' Objectives in Software Product Line Configuration , 2014, SEKE.

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

[12]  Birthe Böhm,et al.  Using View-Based Architecture Descriptions to Aid in Automated Runtime Planning for a Smart Factory , 2019, 2019 IEEE International Conference on Software Architecture Companion (ICSA-C).

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

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

[15]  Marian Daun,et al.  Collaborating Multiple System Instances of Smart Cyber-physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges , 2015, 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems.

[16]  Marian Daun,et al.  Goal modeling for collaborative groups of cyber-physical systems with GRL: reflections on applicability and limitations based on two studies conducted in industry , 2019, SAC.

[17]  Yijun Yu,et al.  From Goals to High-Variability Software Design , 2008, ISMIS.

[18]  Krzysztof Czarnecki,et al.  Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..

[19]  Régine Laleau,et al.  Supporting variability in goal-based requirements , 2009, 2009 Third International Conference on Research Challenges in Information Science.

[20]  Marian Daun,et al.  Model-based documentation of dynamicity constraints for collaborative cyber-physical system architectures: Findings from an industrial case study , 2019, J. Syst. Archit..

[21]  Raian Ali,et al.  Reasoning with contextual requirements: Detecting inconsistency and conflicts , 2013, Inf. Softw. Technol..

[22]  Marian Daun,et al.  Fostering concurrent engineering of cyber-physical systems a proposal for an ontological context framework , 2016, 2016 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC).

[23]  Gunter Mussbacher,et al.  Combined goal and feature model reasoning with the User Requirements Notation and jUCMNav , 2014, 2014 IEEE 22nd International Requirements Engineering Conference (RE).

[24]  Axel van Lamsweerde,et al.  Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

[25]  João Araújo,et al.  Adapting the i* Framework for Software Product Lines , 2009, ER Workshops.

[26]  Carla Schuenemann,et al.  Comparing Configuration Approaches for Dynamic Software Product Lines , 2017, SBES'17.

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

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

[29]  John Mylopoulos,et al.  Visual variability analysis for goal models , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

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