Software Engineering 2006

Transkript

1 Bettina Biel, Matthias Book, Volker Gruhn (Hrsg.) Software Engineering 2006 Fachtagung des GI-Fachbereichs Softwaretechnik März 2006 in Leipzig Gesellschaft für Informatik 2006

2 Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft für Informatik (GI) Volume P-79 ISBN ISSN Volume Editors Bettina Biel M.A. Dipl.-Inform. Matthias Book Prof. Dr. Volker Gruhn Lehrstuhl für Angewandte Telematik/e-Business Institut für Informatik, Universität Leipzig Klostergasse 3, Leipzig, Germany {biel, book, gruhn}@ebus.informatik.uni-leipzig.de Series Editorial Board Heinrich C. Mayr, Universität Klagenfurt, Austria (Chairman, mayr@ifit.uni-klu.ac.at) Jörg Becker, Universität Münster, Germany Ulrich Furbach, Universität Koblenz, Germany Axel Lehmann, Universität der Bundeswehr München, Germany Peter Liggesmeyer, TU Kaiserslautern und Fraunhofer IESE, Germany Ernst W. Mayr, Technische Universität München, Germany Heinrich Müller, Universität Dortmund, Germany Heinrich Reinermann, Hochschule für Verwaltungswissenschaften Speyer, Germany Karl-Heinz Rödiger, Universität Bremen, Germany Sigrid Schubert, Universität Siegen, Germany Dissertations Dorothea Wagner, Universität Karlsruhe, Germany Seminars Reinhard Wilhelm, Universität des Saarlandes, Germany Gesellschaft für Informatik, Bonn 2006 printed by Köllen Druck+Verlag GmbH, Bonn

3 Willkommen zur Software Engineering 2006 in Leipzig! Aufbauend auf dem Erfolg der Software Engineering 2005 in Essen verfolgen wir mit der SE 2006 in Leipzig verschiedene Ziele. Zum einen soll ein Forum für die Präsentation neuer wissenschaftlicher Ergebnisse geboten werden, zum anderen sollen Praxisbeiträge aufzeigen, dass Software Engineering in Deutschland eine dringend benötigte Kompetenz ist. Und schließlich soll das gegenseitige Verständnis von Wissenschaft und Praxis verbessert werden. Mit all dem möchten wir unterstreichen, dass auch und vielleicht sogar gerade in Zeiten von Outsourcing und Offshoring von Anwendungsentwicklung intelligente Methoden und Verfahren für die Entwicklung und den Betrieb von Software nötig sind und eine Kernkompetenz moderner Industriegesellschaften darstellen. Die SE 2006 wird vom Fachbereich Softwaretechnik der Gesellschaft für Informatik e.v. unter Beteiligung der Fachgruppen des Fachbereichs und der Universität Leipzig veranstaltet. Mit eingeladenen Praxisvorträgen, die von Anwendern und Software-Herstellern bestritten werden, mit einem eingeladenen wissenschaftlichen Vortrag, mit so genannten Mini-Tutorials, die den Stand der Forschung und Anwendung zu aktuellen Schlagwörtern zusammenfassen, mit Halbtages-Tutorials am Vortag der Konferenz und mit wissenschaftlichen Vorträgen ergibt sich ein Programm, das hoffentlich für jeden Geschmack etwas bietet und das neue Erkenntnisse finden hilft. Unserer besonderer Dank gilt dem Programmkomitee, das mit überaus bemerkenswerter Disziplin, Pünktlichkeit und Sachorientierung zu Werke gegangen ist, Dirk Peters, der das Konferenz-Management-System Paperdyne bereitgestellt und betrieben hat, dem Steering Committee der SE-Tagungsreihe, das immer mit Rat und Tat zur Verfügung stand. Mein persönlich ganz besonderer Dank gilt Bettina Biel und Matthias Book, die die gesamte Organisation geleistet haben und mich zum jeweils passenden Zeitpunkt daran erinnert haben, was denn nun getan werden musste. Allen Beteiligten viel Erfolg, Erkenntnisse und Spaß! Leipzig, im Januar 2006 Volker Gruhn

