Stefan Wagner, Horst Lichter (Hrsg.) Software Engineering 2013 Workshopband. (inkl. Doktorandensymposium) 26. Februar 1.

Transkript

1 GI-Edition Lecture Notes in Informatics Stefan Wagner, Horst Lichter (Hrsg.) Stefan Wagner, Horst Lichter (Hrsg.): Software Engineering 2013 Workshopband Software Engineering 2013 Workshopband 215 (inkl. Doktorandensymposium) 26. Februar 1. März 2013 Aachen Proceedings GI P_215 Cover_Online.indd :49

2

3

4 Stefan Wagner, Horst Lichter (Hrsg.) Software Engineering 2013 Workshopband (inkl. Doktorandensymposium) Fachtagung des GI-Fachbereichs Softwaretechnik in Aachen Gesellschaft für Informatik e.v. (GI)

5 Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft für Informatik (GI) Volume P-215 ISBN ISSN Volume Editors Stefan Wagner Universität Stuttgart Institut für Softwaretechnologie Universitätsstr Stuttgart stefan.wagner@informatik.uni-stuttgart.de Horst Lichter RWTH Aachen Ahornstr Aachen horst.lichter@swc.rwth-aachen.de Series Editorial Board Heinrich C. Mayr, Alpen-Adria-Universität Klagenfurt, Austria (Chairman, mayr@ifit.uni-klu.ac.at) Dieter Fellner, Technische Universität Darmstadt, Germany Ulrich Flegel, Hochschule für Technik, Stuttgart, Germany Ulrich Frank, Universität Duisburg-Essen, Germany Johann-Christoph Freytag, Humboldt-Universität zu Berlin, Germany Michael Goedicke, Universität Duisburg-Essen, Germany Ralf Hofestädt, Universität Bielefeld, Germany Michael Koch, Universität der Bundeswehr München, Germany Axel Lehmann, Universität der Bundeswehr München, Germany Peter Sanders, Karlsruher Institut für Technologie (KIT), Germany Sigrid Schubert, Universität Siegen, Germany Ingo Timm, Universität Trier, Germany Karin Vosseberg, Hochschule Bremerhaven, Germany Maria Wimmer, Universität Koblenz-Landau, Germany Dissertations Steffen Hölldobler, Technische Universität Dresden, Germany Seminars Reinhard Wilhelm, Universität des Saarlandes, Germany Thematics Andreas Oberweis, Karlsruher Institut für Technologie (KIT), Germany Gesellschaft für Informatik, Bonn 2013 printed by Köllen Druck+Verlag GmbH, Bonn

6 Vorwort Die Tagung Software Engineering 2013 (SE 2013) fand vom bis an der RWTH Aachen als die erste deutsche Multikonferenz zum Thema Software Engineering statt. Diese integrierte neben der bekannten wissenschaftlichen Hauptkonferenz die industrieorientierte Konferenz Software &Systems Engineering Essentials (SEE 2013) und den seit vielen Jahren etablierten Workshop Software Engineering im Unterricht der Hochschulen (SEUH 2013). Damit entstand ein gemeinsames Forum für Software Engineering Professionals im deutschsprachigen Raum. Ein wesentlicher Teil dieser Multikonferenz waren die am Vortag und parallel zur Konferenz stattfindenden Workshops und Tutorien. Sie boten für Interessierte die Gelegenheit, spezifische Themen im kleineren Kreis ausführlich und kontrovers zu diskutieren. Zusätzlich fand ein Doktorandensymposium statt, in dem der wissenschaftliche Nachwuchs Forschungsthemen im Bereich Software Engineering mit erfahrenen Hochschullehrern diskutieren konnte. Dieser Workshopband enthält die Beiträge der Workshops 6. Arbeitstagung Programmiersprachen (ATPS 2013), First European Workshop on Mobile Engineering (ME 13), Traceability Nutzung und Nutzen, Modellierung von Vorgehensmodellen Paradigmen, Sprachen, Tools, 3. Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systemen (ENVISION2020), Design For Future Langlebige Softwaresysteme (DFF) und Zertifizierung und modellgetriebene Entwicklung sicherer Software (ZeMoSS) sowie alle im Doktorandensymposium präsentierten Beiträge Unser Dank gilt den Organisatoren und Programmkomitees der einzelnen Veranstaltungen für ihre Arbeit und Engagement. Wir danken Rainer Koschke, Holger Schlingloff und Kurt Schneider für die Auswahl der Workshops und den Mitgliedern des Programmkomitees des Doktorandensymposiums Uwe Assmann, Jürgen Ebert, Maritta Heisel, Manfred Nagl und Kurt Schneider für die Unterstützung der jungen Promovierenden. Ferner danken wir den vielen Helfern, die bei der Vorbereitung und Durchführung der Workshops mitgearbeitet haben, insbesondere Andreas Wortmann und Jan Oliver Ringert. Diesen Workshopband haben Ivan Bogicevic, Erica Janke, Jan-Peter Ostberg und Ana-Maria Dragomir erstellt. Vielen Dank dafür! Stefan Wagner, Leitung Workshops und Tutorien Horst Lichter, Leitung Doktorandensymposium Stuttgart und Aachen, im Februar 2013

