From Features to Roles

Research output: Contribution to book/conference proceedings/anthology/reportConference contributionContributed

Abstract

The detection of interactions is a challenging task present in almost all stages of software development. In feature-oriented system design, this task is mainly investigated for interactions of features within a single system, detected by their emergent behaviors. We propose a formalism to describe interactions in hierarchies of feature-oriented systems (hierarchical interactions) and the actual situations where features interact (active interplays). Based on the observation that such interactions are also crucial in role-based systems, we introduce a compositional modeling framework based on concepts and notions of roles, comprising role-based automata (RBAs). To describe RBAs, we present a modeling language that is close to the input language of the probabilistic model checker Prism. To exemplify the use of RBAs, we implemented a tool that translates RBA models into Prism and thus enables the formal analysis of functional and non-functional properties including system dynamics, contextual changes, and interactions. We carry out two case studies as a proof of concept of such analyses: First, a peer-to-peer protocol case study illustrates how undesired hierarchical interactions can be discovered automatically. Second, a case study on a self-adaptive production cell demonstrates how undesired interactions influence quality-of-service measures such as reliability and throughput.

Details

Original languageEnglish
Title of host publicationSPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line
EditorsShaukat Ali, Wesley K. G. Assunção, Thorsten Berger, Carlos Cetina, Philippe Collet, Jose Galindo, Paul Gazzillo, Lukas Linsbauer, Roberto Erick Lopez-Herrejon, Sarah Nadi, Sandro Schulze, Salvador Trujillo
PublisherAssociation for Computing Machinery (ACM), New York
VolumeA
ISBN (print)978-1-4503-7569-6
Publication statusPublished - 2020
Peer-reviewedNo

Conference

Title24th ACM International Systems and Software Product Line Conference
Abbreviated titleSPLC 2020
Duration19 - 23 October 2020
Website
Degree of recognitionInternational event
Locationonline

External IDs

ORCID /0000-0002-5321-9343/work/142236702

Keywords

Keywords

  • From Features to Roles