A set-based calculus and its implementation
| dc.contributor.advisor | Pepper, Peter | en |
| dc.contributor.author | Grieskamp, Wolfgang | en |
| dc.contributor.grantor | Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik | en |
| dc.date.accepted | 1999-11-26 | |
| dc.date.accessioned | 2015-11-20T14:10:42Z | |
| dc.date.available | 2000-07-28T12:00:00Z | |
| dc.date.issued | 2000-07-28 | |
| dc.date.submitted | 2000-07-28 | |
| dc.description.abstract | Diese Arbeit untersucht die Fundierung und Implementierung von Berechnungsmodellen für mengenbasierte Computersprachen. Es wird der micro-Z-Kalkül eingeführt, eine minimale mengenbasierte Sprache, welcher Anwendungssprachen wie die Spezifikationssprache Z oder funktional-logische Programmiersprachen komplett und natürlich einbetten kann. Syntax, Semantik und Gleichungstheorie von MZ werden definiert. Mehrere Berechnungsmodelle werden entwickelt. Das Referenzberechnungsmodell, mit der Technik der natürlicher Semantik definiert, kombiniert funktionale Reduktion und nebenläufige Resolution, und bereitet die Implementierung durch eine abstrakte Maschine vor, welche auf nebenläufigen Resolutionsagenten basiert. Die Resultate der Arbeit sind eingebettet im Kontext des BMBF Forschungsprojekts ESPRESS, und wurden z.B. für die Automatisierung von Softwaretests eingesetzt. Die formalen Anteile dieser Arbeit sind vollständig in syntax- und typgeprüften Z gegeben, so dass die Arbeit auch eine Fallstudie der Anwendbarkeit von Z für anspruchsvolle Probleme der Metamodellierung darstellt. | de |
| dc.description.abstract | This thesis is concerned with the foundation and implementation of a computation models for set-based computer languages. It introduces the micro-Z calculus, a small set-based expression language, which is able to embed languages such as the specification language Z and functional logic programming languages in a complete and natural way. Syntax, semantics and equational theory of micro-Z are defined. Several computation models are developed. The reference computation model, which is based on natural semantics, combines functional reduction and constraint resolution, and leads to an implementation by an abstract machine, which is based on concurrent resolution threads. The results are embedded in the context of the BMBF research project ESPRESS, and have been e.g. applied to the automatization of software tests. All formal material of the thesis is given in type-checked Z, which makes this work also a case study on the usage of Z for problems of meta modeling. | en |
| dc.identifier.uri | urn:nbn:de:kobv:83-opus-77 | |
| dc.identifier.uri | https://depositonce.tu-berlin.de/handle/11303/399 | |
| dc.identifier.uri | http://dx.doi.org/10.14279/depositonce-102 | |
| dc.language | English | en |
| dc.language.iso | en | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.subject.ddc | 004 Datenverarbeitung; Informatik | en |
| dc.subject.other | Ausführbare Spezifikationen | de |
| dc.subject.other | Berechnung | de |
| dc.subject.other | Mengenbasierte Sprachen | de |
| dc.subject.other | Nebenläufige Resolution | de |
| dc.subject.other | Z Notation | de |
| dc.title | A set-based calculus and its implementation | en |
| dc.title.translated | Ein mengenbasierter Kalkül und seine Implementierung | de |
| dc.type | Doctoral Thesis | en |
| dc.type.version | publishedVersion | en |
| tub.accessrights.dnb | free | * |
| tub.affiliation | Fak. 4 Elektrotechnik und Informatik | de |
| tub.affiliation.faculty | Fak. 4 Elektrotechnik und Informatik | de |
| tub.identifier.opus3 | 7 | |
| tub.identifier.opus4 | 9 | |
| tub.publisher.universityorinstitution | Technische Universität Berlin | en |
Files
Original bundle
1 - 1 of 1