Bettina Biel, Matthias Book, Volker Gruhn (Hrsg.)

Software Engineering 2006

Fachtagung des GI-Fachbereichs Softwaretechnik 28.-31. März 2006 in Leipzig

Gesellschaft für Informatik 2006

Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft für Informatik (GI) Volume P-79 ISBN 3-88579-173-0 ISSN 1617-5468

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, 04109 Leipzig, Germany Email: {biel, book, gruhn}@ebus.informatik.uni-leipzig.de

Series Editorial Board Heinrich C. Mayr, Universität Klagenfurt, Austria (Chairman, [email protected]) 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

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

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

Gold-Sponsor

www.adesso.de

Silber-Sponsoren COMMERZBANK Aktiengesellschaft

www.commerzbank.de

The e-Spirit Company GmbH

www.e-spirit.de

ISKV

www.iskv.de

sd&m AG, software design & management

www.sdm.de

Versicherungsforen Leipzig – Gesellschaft für angewandte Versicherungswissenschaft mbH

www.versicherungsforen.net

Inhaltsverzeichnis Keynotes Herausforderungen an das Software Engineering in der Versicherungswirtschaft Ralf Schneider Übergreifende Produktentwicklung als neuer Weg der zukunftsorientierten Applikationsentwicklung Christian Rhino How to Educate a Computer Scientist Mehdi Jazayeri

13

15 17

Eingeladene Praxisvorträge Business-Integration mit Service-Orientierten Architekturen? Ein Erfahrungsbericht Andreas Hutfless Requirements Engineering für ein wissenschaftliches Großexperiment Georg Kühner

21 23

Forschungsarbeiten Software-Architekturen und -Archive Automatisierte Softwareüberprüfung auf der Basis von Architekturregeln Petra Becker-Pechau, Bettina Karstens, Carola Lilienthal

27

Was Software-Archive erzählen Stephan Diehl, Andreas Zeller, Thomas Zimmermann

39

Software-Produktlinien Anforderungsbasierte Erkennung von Feature-Interaktionen in der Produktlinienentwicklung Andreas Metzger, Klaus Pohl

53

Dokumentation spezifischer Anforderungen im Application Requirements Engineering der Produktlinienentwicklung Günter Halmans, Klaus Pohl

59

Testen TEAGER - Test Automation for UML State Machines Thomas Santen, Dirk Seifert

73

Über die Spuren der testgetriebenen Entwicklung im Programmtext Matthias M. Müller

85

Service-orientierte Architekturen Eine Normalform für Services Bernhard Humm, Oliver Juwig Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen Gregor Engels, Baris Güldali, Oliver Juwig, Marc Lohmann, Jan-Peter Richter

99

111

Formale Methoden Datenflussanalyse als Modelchecking im jABC Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen

125

State Identification and Verification using a Model Checker Christopher Robinson-Mallett, Peter Liggesmeyer

131

Compositional Verification of Timed Components using PVS Marcel Kyas, Jozef Hooman

143

Software-Entwicklungsprozesse Integrierte Softwaremessung durch Verankerung der Softwaremaße an Elementen des Vorgehensmodells Bernhard Daubner, Andreas Henrich, Bernhard Westfechtel

157

Effekte von Paararbeit Tanja Bipp, Andreas Lepper, Doris Schmedding

163

Activity Mining for Discovering Software Process Models Ekkart Kindler, Vladimir Rubin, Wilhelm Schäfer

175

Ein Ansatz zur formatneutralen Verwaltung von Metadaten in komponentenorientierten Softwareprozessen Hans-Jörg Happel, Axel Korthaus, Stefan Seedorf, Peter Tomczyk

181