From Features to Roles
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen
Beitragende
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
Originalsprache | Englisch |
---|---|
Titel | SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line |
Redakteure/-innen | Shaukat 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 |
Herausgeber (Verlag) | Association for Computing Machinery (ACM), New York |
Band | A |
ISBN (Print) | 978-1-4503-7569-6 |
Publikationsstatus | Veröffentlicht - 2020 |
Peer-Review-Status | Nein |
Konferenz
Titel | 24th ACM International Systems and Software Product Line Conference |
---|---|
Kurztitel | SPLC 2020 |
Dauer | 19 - 23 Oktober 2020 |
Webseite | |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | online |
Externe IDs
ORCID | /0000-0002-5321-9343/work/142236702 |
---|---|
Scopus | 85097833401 |
ORCID | /0000-0003-1724-2586/work/165453587 |
Schlagworte
Schlagwörter
- From Features to Roles