7

8 Inhaltsverzeichnis ATPS Arbeitstagung Programmiersprachen JensKnoop, Janis Voigtländer Vorwort zur6. Arbeitstagung Programmiersprachen (ATPS 2013) Jürgen Giesl Automated Termination Analysis: From Term Rewriting to Programming Languages Wolf Zimmermann Modell-basierte Programmgenerierung und Methoden des Übersetzerbaus Zwei Seiten derselben Medaille? Till Berger, David Sabel Parallelizing DPLL in Haskell Gergö Barany Static and Dynamic Method Unboxing forpython Dennis Klassen ViCE-UPSLA: A Visual High Level Language foraccurate Simulation of Interlocked Pipelined Processors Roland Lezuo, Gergö Barany, AndreasKrall CASM: Implementing anabstract State Machine based Programming Language Henning Heitkötter, TimA.Majchrzak, Herbert Kuchen MD -DSL eine domänenspezifische Sprache zur Beschreibung und Generierung mobileranwendungen Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden, Volker Stolz HowUseful Are Existing Monitoring Languages forsecuring Android Apps? Jürgen Graf, Martin Hecker, Martin Mohr Using JOANA for Information FlowControl in Java Programs A Practical Guide

9 Reiner Jung, Christian Schneider, WilhelmHasselbring Type Systems for Domain-specific Languages Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann From Software Architecture Structure and Behavior Modeling toimplementations of Cyber-Physical Systems Baltasar Trancón ywidemann, Markus Lepper Paisley: A Pattern Matching Library forarbitrary Object Models DFF Design for Future 2013 Software Engineering für langlebige Systeme Marvin Grieger, Stefan Sauer Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung Sascha Roth, Florian Matthes Future Research Topics in Enterprise Architectures Evolution Analysis Simon Giesecke, Niels Streekmann Evolution wiederverwendbarer Schnittstellen in der Produktentwicklung Jasminka Matevska ISS Columbus Module On Board Software Maintenance Klaus Schmid, Rainer Koschke, Christian Kröher, DierkLüdemann Towards Identifying Evolution Smells in Software Product Lines Henning Schwentner, Jens Barthel Die Objektorientierte Hülle Erweiterbarkeit imperativ prozeduraler Altsysteme durch Verschalung

10 ENVISION Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme Wolfgang Böhm, Andreas Vogelsang An Artifact-Oriented Framework for the Seamless Development of Embedded Systems Bastian Tenbergen, Philipp Bohn, Thorsten Weyer Ein strukturierter Ansatz zur Ableitung methodenspezifischer UML/SysML-Profile am Beispiel des SPES 2020 Requirements Viewpoints Matthias Büker, Stefan Henkler, Stefanie Schlegel, Eike Thaden A Design Space ExplorationFramework formodel-based Software-Intensive Embedded System Development Martin Große-Rhode, Peter Manhart, Ralf Mauersberger, Sebastian Schröck, Michael Schulze, Thorsten Weyer Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen ThomasHolm, Sebastian Schröck, Alexander Fay, Tobias Jäger, Ulrich Löwen Engineering von Mechatronik und Software in automatisierten Anlagen: Anforderungen und Stand der Technik Christian Manz, Manfred Reichert Herausforderungen an ein durchgängiges Variantenmanagement in Software-Produktlinien und die daraus resultierende Entwicklungsprozessadaption Peter Manhart, PedramMir Seyed Nazari, Bernhard Rumpe, Ina Schaefer, Christoph Schulze Konzepte zur Erweiterung des SPES Meta-Modells um Aspekte der Variabilitäts- und Deltamodellierung MarianDaun, Jennifer Brings, JensHöfflinger, Thorsten Weyer Funktionsgetriebene Entwicklung Software-intensiver eingebetteter Systeme in der Automobilindustrie Stand der Wissenschaft und Forschungsfragestellungen

