Logo des Repositoriums

Auflistung nach Schlagwort "Decomposition"

1 - 4 von 4
  • Konferenzbeitrag
    Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components
    (Software Engineering 2023, 2023) Beyer, Dirk; Haltermann, Jan; Lemberger, Thomas; Wehrheim, Heike
    Software verification tools typically consist of tighly coupled components, thereby precluding the easy integration of off-the-shelf components. We propose to decompose software verification into independent subtasks, each task being implemented by an own component communicating with other components via clearly defined interfaces. We apply this idea of decomposition to one of the most frequently used techniques in software verification: CEGAR. Our decomposition, called component-based CEGAR (C-CEGAR), comprises three components: An abstract model explorer, a feasibility checker and a precision refiner. It allows employing conceptually different components for each task within one instance. Our evaluation shows that C-CEGAR has, compared to a monolithic CEGAR-implementation, a similar efficiency and that the precision in solving verification tasks even increases.
  • Zeitschriftenartikel
    Criteria and Heuristics for Business Process Model Decomposition
    (Business & Information Systems Engineering: Vol. 58, No. 1, 2016) Milani, Fredrik; Dumas, Marlon; Matulevičius, Raimundas; Ahmed, Naved; Kasela, Silva
    It is generally agreed that large process models should be decomposed into sub-processes in order to enhance understandability and maintainability. Accordingly, a number of process decomposition criteria and heuristics have been proposed in the literature. This paper presents a review of the field revealing distinct classes of criteria and heuristics. The study raises the question of how different decomposition heuristics affect process model understandability and maintainability. To address this question, an experiment is conducted where two different heuristics, one based on breakpoints and the other on data objects, were used to decompose a flat process model. The results of the experiment show that, although there are minor differences, the heuristics cause very similar results in regard to understandability and maintainability as measured by various process model metrics.
  • Zeitschriftenartikel
    Das Dekompositionsmodell nach Wand und Weber im Kontext der Prozessmodellierung
    (Wirtschaftsinformatik: Vol. 54, No. 5, 2012) Johannsen, Florian; Leist, Susanne
    Obwohl die Vorteile der Dekomposition bei der Prozessmodellierung hinlänglich bekannt sind, ist nach wie vor unklar, durch welche Eigenschaften sich eine „gute“ Zerlegung eines Prozessmodells auszeichnet. In der Literatur wird die Dekomposition meist pragmatisch interpretiert, wobei ein strukturiertes Vorgehen fehlt. Aus diesem Grund zieht die vorliegende Arbeit das Dekompositionsmodell nach Wand und Weber heran und spezifiziert dieses für die Geschäftsprozessmodellierung. Dabei gilt es, zunächst zu hinterfragen, inwiefern das Dekompositionsmodell überhaupt auf die Prozessmodellierung übertragen werden kann. In der Literatur finden sich bisher keine entsprechenden Untersuchungen, auch wenn dieser Ansatz in mehreren Publikationen als sehr vielversprechend eingeschätzt wird. Mit vorliegender Arbeit wird ein Beitrag geleistet, diese Lücke zu schließen. Langfristig wird die Entwicklung von Handlungsanweisungen angestrebt, welche den Anwender bei der zielgerichteten Dekomposition von Prozessmodellen unterstützen.AbstractWhereas the benefits of decomposing process models are obvious, the question what actually characterizes a “good” decomposition of a business process model has been given little attention to date. In addition, the process of decomposition itself is considered as being an “art” in literature. Our approach for achieving a “good” decomposition is Wand and Weber’s decomposition model for information systems. As a first step in our investigation we aim to explore in how far the decomposition model can be adapted for business process modelling at all. The potential this model might bear for evaluating decompositions of process models has been promoted in literature quite often, while a corresponding investigation is still missing. We address this gap by the following research. In the long term, we intend to establish guidelines for decomposing business process models in a structured way.
  • Zeitschriftenartikel
    The Cyber Weapon: Decomposing Puzzles in Unplugged Computational Thinking Practices with Computational Objects
    (KI - Künstliche Intelligenz: Vol. 36, No. 1, 2022) Hachmann, Roland
    This article contributes empirically to an ongoing discussion in the cross-section between computer science and the learning sciences. It takes on the question of how pupils can approach basic concepts of computer science and computational thinking skills through problem-solving activities in school. By responding to propositions from researchers within the field suggesting that broader perspectives on integrating computational thinking in subjects should be investigated, examples from an empirical study are given. The study examines a design for learning computational thinking using an unplugged approach, highlighting tangible computational objects as mediators for problem-solving. Three groups of 8th-grade pupils were followed and observed as they set out to collaborate on solving the escape puzzle: The Cyber Weapon, by manipulating computational objects and retrieving a code to stop a virus from spreading. The article highlights how pupils move from open trial-and-error approaches to systematic and iterative decomposing strategies. The article further discusses the implications of tangible computational objects framing problem-solving activities. This is done from a subject-didactical approach, highlighting the interrelatedness between problems, people, and tools as well as how designs like The Cyber Weapon reflect an alternative way to teach pupils basic concepts of computational thinking.