Logo des Repositoriums

Auflistung nach Autor:in "Poetzsch-Heffter, Arnd"

1 - 4 von 4
  • Konferenzbeitrag
    Architecture-driven incremental code generation for increased developer efficiency
    (Software Engineering 2014, 2014) Brunnlieb, Malte; Poetzsch-Heffter, Arnd
  • Zeitschriftenartikel
    Informatik und Gesellschaft: Ansätze zur Verbesserung einer schwierigen Beziehung
    (Informatik-Spektrum: Vol. 36, No. 3, 2013) Paech, Barbara; Poetzsch-Heffter, Arnd
    Die Beziehung zwischen der Informatik einerseits und der Gesellschaft und Informatiknutzung andererseits ist von Unverständnis und Missverständnissen gekennzeichnet. Nicht-InformatikerInnen verstehen oft nicht, worum es in der Informatik geht, und InformatikerInnen tun sich schwer, den Bedürfnissen und Anforderungen der Gesellschaft und der NutzerInnen in Bezug auf Informatiksysteme gerecht zu werden.In diesem Aufsatz stellen wir zwei Ansätze zur Verbesserung dieser Beziehung vor und berichten von unseren Erfahrungen im universitären Umfeld.Der erste Ansatz zielt darauf ab, Menschen und vor allem SchülerInnen für Informatik zu interessieren, die sich von dem derzeitigen Bild der Informatik nicht angesprochen fühlen. Er erklärt die Informatik als eine Disziplin, deren zentrales Ziel es ist, Menschen in ihren geistigen und organisatorischen Tätigkeiten zu unterstützen und diese teilweise zu automatisieren. Mit diesem Erklärungsansatz lassen sich einerseits anschauliche Bezüge zum Alltag herstellen und andererseits die historischen Entwicklungen und Fortschritte durch die Informatik erläutern.Der zweite Ansatz adressiert die Rolle, welche die Nutzungsperspektive auf Informatiksysteme in Informatikstudium und -forschung spielt. Diese Sicht wird insbesondere in den Teilgebieten Requirements Engineering, Software-Ergonomie sowie im Bereich Informatik und Gesellschaft thematisiert, jeweils mit einem anderen Fokus. Die Inhalte und unterschiedlichen Schwerpunkte dieser Gebiete werden kurz erläutert und gegenübergestellt und im Kontext der eigenen Erfahrungen in der Lehre diskutiert.Der Beitrag schließt mit einem Plädoyer, sozioinformatische Themen stärker ins Studium einzubeziehen. Dies könnte die Informatik für Nicht-InformatikerInnen interessanter machen und insbesondere auch den Frauenanteil unter den Informatik-Studierenden erhöhen.
  • Konferenzbeitrag
    A static analysis technique to detect unsatisfiable conditions in ontology-based workflows
    (Informatik 2009 – Im Focus das Leben, 2009) Weiler, Gabriele; Poetzsch-Heffter, Arnd; Kiefer, Stephan
    Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected late, can cause high costs. We consider workflows in which the processed data has semantic metadata in terms of a given domain ontology, like e.g. for medical trials. Such semantic metadata is not only crucial to allow data integration, but can also help to improve data quality. In our work we show that it can be utilized in static analysis techniques to detect data inconsistencies in the workflow definition at design time of the workflow. We divide data inconsistencies into two categories: 1. Data-dependentControlFlowInconsistenciescausee.g.undesiredabortionof workflow executions or non-reachable tasks due to unsatisfiable conditions. 2. Semantic Data Inconsistencies causing data collected during workflow execution to be inconsistent with the knowledge of the underlying domain that we assume to be given by a domain ontology.; Here, we focus on detecting Data-dependent Control Flow Inconsistencies. It is important to eliminate this kind of inconsistencies in workflows to guarantee reliable workflow executions. In particular, we focus on detecting unsatisfiable conditions, a data inconsistency which can lead to non-reachable tasks in workflows. The class of workflows we consider consists of human processable tasks, comprising forms that users have to fill in at execution time. We have already presented a language called SWOD for this class of workflows elsewhere , emphasizing especially a formally defined data perspective based on an existing domain ontology. Furthermore, we have sketched a static analysis technique utilizing description logic and its reasoning services to check both categories of data inconsistencies, but have in particular focused on checking semantic data inconsistencies. The contribution of this paper is to augment our previous work by describing in detail the semantics of SWOD focusing on semantics of conditions and a static analysis technique to detect unsatisfiable conditions in SWOD workflow descriptions. The described technique is the base to detect other kinds of data-dependent control flow inconsistencies. We discuss soundness and completeness of the technique. Integrated with existing algorithms for checking structural consistency, the technique described here can have the capability to guarantee soundness of complex work-flows.
  • Konferenzbeitrag
    Towards multi-party evolution of social software
    (INFORMATIK 2013 – Informatik angepasst an Mensch, Organisation und Umwelt, 2013) Poetzsch-Heffter, Arnd; Paech, Barbara