11 ME'13 First European Workshop on Mobile Engineering Roelof Kemp, Nicholas Palmer, Thilo Kielmann, Henri Bal, Bastiaan Aarts, Anwar Ghuloum Using RenderScript and RCUDA for Compute Intensive Tasks on Mobile Devices: a Case Study Stephan Krusche, TobiasKonsek Mobile Scrum Sooman Jeong, Kisung Lee, JungwooHwang, Seongjin Lee, Youjip Won AndroStep: AndroidStorage Performance Analysis Tool Daniel Bader, DennisPagano Towards Automated Detection of Mobile Usability Issues Christopher Ruff, Uwe Laufs, Moritz Müller, Jan Zibuschka Saving Energy in Production Using Mobile Services Andreas Sommer, Stephan Krusche EvaluationofCross-Platform Frameworks for Mobile Applications Christoph Hausmann, Patrick Blitz, Uwe Baumgarten Debugging Cross-Platform Mobile Apps without Tool Break Marlo Häring Platform Architecture Portfolio Comparisn of3platforms(android, ios, mobile Ubuntu) MartinOtt Develop and Scale Mobile Services in Cloud ComputingScenarios

12 Modellierung von Vorgehensmodellen Paradigmen, Sprachen, Tools Marco Kuhrmann, Daniel Méndez Fernández, Oliver Linssen, Alexander Knapp Modellierung von Vorgehensmodellen Paradigmen, Sprachen, Tools Michael Striewe,Michael Goedicke Modellierung und Enactment mit ESSENCE Mark Kibanov, DominikJ. Erdmann, Martin Atzmueller HowtoSelect asuitable Tool forasoftware Development Project: Three Case Studies and the Lessons Learned Michael Spijkerman Ein pragmatischer Ansatzzur Entwicklung situationsgerechter Entwicklungsmethoden Masud Fazal-Baqaie, Markus Luckey, Gregor Engels Assembly-Based Method Engineering with Method Patterns Traceability Nutzung und Nutzen Andreas Ditze Data Lineage Goes Traceability oder wasrequirements Engineering von Business Intelligence lernen kann Thomas Beyhl, Regina Hebig, HolgerGiese A Model Management Framework for Maintaining Traceability Links Alexander Delater, Barbara Paech UNICASE Trace Client: A CASE Tool Integrating RequirementsEngineering, Project Managementand Code Implementation

13 ZeMoSS Zertifizierung und modellgetriebene Entwicklung sicherer Software Michael Wasilewski, WilhelmHasselbring, DirkNowotka Defining Requirements on Domain-Specific Languages in Model-Driven Software Engineering ofsafety-critical Systems Hardi Hungar, Marc Behrens Opening upthe Verificationand Validation of Safety-Critical Software Maged Khalil Pattern-Based Methods for Model-Based Safety-Critical Software Architecture Design: A PhD Thesis Proposal Asim Abdulkhaleq, Stefan Wagner Integrating State Machine Analysis with System-Theoretic Process Analysis Sebastian Saal, Dennis Klar,Markus Seemann, Michaela Huhn ZurRisikobestimmung bei Security-Analysen in der Eisenbahnsignaltechnik Andre Rein, Carsten Rudolph, Jose Fran. Ruiz Building Secure Systems Using a Security Engineering Process and Security BuildingBlocks Jean-Pascal Schwinn, Rasmus Adler, Sören Kemmann Combining Safety Engineering and Product Line Engineering

14 Doktorandensymposium Horst Lichter, Kurt Schneider Vorwort zum Doktorandensymposium Philipp Merkle Guiding Transaction Design through Architecture-Level Performance and Data Consistency Prediction Christin Zahner Erweiterung vondomänenspezifischen Sprachen um benutzerdefinierte Werttypen Hagen Schink Multi-Language Refactoring with Dimensions of Semantics-Preservation FrederikDeckwerth Generating Monitors forusage Control Michael Thomas Hitz Eine Multikanal-Architektur für adaptive, webbasierte Frontendsysteme und deren Erweiterbarkeit durch Variantenbildung Andreas Scharf Scribble AFramework for Integrating Intelligent Input Methods into Graphical Diagram Editors