4 Tagungsleitung Volker Gruhn, Universität Leipzig Tagungsorganisation Bettina Biel, Universität Leipzig Matthias Book, Universität Leipzig Programmkomitee Uwe Aßmann, Technische Universität Dresden Sami Beydeda, Bundesamt für Finanzen Alfred Bröckers, adesso AG Bernd Brügge, Technische Universität München Wolfgang Deiters, FhG ISST Ernst-Erich Doberkat, Universität Dortmund Gregor Engels, Universität Paderborn Klaus-Peter Fähnrich, Universität Leipzig Harald Gall, Universität Zürich Michael Goedicke, Universität Duisburg-Essen Volker Gruhn, Universität Leipzig Wilhelm Hasselbring, Universität Oldenburg Udo Kelter, Universität Siegen Claus Lewerentz, Technische Universität Cottbus, FhG FIRST Peter Liggesmeyer, Universität Kaiserslautern, FhG IESE Peter Löhr, Freie Universität Berlin Tiziana Margaria, Universität Göttingen Andreas Oberweis, Universität Karlsruhe Barbara Paech, Universität Heidelberg Dirk Platz, Schufa Holding AG Klaus Pohl, Universität Duisburg-Essen Ralf Reussner, Universität Oldenburg Wilhelm Schäfer, Universität Paderborn Arno Schott, Alter Leipziger Lebensversicherung a.g. Gregor Snelting, Universität Passau Andreas Zeller, Universität des Saarlandes Heinz Züllighoven, Universität Hamburg Albert Zündorf, Universität Kassel

5 Gold-Sponsor Silber-Sponsoren COMMERZBANK Aktiengesellschaft The e-spirit Company GmbH ISKV sd&m AG, software design & management Versicherungsforen Leipzig Gesellschaft für angewandte Versicherungswissenschaft mbh

6 Inhaltsverzeichnis Keynotes Herausforderungen an das Software Engineering in der Versicherungswirtschaft 13 Ralf Schneider Übergreifende Produktentwicklung als neuer Weg der zukunftsorientierten Applikationsentwicklung 15 Christian Rhino How to Educate a Computer Scientist 17 Mehdi Jazayeri Eingeladene Praxisvorträge Business-Integration mit Service-Orientierten Architekturen? Ein Erfahrungsbericht 21 Andreas Hutfless Requirements Engineering für ein wissenschaftliches Großexperiment 23 Georg Kühner Forschungsarbeiten Software-Architekturen und -Archive Automatisierte Softwareüberprüfung auf der Basis von Architekturregeln 27 Petra Becker-Pechau, Bettina Karstens, Carola Lilienthal Was Software-Archive erzählen 39 Stephan Diehl, Andreas Zeller, Thomas Zimmermann Software-Produktlinien Anforderungsbasierte Erkennung von Feature-Interaktionen in der Produktlinienentwicklung 53 Andreas Metzger, Klaus Pohl Dokumentation spezifischer Anforderungen im Application Requirements Engineering der Produktlinienentwicklung 59 Günter Halmans, Klaus Pohl

7 Testen TEAGER - Test Automation for UML State Machines 73 Thomas Santen, Dirk Seifert Über die Spuren der testgetriebenen Entwicklung im Programmtext 85 Matthias M. Müller Service-orientierte Architekturen Eine Normalform für Services 99 Bernhard Humm, Oliver Juwig Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen 111 Gregor Engels, Baris Güldali, Oliver Juwig, Marc Lohmann, Jan-Peter Richter Formale Methoden Datenflussanalyse als Modelchecking im jabc 125 Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen State Identification and Verification using a Model Checker 131 Christopher Robinson-Mallett, Peter Liggesmeyer Compositional Verification of Timed Components using PVS 143 Marcel Kyas, Jozef Hooman Software-Entwicklungsprozesse Integrierte Softwaremessung durch Verankerung der Softwaremaße an Elementen des Vorgehensmodells 157 Bernhard Daubner, Andreas Henrich, Bernhard Westfechtel Effekte von Paararbeit 163 Tanja Bipp, Andreas Lepper, Doris Schmedding Activity Mining for Discovering Software Process Models 175 Ekkart Kindler, Vladimir Rubin, Wilhelm Schäfer Ein Ansatz zur formatneutralen Verwaltung von Metadaten in komponentenorientierten Softwareprozessen 181 Hans-Jörg Happel, Axel Korthaus, Stefan Seedorf, Peter Tomczyk