15 Fakultätsübergreifend / Sonstige Einrichtung
Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/16
Browse
9 results
Search Results
Item Open Access ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software(1981) Eckert, Klaus; Ludewig, JochenESPRESO (System zur Darstellung der Sezifikation von Prozeßrechner-Software) ist ein rechnerunterstütztes Spezifikationssystem, das spezielle Anforderungen der Spezifikation von Prozeßrechner-Software berücksichtigt. Die Komponenten von ESPRESO sind eine formale Sprache ESPRESO-S und ein Programmsystem ESPRESO-W. Im vorliegenden Beitrag werden die wesentlichen Aspekte von ESPRESO-S kurz zusammengefaßt. Danach werden Konzeption und Aufbau von ESPRESO-W und Probleme seiner Implementierung ausführlich dargestellt.Item Open Access PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation(1981) Ludewig, JochenNoch immer fehlen Mittel und Methoden, die es dem Software-Entwickler ermöglichen, ein Programmsystem so zu planen, zu spezifizieren und zu entwerfen, daß seine Annahmen, Folgerungen und Entscheidungen ihm selbst und anderen verständlich und prüfbar sind. Da von solchen Mitteln und Methoden, die nachfolgend einheitlich als "Spezifikationssysteme" bezeichnet werden, eine wesentliche Verbesserung der Software-Qualität zu erwarten ist, wurde im lDT etwa seit 1976 auf diesem Gebiet gearbeitet. Aus dem PSL/PSA-System vom ISDOS-Project an der University of Michigan wurde PCSL entwickelt (Process Control Software Specification Language), eine Variante von PSL, die auf die Entwicklung von Prozeßrechner-Software zugeschnitten ist. Schließlich wurden die Konzepte von PCSL, die teilweise mit den durch die ISDOS-Software vorgegebenen Randbedingungen kollidierten, in ein völlig neues System eingebracht, das den Namen ESPRESO (System zur Erstellung der Spezifikation von Prozeßrechner-Software) erhielt.Item Open Access Das Entwurfssystem PSL/PSA und seine Erweiterung für Prozeß-Automatisierung(1978) Ludewig, Jochen; Streng, WolfgangAufgrund von Fehleranalysen und Erfahrungen bei der Entwicklung großer Software-Systeme hat sich die Einsicht verbreitet, daß eine Erhöhung der Zuverlässigkeit vor allem durch eine Formalisierung und Methodisierung der Spezifikation und des Entwurfs zu erreichen ist. Erst durch formalisierte Beschreibungshilfsmittel wird eine rechnergestützte Software-Entwicklung und -Prüfung ermöglicht. Bisher ist der Anwender bei der Formulierung seiner Anforderungen auf natürliche Sprachen angewiesen. Dies führt häufig zu unvollständigen, mehrdeutigen und sogar widerspruchsvollen Spezifikationen, die dann die Basis für die Software-Entwicklung bilden. Um zu prüfbaren Spezifikations- und Entwurfsbeschreibungen zu gelangen, wurden rechnergestützte Software-Entwicklungssysteme entworfen, die auf einem formalen Systembeschreibungsmodell beruhen. Angestrebt wird ein integriertes Werkzeug von aufeinander abgestimmten Hilfsmitteln zur Überdeckung des gesamten Entwicklungszyklus.Item Open Access Process control software specification in PCSL(1980) Ludewig, JochenThis paper presents the most important features of PCSL, a language to the specification of process control software. PCSL is primarily intended to improve software reliability. Simple structures of both active system components and data are supported by the language. Different constructs for static data, for dynamic data moving through the system (data flow), and for resources permit easy modeling of the situations common in process control applications. PCSL is accepted by an advanced, table-driven version of the well known PSA. As an example, a simple system for data collection is partially specified in PCSL. Finally, the current state is indicated, and limitations are discussed.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 Zur Erstellung der Spezifikation von Prozeßrechner-Software(1981) Ludewig, JochenGegenstand dieser Arbeit ist ein System zur Entwicklung von Prozeßrechner- Software, das den Übergang von einer informalen Aufgabenstellung auf eine formale Spezifikation und die damit verbundene Strukturierung der Programme unterstützen und so einen Beitrag zur Zuverlässigkeit der Software leisten soll. Nach einigen Vorüberlegungen (2) werden die Konzepte entwickelt für das Begriffssystem, das den Kern bildet (3 .1), für die Spezifikationssprache (3.2), für das Werkzeug zur Verarbeitung, Speicherung und Auswertung der Spezifikation (3.3) und für das Verfahren, nach dem das System angewendet werden kann (3.4). Die Präzisierung der Sprache und die Implementierung des Werkzeugs werden beschrieben (4). Für den Übergang von der Spezifikation zum Programm wird ein Ansatz dargelegt (5). Es folgt ein größeres Beispiel (6). Die vollständige Grammatik (7), Literaturverzeichnis (8) und eine Liste der Abkürzungen (9) stehen am Schluß.Item Open Access ESPRESO - ein System zur Erstellung der Spezifikation von Prozeßrechner-Software(1980) Ludewig, JochenEtwa 1978/79 wurde im lDT die Sprache PCSL entwickelt und ein System zu ihrer Verarbeitung bereitgestellt. PCSL ist durch drei Merkmale gekennzeichnet: 1. Der vorgesehene Anwendungsbereich ist die Erstellung der Spezifikation für Prozeßrechner-Software. 2. Die zugrundeliegenden Konzepte sind anwendungsorientiert, aber restriktiv zugunsten einfacher, klarer Strukturen, wodurch letztlich die Zuverlässigkeit der Programme verbessert wird. 3. Die Spezifikationssprache ist abgestimmt auf den sogenannten Generalized Analyzer, der vom ISDOS-Project, University of Michigan, zur Verfügung gestellt worden war. Mit seiner Hilfe können Spezifikationen geprüft, gespeichert und dokumentiert werden. Bei der Definition von PCSL und ersten Anwendungsversuchen entstand der Wunsch, die Ideen von PCSL in ein völlig neu zu entwickelndes System einzubringen, das von der ISDOS-Software unabhängig ist und dadurch wesentlich mehr Freiheit bietet, die eigenen Vorstellungen zu realisieren. So entstand ESPRESO.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.