Logo des Repositoriums

Auflistung nach Schlagwort "Modularity"

1 - 4 von 4
  • Konferenzbeitrag
    Compositional Analyses of Highly-Configurable Systems with Feature-Model Interfaces
    (Software Engineering 2017, 2017) Schröter, Reimar; Krieter, Sebastian; Thüm, Thomas; Benduhn, Fabian; Saake, Gunter
    Today’s software systems are often customizable by means of load-time or compile-time configuration options. These options are typically not independent and their dependencies can be specified by means of feature models. As many industrial systems contain thousands of options, the maintenance and utilization of feature models is a challenge for all stakeholders. In the last two decades, numerous approaches have been presented to support stakeholders in analyzing feature models. Such analyses are commonly reduced to satisfiability problems, which suffer from the growing number of options. While first attempts have been made to decompose feature models into smaller parts, they still require to compose all parts for analyses. We proposed the concept of a feature-model interface that only consists of a subset of features and hides all other features and dependencies. Based on a formalization of feature-model interfaces, we proved compositionality properties. We evaluated feature-model interfaces using a three-month history of an industrial fea- ture model with 18,616 features. Our results indicate performance benefits especially under evolution as often only parts of the feature model need to be analyzed again.
  • Zeitschriftenartikel
    Modular Collaborative Program Analysis
    (Softwaretechnik-Trends Band 44, Heft 2, 2024) Helm, Dominik
    Static analyses are essential to ensure the efficiency and security of software. They face challenges as we use ever more and ever more complex software. We address these challenges by enabling collaborative analyses composed of small, maintainable modules. In this thesis, we propose the blackboard analysis architecture that allows independent modules to collaborate using a central data store. This architecture is framework-independent, applicable to a broad range of static analyses regardless of their implementation paradigm, and allows for modular soundness proofs. Using four case studies and an extensive evaluation, we show how the blackboard analysis architecture allows improving the soundness, precision, and scalability of static analyses and fosters the exploration of trade-offs between these qualities.
  • Konferenzbeitrag
    Modularity and architecture of PLC-based software for automated production Systems
    (Software Engineering und Software Management 2018, 2018) Vogel-Heuser, Birgit; Fischer, Juliane; Feldmann, Stefan; Ulewicz, Sebastian; Rösch, Susanne; Bougouffa, Safa
    Adaptive and flexible production systems require modular and reusable software, especially considering their long-term life cycle of up to 50 years. We introduce a benchmark process – so-called SWMAT4aPS – to measure software maturity for industrial control software of automated production systems.
  • Zeitschriftenartikel
    The Influence of Using Collapsed Sub-processes and Groups on the Understandability of Business Process Models
    (Business & Information Systems Engineering: Vol. 62, No. 2, 2020) Turetken, Oktay; Dikici, Ahmet; Vanderfeesten, Irene; Rompen, Tessa; Demirors, Onur
    Many factors influence the creation of business process models which are understandable for a target audience. Understandability of process models becomes more critical when size and complexity of the models increase. Using vertical modularization to decompose such models hierarchically into modules is considered to improve their understandability. To investigate this assumption, two experiments were conducted. The experiments involved 2 large-scale real-life business process models that were modeled using BPMN v2.0 (Business Process Model and Notation) in the form of collaboration diagrams. Each process was modeled in 3 modularity forms: fully-flattened, flattened where activities are clustered using BPMN groups, and modularized using separately viewed BPMN sub-processes. The objective was to investigate if and how different forms of modularity representation (used for vertical modularization) in BPMN collaboration diagrams influence the understandability of process models. In addition to the forms of modularity representation, the presentation medium (paper vs. computer) and model reader's level of business process modeling competency were investigated as factors that potentially influence model comprehension. 60 business practitioners from a large organization and 140 graduate students participated in our experiments. The results indicate that, when these three modularity representations are considered, it is best to present the model in a 'flattened' form (with or without the use of groups) and in the 'paper' format in order to optimally understand a BPMN model. The results also show that the model reader's business process modeling competency is an important factor of process model comprehension.