-
Human Factors in Model-Driven Engineering: Future Research Goals and Initiatives for MDE
Authors:
Grischa Liebel,
Jil Klünder,
Regina Hebig,
Christopher Lazik,
Inês Nunes,
Isabella Graßl,
Jan-Philipp Steghöfer,
Joeri Exelmans,
Julian Oertel,
Kai Marquardt,
Katharina Juhnke,
Kurt Schneider,
Lucas Gren,
Lucia Happe,
Marc Herrmann,
Marvin Wyrich,
Matthias Tichy,
Miguel Goulão,
Rebekka Wohlrab,
Reyhaneh Kalantari,
Robert Heinrich,
Sandra Greiner,
Satrio Adi Rukmono,
Shalini Chakraborty,
Silvia Abrahão
, et al. (1 additional authors not shown)
Abstract:
Purpose: Software modelling and Model-Driven Engineering (MDE) is traditionally studied from a technical perspective. However, one of the core motivations behind the use of software models is inherently human-centred. Models aim to enable practitioners to communicate about software designs, make software understandable, or make software easier to write through domain-specific modelling languages.…
▽ More
Purpose: Software modelling and Model-Driven Engineering (MDE) is traditionally studied from a technical perspective. However, one of the core motivations behind the use of software models is inherently human-centred. Models aim to enable practitioners to communicate about software designs, make software understandable, or make software easier to write through domain-specific modelling languages. Several recent studies challenge the idea that these aims can always be reached and indicate that human factors play a role in the success of MDE. However, there is an under-representation of research focusing on human factors in modelling. Methods: During a GI-Dagstuhl seminar, topics related to human factors in modelling were discussed by 26 expert participants from research and industry. Results: In breakout groups, five topics were covered in depth, namely modelling human aspects, factors of modeller experience, diversity and inclusion in MDE, collaboration and MDE, and teaching human-aware MDE. Conclusion: We summarise our insights gained during the discussions on the five topics. We formulate research goals, questions, and propositions that support directing future initiatives towards an MDE community that is aware of and supportive of human factors and values.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Variability Modeling of Products, Processes, and Resources in Cyber-Physical Production Systems Engineering
Authors:
Kristof Meixner,
Kevin Feichtinger,
Hafiyyan Sayyid Fadhlillah,
Sandra Greiner,
Hannes Marcher,
Rick Rabiser,
Stefan Biffl
Abstract:
Cyber-Physical Production Systems (CPPSs), such as automated car manufacturing plants, execute a configurable sequence of production steps to manufacture products from a product portfolio. In CPPS engineering, domain experts start with manually determining feasible production step sequences and resources based on implicit knowledge. This process is hard to reproduce and highly inefficient. In this…
▽ More
Cyber-Physical Production Systems (CPPSs), such as automated car manufacturing plants, execute a configurable sequence of production steps to manufacture products from a product portfolio. In CPPS engineering, domain experts start with manually determining feasible production step sequences and resources based on implicit knowledge. This process is hard to reproduce and highly inefficient. In this paper, we present the Extended Iterative Process Sequence Exploration (eIPSE) approach to derive variability models for products, processes, and resources from a domain-specific description. To automate the integrated exploration and configuration process for a CPPS, we provide a toolchain which automatically reduces the configuration space and allows to generate CPPS artifacts, such as control code for resources. We evaluate the approach with four real-world use cases, including the generation of control code artifacts, and an observational user study to collect feedback from engineers with different backgrounds. The results confirm the usefulness of the eIPSE approach and accompanying prototype to straightforwardly configure a desired CPPS.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Experimental Research in Synthetic Molecular Communications -- Part II: Long-Range Communication
Authors:
Sebastian Lotter,
Lukas Brand,
Vahid Jamali,
Maximilian Schäfer,
Helene M. Loos,
Harald Unterweger,
Sandra Greiner,
Jens Kirchner,
Christoph Alexiou,
Dietmar Drummer,
Georg Fischer,
Andrea Buettner,
Robert Schober
Abstract:
In this second part of our survey on experimental research in Synthetic Molecular Communication (SMC), we review works on long-range SMC systems, i.e., systems with communication ranges of more than a few millimeters. Despite the importance of experimental research for the evolution of SMC towards a mature communication paradigm that will eventually support revolutionary applications beyond the re…
▽ More
In this second part of our survey on experimental research in Synthetic Molecular Communication (SMC), we review works on long-range SMC systems, i.e., systems with communication ranges of more than a few millimeters. Despite the importance of experimental research for the evolution of SMC towards a mature communication paradigm that will eventually support revolutionary applications beyond the reach of today's prevalent communication paradigms, the existing body of literature is still comparatively sparse. Long-range SMC systems have been proposed in the literature for information transmission in two types of fluid media, liquid and air. While both types of SMC systems, liquid-based and air-based systems, rely on encoding and transmitting information using molecules, they differ substantially in terms of the physical system designs and in the type of applications they are intended for. In this paper, we present a systematic characterization of experimental works on long-range SMC that reveals the major drivers of these works in terms of the respective target applications. Furthermore, the physical designs for long-range SMC proposed in the literature are comprehensively reviewed. In this way, our survey will contribute to making experimental research in this field more accessible and identifying novel directions for future research.
△ Less
Submitted 20 April, 2023; v1 submitted 16 January, 2023;
originally announced January 2023.
-
Experimental Research in Synthetic Molecular Communications -- Part I: Overview and Short-Range Systems
Authors:
Sebastian Lotter,
Lukas Brand,
Vahid Jamali,
Maximilian Schäfer,
Helene M. Loos,
Harald Unterweger,
Sandra Greiner,
Jens Kirchner,
Christoph Alexiou,
Dietmar Drummer,
Georg Fischer,
Andrea Buettner,
Robert Schober
Abstract:
Since its emergence from the communication engineering community around one and a half decades ago, the field of Synthetic Molecular Communication (SMC) has experienced continued growth, both in the number of technical contributions from a vibrant community and in terms of research funding. Throughout this process, the vision of SMC as a novel, revolutionary communication paradigm has constantly e…
▽ More
Since its emergence from the communication engineering community around one and a half decades ago, the field of Synthetic Molecular Communication (SMC) has experienced continued growth, both in the number of technical contributions from a vibrant community and in terms of research funding. Throughout this process, the vision of SMC as a novel, revolutionary communication paradigm has constantly evolved, driven by feedback from theoretical and experimental studies, respectively. It is believed that especially the latter ones will be crucial for the transition of SMC towards a higher technology readiness level in the near future. In this spirit, we present here a comprehensive survey of experimental research in SMC. In particular, this survey focuses on highlighting the major drivers behind different lines of experimental research in terms of the respective envisioned applications. This approach allows us to categorize existing works and identify current research gaps that still hinder the development of practical SMC-based applications. Our survey consists of two parts; this paper and a companion paper. While the companion paper focuses on SMC with relatively long communication ranges, this paper covers SMC over short distances of typically not more than a few millimeters.
△ Less
Submitted 20 April, 2023; v1 submitted 16 January, 2023;
originally announced January 2023.
-
Proof of Compositionality of CFT Correctness
Authors:
Simon Greiner,
Peter Munk,
Arne Nordmann
Abstract:
In the paper Compositionality of Component Fault Trees, we present a discussion of the compositionality of correctness of component fault trees. In this technical report, we present the formal proof of the central theorem of the aforementioned publication.
In the paper Compositionality of Component Fault Trees, we present a discussion of the compositionality of correctness of component fault trees. In this technical report, we present the formal proof of the central theorem of the aforementioned publication.
△ Less
Submitted 23 July, 2019;
originally announced July 2019.