15 Fakultätsübergreifend / Sonstige Einrichtung
Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/16
Browse
5 results
Search Results
Item Open Access SEED - das Datenbanksystem für die Software-Entwicklungsumgebung SEEME(1984) Glinz, Martin; Ludewig, JochenIm Zusammenhang mit der Konzipierung der Software-Entwicklungsumgebung SEEME stellt sich das Problem einer geeigneten Datenverwaltung, da herkömmliche Datenbanksysteme diese Aufgabe nur unzureichend erfüllen. Um ein Datenmodell für SEEME definieren zu können, stellen wir zunächst die Anforderungen an das Datenbanksystem einer Software-Entwicklungsumgebung zusammen und vergleichen sie mit den Eigenschaften verschiedener, in der Literatur beschriebener Datenbankmodelle. Dabei zeigt sich, dass keines dieser Modelle die Anforderungen in befriedigender Weise erfüllt. Wir definieren daher ein neues, an den Anforderungen einer Software-Entwicklungsumgebung orientiertes Datenbankmodell. Dieses basiert auf einem erweiterten Entity-Relationship-Ansatz und schliesst - im Unterschied zu vielen anderen Modellen - die Operationen auf den Daten ein, was die Betrachtung der Datenbank als abstrakten Datentyp ermöglicht. Die wesentlichen strukturellen Elemente des Modells sind Hierarchien von Objektklassen, welche auf beliebigen Ebenen durch Assoziationen in netzwerkartige Beziehungen gesetzt werden können, sowie die Generalisierung von Klassen und Assoziationen. Ferner führen wir auf der Datenebene den Begriff des Musters ein, der in einem (noch auszuführenden) Variantenkonzept eine zentrale Stellung einnimmt. Für die Datenmanipulation definieren wir mehrere, aufeinander aufbauende Operationsebenen . Die Operationen sind mit ihren Vor- und Nachbedingungen so auf das Datenbankschema abgestimmt, dass sie einerseits die Konsistenz der Datenbank (soweit diese im Schema beschrieben ist) sichern, jedoch andererseits auch die Erfassung von vagen und unvollständigen Informationen zulassen. Durch Definition von Transaktionen (als Teil der Datenbank) können zudem auch höhere, durch die Datenbank garantierte Konsistenzebenen erreicht werden.Item Open Access PCSL - a process control software specification language(1980) Ludewig, JochenThis paper presents PCSL, a language for specification and design of process control software, and sketches analysis and reports based on this language. As an example, a system for process-data-collection is specified using PCSL. PCSL, DSL and EPOS are reviewed with respect to PCSL. Finally, the current state of the project is depicted. The appendix contains a short version of the PCSL-definition.Item Open Access Überblick und Vergleich verschiedener Mittel für die Spezifikation und den Entwurf von Software(1978) Ludewig, Jochen; Streng, WolfgangDieser Bericht enthält eine Sichtung und Auswertung relevanter Verfahren für die Spezifikation und den Entwurf von Software. Dabei wird ein einheitliches Beschreibungsschema angewandt. Die einzelnen Ansätze werden nach verschiedenen Kriterien vergleichend gegenübergestellt.Item Open Access Chasing the busy-beaver : notes and observations on a competition to find the 5-state busy beaver(1983) Ludewig, Jochen; Schult, Uwe; Wankmüller, FrankThis is a report on the results of a competition which was initiated on the occasion of the 6th GI-conference on Theoretical Computer Science, which took place at the University of Dortmund from January 5th to 7th, 1983. It was asked for the best solution of the 5-state Busy-Beaver-Game. At first we make some historical remarks, introduce the formalism, and list some results. Then the two best solutions are described. Next we make some remarks on the behaviour of good beavers and on the strange behaviour of some Turing machines. Zoological names were given to the latter machines. The amusing results are written down in the last chapter. In the appendix you can find a lot of examples.Item Open Access Prüfmittel für die rechnergestützte Software-Entwicklung(1978) Ludewig, Jochen; Streng, WolfgangAusgehend von einer allgemeinen Charakterisierung einer bestimmten Klasse von Entwicklungssystemen wird ein Ansatz für ein einfaches Beschreibungsmodell für Systeme angegeben. Ein solches Modell ist die Voraussetzung, um die Beschreibung der Anforderungen und des Entwurfs eines Systems zu formalisieren . Dieses Modell bildet die Grundlage für den dann folgenden Vergleich der Beschreibungsmodelle und Prüfmittel dreier bekannter Entwicklungssysteme: SSES, PSL/PSA und SREP. Abschließend wird die Schnittstelle derartiger Systeme zu einem automatischen Testsystem diskutiert.