Sie sind auf Seite 1von 3

Dissertationen

Informatik Forsch. Entw. (2002) 17: 4850

In dieser Rubrik wird uber die im deutschsprachigen Raum abgeschlossenen Dissertationen berichtet. Dissertationen sind ein typischer
Ausdruck fur die auf einem Fachgebiet aktuellen Forschungs- und Entwicklungsthemen. Um eine einheitliche Darstellung zu erreichen, wird
jeweils folgende Information angegeben: Thema, Autor, Universitat, Jahr, Gutachter und Kurzfassung. Die Angaben basieren auf Daten, die
von den Universitatsinstituten oder den Autoren zur Verfugung gestellt werden. Die Rubrik erhebt keinen Anspruch auf Vollstandigkeit. Sind
mehrere Gutachter angegeben, so steht der Name des Hauptreferenten an erster Stelle.

specific inspection implementation, but also how to evaluate software


Cost-effective Detection of Software Defects inspections in their projects and their organizations.
through Perspective-based Inspections
Oliver Laitenberger, Universitat Kaiserslautern, 2000 Erschienen in der Reihe PhD Theses in Experimental Software En-
(Gutachter: Prof. Dr. D. Rombach, Prof. Dr. V. Basili) gineering, Fraunhofer IRB Verlag, 2000, ISBN 3-8167-5583-6
Software organizations must deliver high quality products on time
and within budget to remain competitive in the marketplace. Howe-
ver, the reliable and predictable development of high quality software
continues to be a major problem, largely due to the inadequate and Einsatz objekt-relationaler Datenbanksysteme
late removal of defects. fur Web-Informationssysteme
One of the proposed solutions for early detection and removal Henrik Loeser, Universitat Kaiserslautern, 2000
of defects is software inspection. However, despite the large body of (Gutachter: Prof. Dr. T. Harder, Prof. Dr. A. Heuer)
inspection experience accumulated over the last 20 years, there is still
a need for further work on the question of how managers can organize
a software inspection with respect to the examined documentation Seit wenigen Jahren gibt es objekt-relationale Datenbankverwal-
and, once it has been organized, how developers can perform the tungssysteme (ORDBVS), mit SQL:1999 wurden erstmals Teile der
defect detection activity in a systematic manner. objekt-relationalen Funktionalitat standardisiert. In unserer Arbeit
This thesis presents a new approach to inspection organization. untersuchen wir, wie gut sich die objekt-relationale DB-Technologie
It argues for organizing inspections around logical entities from the und SQL:1999 fur den Einsatz in Web-Informationssystemen (WIS)
software architecture rather than around particular (types of) docu- eignen. Dazu betrachten wir nach einem Uberblick uber ORDBVS
ments. Although this approach, dubbed architecture-centric inspec- und WIS die Bereiche der Dokumentenbereitstellung, der Suche und
tion organization, is generally applicable, we consider it particularly Navigation sowie der Dokumentenverwaltung genauer. Wir zeigen,
valuable for inspections in object-oriented development projects. wie sich die bislang fur die Bereitstellung DB-basierter Dokumente
To provide systematic support for detecting defects in the docu- vorhandenen Alternativen der dynamischen Generierung oder der
mentation of any logical entity, this thesis introduces the Perspective- periodischen Vorgenerierung durch ein ORDBS-basiertes Verfahren
based Reading (PBR) technique. The basic idea underlying PBR is ablosen lassen. Durch das vorgestellte Verfahren ist es moglich, Do-
to focus each inspector on a specific viewpoint and to provide ac- kumente direkt nach Datenanderungen automatisch zu aktualisieren
tive guidelines for scrutinizing the documentation of one or several und als statische Web-Seiten verfugbar zu machen. Die dazu notwen-
logical entities for defects. To elaborate this idea into a generally digen Systemkomponenten werden in ein ORDBS integriert. Durch
applicable technique, the thesis provides an in-depth description of die Bereitstellung der DB-basierten Dokumente als statische Web-
PBR. Moreover, it explains how to tailor PBR to various inspection Seiten kann zugleich auch die von Suchmaschinen indexierbare Do-
situations. kumentenbasis vergroert werden. Bislang in der hidden world lie-
To quantify the potential benefits of PBR in conjunction with gende, d. h. von Suchmaschinen nicht indexierbare und damit nicht
the architecture-centric inspection organization, this thesis describes uber die Suche auffindbare Bereiche des WIS werden nun in den
three empirical studies. The primary goal of these studies was the Suchindex aufgenommen. Uber eine Kopplung des Dokumentenge-
evaluation of PBR in comparison with more traditional reading tech- nerators mit einer in das ORDBS integrierten Suchmaschine lassen
niques, that is, ad-hoc or checklist-based reading. The study results sich die Indexdaten zudem direkt nach einer Dokumentenerneuerung
suggest that PBR increases the defect detection effectiveness as well aktualisieren, so dass nicht nur aktuelle Dokumenteninhalte, sondern
as the cost-effectiveness of inspections. auch aktuelle Indexdaten zur Verfugung stehen.
By providing a detailed explanation of PBR, we expect that re- Die in der Arbeit diskutierten Konzepte wurden im System
searchers will be able to extend the scope of the technique, perform iWebDB umgesetzt und getestet. Uber die dabei mit kommerziel-
replications of our empirical studies, and set up new ones. The re- len ORDBVS und SQL:1999 gemachten Erfahrungen berichten wir
ported experiences gathered in the design, execution, and analysis of und zeigen, wo sowohl bei ORDBVS als auch beim SQL-Standard
our studies may be helpful for these purposes. However, we strongly noch Entwicklungsbedarf besteht, damit ein WIS optimal vom Ein-
believe that the lessons learned in those studies are beneficial for the satz objekt-relationaler Datenbanksysteme profitieren kann. Mit der
empirical software engineering field in general. Practitioners not only derzeit vorhandenen Funktionalitat lassen sich die Grundkonzepte
receive concrete advice about how to apply the architecture-centric umsetzen und sich aktuelle Dokumenteninhalte und Indexdaten in
approach for inspection organization and how to utilize PBR for their einem WIS zur Verfugung stellen.
Dissertationen 49

