Not logged in.

Quick Search - Contribution

Contribution Details

Type Dissertation
Scope Discipline-based scholarship
Title Adora-L - Eine Modellierungssprache zur Spezifikation von Software-Anforderungen
Organization Unit
Authors
  • Stefan Joos
Supervisors
  • Martin Glinz
  • Helmut Schauer
Institution Universität Zürich, Institut für Informatik
Faculty Wirtschaftswissenschaftliche Fakultät
Date 2000
Abstract Text The scope of this work is the development of a specification language (Adora-L) intended to describe software requirements and architecture in a single object-oriented framework. This work is motivated in two ways. First, by the severe weaknesses of existing methods in terms of system decomposition. Second, by general ideas about specifications like object-orientation and the usage of hierarchical models. The general goal is to get a comprehensive specification which describes requirements and architecture in an understandable, clear and structured way - even for large-scale specification. As already mentioned the basic idea of the specification language Adora-L is to model the aspects of data, functionality and behaviour in a single hierarchical object framework. Modeling is based on objects (so called abstract objects) instead of classes. Thus, we resolve modeling anomalies that occur in class models. Additionally modeling with abstract objects is more easier, more understandable and more precise than modeling with classes. Whole-part-hierarchies are a key feature of Adora-L. Systems are decomposed by objects, which are components of other first class objects with full object semantics. All aspect descriptions (like descriptions of behaviour, structure or functions) use this primary structure. All aspects are integrated and represented in this single integrated structure. Particularly the behaviour description is based on the statechart mechanism Harel87 and therefore, it supports an integrated behaviour modeling. To provide powerful abstraction mechanisms is crucial to manage and understand especially large-scale specifications. System decomposition through whole-part hierarchies has proven to be a convenient and powerful abstraction mechanism. It allows for the description of aspects like system structure or behaviour on different levels of abstraction. The usage of abstractions is a fundamental precondition to manage complex problem descriptions. Primary Adora-L is a graphical language: A graphical notation is used to represent the basic structure of a system. Descriptions on a detailed level will be represented textually. Another key feature of Adora-L is to model requirements with a variable degree of formalism. This enables the developer to adjust the description of requirements to cost and risk factors. So, its up to the developer/ to model different aspects or parts of the system with an arbitrary degree of detail.
Zusammenfassung Im Rahmen dieser Arbeit wird die Spezifikationssprache Adora-L zur Beschreibung von Software-Anforderungen entwickelt. Dazu werden die Problematik der Dokumentation von Anforderungen analysiert und der Stand aktueller Lösungsansätze erörtert. Aus den Defiziten vorhandener Ansätze und grundlegenden Erfordernissen heutiger Software-Spezifikationen wird eine Sprache abgeleitet, die aufzeigt, wie Software-Anforderungen anschaulich und strukturiert dokumentiert und wie somit auch umfangreiche und komplexe Problemstellungen verständlich beschrieben werden können. Die grundlegende Idee der hier entwickelten Spezifikationssprache Adora-L ist die gemeinsame Beschreibung von Daten, Verhalten und Funktionalität in einem einzigen integrierten Systemmodell. Die Modellierung erfolgt grundsätzlich auf Ebene abstrakter Objekte und nicht durch eine Klassenmodellierung. Die abstrakten Objekte vermeiden die Modellierungsanomalie bei der Dekomposition von Klassenmodellen und sind einfacher, anschaulicher und vor allem präziser einsetzbar als die häufig verwendeten Klassen. Zentraler Bestandteil von Adora-L ist die Teil/Ganzes-Hierarchie. Diese strukturiert ein Systemmodell durch Objekte, die wiederum Komponenten übergeordneter Objekte sind. Alle Aspektbeschreibungen (wie beispielsweise Funktions-, Struktur- und Verhaltensbeschreibungen) orientieren sich an dieser primären Struktur, indem entsprechende Sachverhalte dort integriert dargestellt werden. Besonders hervorzuheben ist hierbei die hierarchische und integrierte Beschreibung von Verhalten, die im wesentlichen auf den Statecharts-Ansatz nach Harel87 aufsetzt. Die Teil/Ganzes-Hierarchie in Adora-L ist ein mächtiges Abstraktionsinstrument, welches sowohl von Detailstrukturen als auch von Detailverhalten abstrahiert. Struktur und Verhalten lassen sich so hierarchisch auf verschiedenen Abstraktionsebenen modellieren. Abstraktion stellt hierbei eine grundlegende Voraussetzung für die Bewältigung umfangreicher und komplexer Problemstellungen dar. Adora-L ist primär eine grafische Spezifikationssprache, d.h. die grundlegende Struktur wird mit Hilfe von Grafik, Detailbeschreibungen werden textuell beschrieben. Von besonderer Bedeutung ist eine variabel formale Darstellung in Adora-L, die es erlaubt, Anforderungen angepaßt an vorhandene Risiken und Kosten entweder präzise und ausführlich oder grob und schnell zu modellieren.
PDF File Download
Export BibTeX
EP3 XML (ZORA)