-
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.
-
Percolation description of charge transport in the random barrier model applied to amorphous oxide semiconductors
Authors:
S. D. Baranovskii,
A. V. Nenashev,
J. O. Oelerich,
S. H. M. Greiner,
A. V. Dvurechenskii,
F. Gebhard
Abstract:
Charge transport in amorphous oxide semiconductors is often described as the band transport affected by disorder in the form of random potential barriers (RB). Theoretical studies in the framework of this approach neglected so far the percolation nature of the phenomenon. In this article, a recipe for theoretical description of charge transport in the RB model is formulated using percolation argum…
▽ More
Charge transport in amorphous oxide semiconductors is often described as the band transport affected by disorder in the form of random potential barriers (RB). Theoretical studies in the framework of this approach neglected so far the percolation nature of the phenomenon. In this article, a recipe for theoretical description of charge transport in the RB model is formulated using percolation arguments. Comparison with the results published so far evidences the superiority of the percolation approach.
△ Less
Submitted 23 July, 2019; v1 submitted 11 July, 2019;
originally announced July 2019.
-
Percolation description of charge transport in amorphous oxide semiconductors
Authors:
A. V. Nenashev,
J. O. Oelerich,
S. H. M. Greiner,
A. V. Dvurechenskii,
F. Gebhard,
S. D. Baranovskii
Abstract:
The charge transport mechanism in amorphous oxide semiconductors (AOS) is a matter of controversial debates. Most theoretical studies so far neglected the percolation nature of the phenomenon. In this article, a recipe for theoretical description of charge transport in AOSs is formulated using the percolation arguments. Comparison with the previous theoretical studies shows a superiority of the pe…
▽ More
The charge transport mechanism in amorphous oxide semiconductors (AOS) is a matter of controversial debates. Most theoretical studies so far neglected the percolation nature of the phenomenon. In this article, a recipe for theoretical description of charge transport in AOSs is formulated using the percolation arguments. Comparison with the previous theoretical studies shows a superiority of the percolation approach. The results of the percolation theory are compared to experimental data obtained in various InGaZnO materials revealing parameters of the disorder potential in such AOS.
△ Less
Submitted 11 July, 2019;
originally announced July 2019.
-
Aspects of Calabi-Yau Fourfold Compactifications
Authors:
Sebastian Greiner
Abstract:
The study of the geometry of Calabi-Yau fourfolds is relevant for compactifications of string theory, M-theory, and F-theory to various dimensions. In the first part of this thesis, we study the action of mirror symmetry on two-dimensional $\cN=(2,2)$ effective theories obtained by compactifying Type IIA string theory on Calabi-Yau fourfolds. Our focus is on fourfold geometries with non-trivial th…
▽ More
The study of the geometry of Calabi-Yau fourfolds is relevant for compactifications of string theory, M-theory, and F-theory to various dimensions. In the first part of this thesis, we study the action of mirror symmetry on two-dimensional $\cN=(2,2)$ effective theories obtained by compactifying Type IIA string theory on Calabi-Yau fourfolds. Our focus is on fourfold geometries with non-trivial three-form cohomology. The couplings of the massless zero-modes arising from an expansion of the three-form gauge-potential into these forms depend both on the complex structure deformations and the Kähler structure deformations of the Calabi-Yau fourfold. We argue that two holomorphic functions, called three-form periods, one for each kind of deformation, capture this information. These are exchanged under mirror symmetry, which allows us to derive them at the large complex structure and large volume point. We discuss the application of the resulting explicit expression to F-theory compactifications and their weak string coupling limit. The second part of this work introduces the mathematical machinery to derive the complete moduli dependence of the periods of non-trivial three-forms for fourfolds realized as hypersurfaces in toric ambient spaces. It sets the stage to determine Picard-Fuchs-type differential equations and integral expressions for these forms. The key tool is the observation that non-trivial three-forms on fourfold hypersurfaces in toric ambient spaces always stem from divisors that are build out of trees of toric surfaces fibered over Riemann surfaces. The three-form periods are then non-trivially related to the one-form periods of these Riemann surfaces. We conclude with two explicit example fourfolds for F-theory compactifications %in which the three-form periods determine axion decay constants.
△ Less
Submitted 25 September, 2018;
originally announced September 2018.
-
On Mirror Symmetry for Calabi-Yau Fourfolds with Three-Form Cohomology
Authors:
Sebastian Greiner
Abstract:
We review the Kaluza-Klein reduction of Type IIA string theory on Calabi-Yau fourfolds and apply mirror symmetry to the resulting two-dimensional $ \mathcal{N}=(2,2) $ effective theories. In the course of the reduction we focus especially on non-trivial three-form cohomology on these fourfolds and investigate the couplings of the corresponding massless zero-modes. These show a dependence on both c…
▽ More
We review the Kaluza-Klein reduction of Type IIA string theory on Calabi-Yau fourfolds and apply mirror symmetry to the resulting two-dimensional $ \mathcal{N}=(2,2) $ effective theories. In the course of the reduction we focus especially on non-trivial three-form cohomology on these fourfolds and investigate the couplings of the corresponding massless zero-modes. These show a dependence on both complex structure as well as Kähler structure deformations and we provide evidence that they are determined by two holomorphic functions that get exchanged via mirror symmetry. Application of the mirror map enables us to give an explicit description of these functions at the large volume and large complex structure point of the moduli space.
△ Less
Submitted 25 April, 2017;
originally announced April 2017.
-
Three-form periods on Calabi-Yau fourfolds: Toric hypersurfaces and F-theory applications
Authors:
Sebastian Greiner,
Thomas W. Grimm
Abstract:
The study of the geometry of Calabi-Yau fourfolds is relevant for compactifications of string theory, M-theory, and F-theory to various dimensions. This work introduces the mathematical machinery to derive the complete moduli dependence of the periods of non-trivial three-forms for fourfolds realized as hypersurfaces in toric ambient spaces. It sets the stage to determine Picard-Fuchs-type differe…
▽ More
The study of the geometry of Calabi-Yau fourfolds is relevant for compactifications of string theory, M-theory, and F-theory to various dimensions. This work introduces the mathematical machinery to derive the complete moduli dependence of the periods of non-trivial three-forms for fourfolds realized as hypersurfaces in toric ambient spaces. It sets the stage to determine Picard-Fuchs-type differential equations and integral expressions for these forms. The key tool is the observation that non-trivial three-forms on hypersurfaces in toric ambient spaces always stem from divisors that are build out of toric resolution trees fibered over Riemann surfaces. The three-form periods are then non-trivially related to the one-form periods of these surfaces. In general, the three-form periods are known to vary holomorphically over the complex structure moduli space and play an important role in the effective actions arising in fourfold compactifications. We discuss two explicit example fourfolds for F-theory compactifications in which the three-form periods determine axion decay constants.
△ Less
Submitted 31 October, 2017; v1 submitted 10 February, 2017;
originally announced February 2017.
-
On Mirror Symmetry for Calabi-Yau Fourfolds with Three-Form Cohomology
Authors:
Sebastian Greiner,
Thomas W. Grimm
Abstract:
We study the action of mirror symmetry on two-dimensional N=(2,2) effective theories obtained by compactifying Type IIA string theory on Calabi-Yau fourfolds. Our focus is on fourfold geometries with non-trivial three-form cohomology. The couplings of the massless zero-modes arising by expanding in these forms depend both on the complex structure deformations and the Kahler structure deformations…
▽ More
We study the action of mirror symmetry on two-dimensional N=(2,2) effective theories obtained by compactifying Type IIA string theory on Calabi-Yau fourfolds. Our focus is on fourfold geometries with non-trivial three-form cohomology. The couplings of the massless zero-modes arising by expanding in these forms depend both on the complex structure deformations and the Kahler structure deformations of the Calabi-Yau fourfold. We argue that two holomorphic functions of the deformation moduli capture this information. These are exchanged under mirror symmetry, which allows us to derive them at the large complex structure and large volume point. We discuss the application of the resulting explicit expression to F-theory compactifications and their weak string coupling limit. In the latter orientifold settings we demonstrate compatibility with mirror symmetry of Calabi-Yau threefolds at large complex structure. As a byproduct we find an interesting relation of no-scale like conditions on Kahler potentials to the existence of chiral and twisted-chiral descriptions in two dimensions.
△ Less
Submitted 15 December, 2015;
originally announced December 2015.