Supporting Semantically Rich Relationships FIESTA: A Framework for Schema Evolution


in Extensible Object-Relational Database Management Systems in Multidimensional Databases
Nan Zhang, Universitat Kaiserslautern, 2000 Markus Blaschka, Technische Universitat Munchen, 2000
(Gutachter: Prof. Dr. T. Harder, Prof. Dr. A. Buchmann) (Gutachter: Prof. Dr. R. Bayer, Prof. Dr. W. Kieling)
Despite the importance of relationships to database applications, re- Neuartige Datenbank-Anwendungen wie Data Warehousing und
latively little progress has occurred in effectively incorporating their OLAP (Online Analytical Processing) verwenden zur Beschrei-
semantics into database management systems (DBMSs). A major bung der Anwendungsdomane das multidimensionale Datenmodell.
effort in this direction is represented by object-relational DBMSs OLAP Systeme weisen daher ein multidimensionales Datenbank-
(ORDBMSs), which gain more and more popularity due to their ex- Schema auf, um die Anwendungs-Semantik adaquat darzustellen.
tensibility, that is, the ability to allow user-defined extensions to be Mit FIESTA wird eine Methodik zur Schema-Evolution solcher mul-
added into the system and used in the same way as native DBMS tidimensionaler Schemata vorgestellt.
facilitates.
Kern der Arbeit ist eine Schema-Evolutions-Algebra, die eine
Our work addresses the enrichment of object-relational data mo-
Formalisierung des multidimensionalen Datenmodells zusammen
dels (ORDMs) with semantically rich relationships, with the primary
mit darauf aufbauenden Schema-Evolutions-Operationen beinhaltet.
goal to provide uniform, concise modeling on one hand and ade-
Da OLAP-Systeme meist als Zusatzschichten-Architektur fur rela-
quate integration on the other. Our efforts for achieving this goal
tionale Datenbanksysteme implementiert werden, wird die Verarbei-
are manifested by ORIENT (Object-based Relationship Integration
tung von Sequenzen solcher Schema-Evolutions-Operationen in ei-
ENvironmenT) which plays the following roles:
nem relationalen Datenbanksystem vorgestellt. Dazu wird formal be-
As a framework, ORIENT supplies modeling concepts to capture schrieben, wie ein multidimensionales Schema auf ein entsprechen-
semantic properties of relationships in real-world applications. des relationales DB-Schema abgebildet werden kann. Damit bei die-
As an approach, ORIENT explores how the proposed concepts ser Transformation die volle multidimensionale Semantik erhalten
can be implemented and integrated into the system. bleibt, wird ein entsprechendes Metaschema als Erweiterung des re-
As a prototype, ORIENT not only offers a semantic front-end of lationalen Systemkatalogs eingefuhrt. Zur konsistenten Umsetzung
an ORDBMS for the user to be relieved from considering im- von Evolutions-Operationen-Sequenzen erfolgt eine Transformation
plementation details, but also provides appropriate mechanisms in entsprechende relationale Evolutions-Kommandos, die neben dem
for the system to be made responsible for the specified semantics eigentlichen relationalen Datenbankschema auch die Instanzen und
during data retrieval and manipulation. die Inhalte des Metaschemas anpassen. FIESTA wurde im Rahmen
Our main concern lies in how to exploit the expressiveness and einer graphischen Data Warehouse-Entwurfsumgebung prototypisch
the extensibility of current ORDBMSs to offer such an enhanced implementiert. Dabei werden die multidimensionalen Schemata an
support of relationship semantics. For this purpose, we investi- der Benutzer-Schnittstelle mit einer speziellen grafischen Notation,
gate three approaches of different integration depths. die eine Erweiterung des bekannten E/R Ansatzes ist, dargestellt.
The first one supports new concepts naively as syntactic su- Diese grafische Darstellung wird intern zur Verarbeitung in eine al-
gar of the built-in constructs provided by the DBMS. Such a gebraische Beschreibung des multidimensionalen Schemas transfor-
direct mapping approach, although with rather low implementa- miert.
tion complexity, is only applicable to a restricted set of desired
features.
Entwicklung verteilter Softwaresysteme: Integration
The deep integration approach promises much better functiona-
von Verteilung, Nebenlaufigkeit und Persistenz
lity and efficiency. Unfortunately, even ORDBMSs that claim
Marko Boger, Universitat Hamburg, 2001
to be extensible can hardly meet the expectations, because ORI-
(Gutachter: Prof. Dr. W. Lamersdorf, Prof. Dr. C. Linnhoff-Popien,
ENTs concepts go beyond the scope of data types. Their integra-
Dr. D. Moldt)
tion thus calls for more changes of the processing logic than what
ORDBMSs registration process and table-driven mechanism fa- Verteilte Systeme finden eine wachsende Bedeutung auf dem Gebiet
cilitate - merely making it possible for the system to recognize der Softwareanwendungen. Doch die Entwicklung von Anwendun-
the newly-added features during processing. gen fur solche verteilte Systeme gilt als einer der komplexesten Be-
Consequently, for the construction of the ORIENT prototype, reiche der Softwareentwicklung. Zusatzlich zu vielen Problemen, die
the desired integration depth is reasonably balanced against the schon in zentralisierten Softwaresystemen bewaltigt werden mussen,
available OR extensibility. By so doing, user-defined relation- erfordern verteilte Systeme die Behandlung der Aspekte Verteilung,
ships are implemented as constructs residing in the database ser- Nebenlaufigkeit und Persistenz. Nach heutigem Stand der Technik
ver, namely, as user-defined routines, thereby making the rela- werden diese Aspekte mit orthogonalen Konzepten bewaltigt, so dass
tionship support a more integral part of the system than just a die Entwickler Techniken fur jeden dieser Bereiche verstehen und be-
conventional on-top supplement. herrschen mussen. Daraus resultiert eine enorme Komplexitat, die die
All these attempts reveal that a more open approach to extensi- Entwicklung verteilter Systeme so schwer macht.
bility is needed as compared to what the current ORDBMSs exhi- Ziel dieser Arbeit ist, die Komplexitat der Programmierung ver-
bit. This leads us to a thorough deliberation on DBMS extensibility. teilter Softwareanwendungen zu reduzieren. Dazu wird in dieser
By reviewing the efforts that intend to make DBMSs more or less Arbeit untersucht, ob eine abstraktere Sicht moglich ist, die diese
extensible and by inspecting the mechanisms that are employed to Aspekte vereinigt. Es wird ein Konzept entwickelt, das alle drei
support DBMS extensibility, we derive what characteristics a proper Aspekte gleichermaen behandelt. Daraus ergibt sich eine Reduk-
extensibility infrastructure should present, what fundamental prin- tion der Komplexitat in der Entwicklung und eine Erhohung der
ciples should be followed to achieve true extensibility, as well as Flexibilitat im Einsatz. Dieses Konzept wird in einer verteilten Pro-
where the challenging problems or risks may remain. In summary, a grammiersprache umgesetzt, die als Dialekt von Java implementiert
sound understanding of the problem-specific processing, in our case, wird. Am Beispiel eines praktischen Einsatzes der im Rahmen der
processing that handles user-defined, semantically rich relationships, Arbeit konzipiert und neu entwickelten Techniken und Werkzeuge
together with its required support demonstrates a progressive step to- wird deren Tauglichkeit fur reale Anwendungesszenarien untersucht
wards attaining a realistic notion of DBMS extensibility. und evaluiert.
50 Dissertationen

