Logo des Repositoriums

Auflistung nach Schlagwort "Feature Modeling"

1 - 4 von 4
  • Konferenzbeitrag
    Features of Event-Driven Message Queuing Architectures in Manufacturing: A Reference Model for Comparison
    (INFORMATIK 2023 - Designing Futures: Zukünfte gestalten, 2023) Gudenkauf, Stefan; Franke, Javier; Behrens, Janek
    With increasing digitization and the use of cost-effective, ever more intelligent sensor and actuator systems at the edges of classic IT networks (edge computing), ever-increasing amounts of data are continuously being generated and sent from a wide variety of data sources. At the same time, manufacturing processes are subject to dynamic adjustments such as staff shortages, material shortages and fluctuations in energy costs. In addition, there is the requirement to demonstrate the sustainability of produced goods within the supply chain and to the outside world, which requires the collection of key figures across all levels of the manufacturing pyramid – and ideally also across the entire life cycle of the product. What they all have in common is that a very large amount of continuously and simultaneously operating systems can process sent data quickly and can react to relevant events in near real time. To build these systems, increasingly distributed applications based on the principle of message queuing (MQ) and event handling are attracting increasing interest in the manufacturing industry. In this paper4, we surveyed recent models and architectures for such event-driven systems. Based on this survey, we propose a consolidated feature model to uniformly describe and evaluate event-driven manufacturing systems, regardless of whether an organization’s own architectural needs or the offers of external providers are evaluated.
  • Konferenzbeitrag
    Propagating Configuration Decisions with Modal Implication Graphs
    (Software Engineering and Software Management 2019, 2019) Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Schroeter, Reimar; Saake, Gunter
    This work was originally published as “Propagating Configuration Decisions with Modal Implication Graphs” at the 40th International Conference on Software Engineering 2018 [Kr18].
  • Konferenzbeitrag
    Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
    (Software Engineering 2023, 2023) Kuiter, Elias; Krieter, Sebastian; Sundermann, Chico; Thüm, Thomas; Saake, Gunter
    This work was published at the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) 2022 [Ku22]. Feature modeling is widely used to systematically model features of variant-rich software systems and their dependencies. By translating feature models into propositional formulas and analyzing them with solvers, a wide range of automated analyses across all phases of the software development process become possible. Most solvers only accept formulas in conjunctive normal form (CNF), so an additional transformation of feature models is often necessary. However, it is unclear whether this transformation has a noticeable impact on analyses. We compare three transformations for bringing feature-model formulas into CNF. We analyze which transformation can be used to correctly perform feature-model analyses and evaluate three CNF transformation tools on a corpus of 22 real-world feature models. Our empirical evaluation illustrates that some CNF transformations do not scale to complex feature models or even lead to wrong results for model-counting analyses. Further, the choice of the CNF transformation can substantially influence the performance of subsequent analyses.
  • Konferenzbeitrag
    variED: An Editor for Collaborative, Real-Time Feature Modeling
    (Software Engineering 2023, 2023) Kuiter, Elias; Krieter, Sebastian; Krüger, Jacob; Saake, Gunter; Leich, Thomas
    This work was published in Empirical Software Engineering (EMSE) 26, 2 (2021) [Ku21]. Feature models are a helpful means to document, manage, maintain, and configure the variability of a software system. Various stakeholders in an organization may get involved in modeling the features in such a software system. Currently, collaboration in such a scenario can only be done with face-to-face meetings or by combining single-user feature-model editors with additional communication and version-control systems. While face-to-face meetings are often costly and impractical, using version-control systems can cause merge conflicts and inconsistency within a model. Advanced tools that solve these problems by enabling collaborative, real-time feature modeling, analogous to Google Docs or Overleaf for text editing, are missing. We describe the formal foundations of collaborative, real-time feature modeling; a conflict resolution algorithm; proofs that our formalization converges and preserves causality as well as user intentions; a prototype; and the results of an empirical evaluation to assess the prototype’s usability. Our contributions provide the basis for advancing existing feature-modeling practices to support collaborative feature modeling. Our prototype is considered helpful and valuable by 17 users, also indicating opportunities for new research directions.