Seminar: Modellierungstechniken in der Softwareentwicklung und -wartung

Betreuende Assistenten

Dipl.-Inform. Christof Mosler	Dipl.-Inform. Erhard Schultchen
+49/241/80-21315	+49/241/80-21312
christof@i3.informatik.rwth-aachen.de	schultchen@i3.informatik.rwth-aachen.de

News

• 26.06 Vortragsvorlagen für Powerpoint & OpenOffice.org liegen im BSCW
• 12.06. Zeitplan aktualisiert (2)!

Überblick

Das Seminar "Modellierungstechniken in der Softwareentwicklung und -wartung" wird als praktisches Seminar für das Hauptstudium im Sommersemester 2006 angeboten. Zulassungsvoraussetzungen sind ein abgeschlossenes Vordiplom und die Kenntniss der Vorlesungen: Einführung in die Softwaretechnik (Prof. Nagl) und Objektorientierte Software-Konstruktion (Prof. Lichter).


Alle Dokumente, also unsere Vorlagen und Eure Ausarbeitungen werden auf einem zentralen BSCW-Server abgelegt. Zur Kommunikation stellen wir eine Mailingliste zur Verfügung. Wir verwenden die Liste, um euch aktuelle Informationen zu dem Seminar mitzuteilen. Ihr könnt die Liste auch zur Diskussion, Absprache oder Hilfesuche verwenden.

Wichtige Information: Ein abgeschlossenes Vordiplom ist unbedingte Voraussetzung für die Teilnahme am Seminar. Es muss eine Bestätigung vorgelegt werden!

Termine

Datum	Uhrzeit	Beschreibung	Ort
13.02.2006	9:00	Vorbesprechung	Seminarraum i3 (4312)
05.04.2006	9:00 - 11:30	Themenvorstellung der Studenten	Seminarraum i3 (4312)
bis 21.04.2006	n.V.	Gliederung der Ausarbeitung	Mosler (4219), Schultchen (4305)
02.06.2006	10:00-11:00	Abgabe der Ausarbeitung (finaler Charakter!) und Rhetorik-Kurs	Seminarraum i3 (4312)
Mitte Juni 2006	n.V.	Besprechung der Ausarbeitung	Mosler (4219), Schultchen (4305)
bis 03.07.2006	n.V.	Zweite Fassung der Ausarbeitung und Besprechung der Anmerkungen	Mosler (4219), Schultchen (4305)
14.07.2006	n.V.	Abgabe der Folien	Mosler (4219), Schultchen (4305)
01.08.2006	12:00	Finale Version der Ausarbeitung	Mosler (4219), Schultchen (4305)
07. - 09.08.2006	n.V.	Probevorträge	Seminarraum i3 (4312)
21. - 22.08.2006	Details folgen	Vorträge im Blockseminar

Themen

Thema 1: Software Architecture Recovery Using Clustering Techniques

Betreuer: Mosler, Bearbeiter: Marcel Pettau

Software architecture recovery and restructering are critical for maintenance and evolution. Several automatic techniques for architecture recovery have been proposed, some of them based on pattern-matching and structure graph analysis. This work discusses an approach using clustering techniques.

• Software Architecture Recovery and Restructuring through Clustering Techniques, Chung-Horng Lung
• Architecture-aware adaptive clustering of OO systems, M. Bauer, M. Trifu

Thema 2: Static Composition of Refactorings

Betreuer: Mosler, Bearbeiter: Yingying Zhang

Refactorings are program transformations that improve the software structure while preserving its external behaviour. In general, the number of possible refactorings is unlimited. This work shows how to build tools allowing the specification of larger refactorings by composing the existing ones.

• Static composition of refactorings, Günter Kniesel, Helge Koch

Thema 3: Parametric Contracts

Betreuer: Mosler, Bearbeiter: Tobias Walter

• Component Composition with Parametric Contracts, Ralf H. Reussner, Steffen Becker, Viktoria Firus
• Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars, Ralf H. Reussner, Jens Happe, Annegret Habel

Thema 4: Feature Oriented Refactoring

Betreuer: Mosler, Bearbeiter: Tobias Linke