Definition und Auswertung erweiterter Fehlerbaume zu verbinden. Diese Zwischendatenstruktur wird von dem einen Teil
fur die Zuverlassigkeitsanalyse technischer Systeme erzeugt und von dem anderen Teil verbraucht. Die gewonnene Modu-
Kerstin Buchacker, Universitat Erlangen-Nurnberg, 2000 laritat wird mit einer Verlangerung der Programmlaufzeit erkauft, da
(Gutachter: Prof. Dr. M. Dal Cin, Prof. Dr. F. Hofmann) das Aufbauen und Zerlegen der Zwischendatenstruktur Zeit kostet.
Deforestation bezeichnet eine Klasse von optimierenden Programm-
Bereits in der Entwurfsphase komplexer technischer Systeme spielt
transformationen, die ein Programm in ein aquivalentes Programm
die prazise Modellierung des Systems eine wichtige Rolle, damit
umwandeln, welches diese Zwischendatenstrukturen nicht mehr er-
moglichst fruhzeitig Aussagen uber das Verhalten des Systems ge-
zeugt.
wonnen werden konnen. Insbesondere bei Systemen, die spater ho-
In dieser Arbeit wird eine neue Deforestation-Methode beschrie-
hen Anspruchen in Bezug auf Sicherheit und Zuverlassigkeit genugen
ben, die eine bekannte Methode, Short Cut Deforestation, mit einer
mussen, konnen so anhand geeigneter Modelle Schwachen fruhzeitig
neuen, auf Typinferenz beruhenden Analyse kombiniert. Short Cut
aufgedeckt werden.
Deforestation eliminiert eine Zwischenliste durch eine einzige, lokale
In der Industrie werden seit langem Fehlerbaume zur Modellie-
Transformation. Im Gegenzug stellt Short Cut Deforestation jedoch
rung von groen sicherheits- oder zuverlassigkeitskritischen techni-
hohe Anforderungen an die syntaktische Form des Programms, die
schen Systemen, wie beispielsweise von Kraftwerken, Produktions-
dem Ziel von verstandlichen Programmen zuwiderlaufen. Es wird
anlagen, Bordrechnern von Flugzeugen oder Steuerungsanlagen fur
ein Algorithmus beschrieben, der einen beliebigen Erzeuger einer
den Schienenverkehr, verwendet.
Zwischendatenstruktur in die von Short Cut Deforestation geforderte
Der weitverbreitete Einsatz von Fehlerbaumen liegt mitbegrundet
Form bringt. Den Kern des Algorithmus bildet ein effizienter Typin-
in der bestechenden Eleganz boolescher Modelle, der Ubersichtlich-
ferenzalgorithmus, da das Transformationsproblem auf ein Typinfe-
keit und intuitiven Verstandlichkeit der graphischen Darstellung und
renzproblem zuruckgefuhrt werden kann.
nicht zuletzt der fundierten mathematischen Grundlage. Diese Vor-
teile der Fehlerbaumanalyse werden relativiert durch eine gravie-
rende Einschrankung der Modellierungsmachtigkeit. Wie alle boo- Modellierung und Analyse von Betriebssystemen mittels erwei-
leschen Modelle, konnen auch Fehlerbaume keine stochastischen terter Warteschlangentechniken und Petri Netzen
Abhangigkeiten zwischen Teilen des Systems darstellen, so dass Stefan Greiner, Universitat Erlangen-Nurnberg, 2000
sich beispielsweise Reparatur- oder Ausfallabhangigkeiten im Mo- (Gutachter: Prof. Dr. F. Hofmann, Prof. Dr. F. Sheldon)
dell nicht berucksichtigen lassen. Ebensowenig konnen Komponen- Rascher Fortschritt in der Entwicklung von Hardware und Software
ten exakt modelliert werden, deren Ausfallverhalten sich nicht ver- bedeutet auch, dass man Methoden zur Vorhersage der Leistung die-
lustfrei auf den Wechsel zwischen Intakt- und Defektzustand abbil- ser neuen Systeme benotigt bevor das System gebaut bzw. implemen-
den lasst. tiert wird. Diese Dissertation beschaftigt sich mit der Modellierung
Die Klasse der zustandsraumbasierten Modellierungsverfahren, und Analyse von Betriebssystemen und Cache Koharenz Prototkol-
hier vertreten durch stochastische Petrinetze, ist hingegen gut geeig- len. Um dieses Ziel zu erreichen werden gegenwartig existierende
net zur Modellierung komplexer stochastischer Zusammenhange. In Analysemethoden erweitert und neue Methoden abgeleitet. Warte-
der Theorie stochastischer Prozesse besitzt sie eine ebenso solide schlangennetze und Petrinetze sind eine sehr bekannte Methodik zur
mathematische Grundlage, wie sie die booleschen Methoden haben. Beschreibung technischer Systeme. Eine detailliertere Untersuchung
Die Modellerstellung ist jedoch wenig intuitiv, die graphische Dar- auf dem Gebiet der Warteschlangennetze zeigte, dass es keine Techni-
stellung wird bei groeren Modellen schnell unubersichtlich. Sto- ken zur Analyse von Betriebssystemen gibt. Daher wird in dieser Ar-
chastische Petrinetze konnten sich daher in der Industrie noch nicht beit exemplarisch ein Warteschlangen-Analyseverfahren ausgewahlt
in groem Mastab durchsetzen. (Mittelwertanalyse) und durch die Anwendung verschiedener Tech-
Diese Arbeit verfolgt zwei Ziele. Zum einen werden erweiterte niken erweitert (Shadow-Technik, Kettenkonzept, Quota-Knoten).
Fehlerbaume vorgestellt, die die Modellierungseinschrankungen von Der resultierende Analysealgorithmus erlaubt die effiziente Analyse
Fehlerbaumen aufheben, ohne jedoch die Modellbeschreibung und von Systemen mit beliebig gemischter Prioritatsstrategie sowie Klas-
graphische Darstellung des Modells unnotig zu verkomplizieren. Die senwechsel.
intuitive Semantik der neuen Modellbeschreibungselemente erwei- Anschlieend wird gezeigt, dass diese Techniken auch mit be-
terter Fehlerbaume wird zunachst anhand eines einfachen Beispiels liebigen Warteschlangen Analysealgorithmen kombiniert werden
erlautert. Die Anwendbarkeit und Praxistauglichkeit wird an einigen konnen. Diese Eigenschaften, Klassenwechsel und beliebig gemisch-
groeren Beispielen gezeigt. te Prioritatsstrategie, sind wesentliche Bestandteile eines Betriebs-
Zum anderen wird die auf stochastischen Petrinetzen basie- systems. Um die Nutzlichkeit und Effizienz der in dieser Arbeit abge-
rende Analyse erweiterter Fehlerbaummodelle im Detail untersucht. leiteten neuen Analysetechniken zu zeigen, werden sie auf folgende
Zunachst wird die Korrektheit des Vorgehens fur Modelle, die auch Betriebssystemmodelle angewendet: Unix, WindowsNT, BS2000.
als klassischer Fehlerbaum darstellbar sind, gezeigt. Die Erganzungen Weiterhin wird die Leistung heutiger Systeme und Architekturen
des Vorgehens, die fur die Analyse erweiterter Fehlerbaume not- auch durch das Zusammenspiel zwischen Betriebssystem und Ca-
wendig sind, werden begrundet. Die Anwendbarkeit der Analyse- che Techniken bestimmt. Daher werden nach der Analyse der Be-
methode auch auf groere Modelle wird untersucht und die Methode triebssystemmodelle verschiedene Cache Koharenz Modelle abge-
schlielich zur Analyse der Beispielmodelle eingesetzt. leitet und analysiert. Hierzu wird eine Kombination von Warte-
schlangentechniken und Markovtechniken angewendet. Die Ergeb-
Type-Inference Based Deforestation nisse werden dann in das korrespondierende Hardware Modell in-
of Functional Programs tegriert, um die Leistung und das Verhalten verschiedener Cache
Olaf Chitil, RWTH Aachen, 2000 Koharenz Protokolle unter Annahme verschiedener Hardware Ar-
(Gutachter: Prof. Dr. K. Indermark, Prof. Dr. M. Hanus) chitekturen zu untersuchen.
In nicht-strikten funktionalen Programmen wird haufig eine Daten-
struktur verwendet, um zwei separate Programmteile miteinander