The goal of Feature Oriented Programming is to specify a target program declaratively in terms of features and to synthesize an efficient program that meets this specification. This work presents a theory of Feature Oriented Refactoring, which stands for the process of decomposing a program into features.

• Feature Oriented Refactoring of Legacy Applications, Jia Liu, Don Batory, Christian Lengauer
• A Tutorial on Feature Oriented Programming and Product-Lines, Don Batory

Thema 5: Extracting State Machnies from Source Code

Betreuer: Mosler, Bearbeiter: Andre Kamp

Finite-state models are often used for the specification of software systems. Expecially in the area of embedded real-time systems engineers often think in terms of state machines and protocols. This work concerns the problem of ex post constructing a finite-state model that approximates the executable behaviour of a given software system. The goal is to make the software understandable and by this means to support the reverse engineering process.

• Bandera: Extracting Finite-state Models from Java Source Code, James C. Corbett, Matthew B. Dwyer et al.
• Extracting state diagrams from legacy systems, Tarja Systä, Kai Koskimies

Thema 6: Slicing in Concurrent Programs

Betreuer: Mosler, Bearbeiter: Jan Newger

Program slicing is a software maintenance technique used for abstracting from programs. Starting from a subset of a program's behaviour, slicing reduces that program to a minimal form which still produces that behaviuor. This work presents program slicing techniques for multithreaded languages allowing parallel analysis.

• An improved Slicer for Java, Christian Hammer, Gregor Snelting
• A Practical MHP Information Analysis for Concurrent Java Programs, Lin Li, Clark Verbrugge
• Program Slicing, Mark Weiser

Thema 7: Generic Refactorings

Betreuer: Mosler, Bearbeiter: Nadine Schlonies

These papers describe an approach for using language indepenent refactorings.

• Towards generic refactoring, Ralf Lämmel
• Analysis and Definition of a Language Independent Refactoring Catalog, Raul Marticorena

Thema 8: Verification of Code Generation from graph-based models

Betreuer: Schultchen, Bearbeiter: Andrej Scheuermann

UML specifications offer the advantage to describe software systems while the actual task of implementing code for them is passed to code generators that automatically produce e.g. Java code. For safety reasons, it is necessary that the generated code is semantically equivalent to the original UML specification.

• Formal verification of Java Code Generation from UML Models, Blech, Glesner, Leitner in: Proc. of 3rd intl. Fujaba Days

Thema 9: Model-driven development of real-time systems: Modeling and code generation

Betreuer: Schultchen, Bearbeiter: Thomas Knott

• Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code, Burmester, Giese, Schäfer, in: Proc. of the European Conference on MDA - Foundations and Applications (ECMDA-FA'05)
• A Plugin for checking inductive invariants when modeling with class diagrams and story patterns, Becker, Giese, Schilling, in: Proc. of 3rd intl. Fujaba Days

Thema 10: Verification of real-time properties using graph transformations

Betreuer: Schultchen, Bearbeiter: Christoph Magoley

• Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking, Madl, Abdelwahed, Schmidt
• An End-to-End Domain-Driven Software Development Framework, Agrawal, Karsai, Ledeczi

Thema 11: Visual Model Evolution based on Graph Transformations

Betreuer: Schultchen, Bearbeiter: Volker Aßmann

• Visual Design of Software Architecture and Evolution based on Graph Transformation, Ermel, Bardohl, Padberg
• Rule-Based and Visual Model Evolution using GenGED, Padberg, Ermel, Bardohl

Thema 12: Modeling Software Evolution

Betreuer: Schultchen, Bearbeiter: Daniela Sieben

• Using Meta-Model Transformation to Model Software Evolution, Girba, Favre, Ducasse

Thema 13: Graph transformations on domain-specific models

Betreuer: Schultchen, Bearbeiter: Rene Boulnois

• A UML-based Graph Transformation Approach for Implementing Domain-Specific Model Transformations, Agrawal, Karsai, Shi
• Graph Transformations on Domain-Specific Models (ext edition), Agrawal, Karsai, Shi

Thema 14: Testing Graph-based models

Betreuer: Schultchen, Bearbeiter: Andre Holl

• Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests, Geiger, Zündorf
• Graph Transformations for Model-based Testing, Conra, Dörr, Stürmer, Schürr