A set-based calculus and its implementation

dc.contributor.advisorPepper, Peteren
dc.contributor.authorGrieskamp, Wolfgangen
dc.contributor.grantorTechnische Universität Berlin, Fakultät IV - Elektrotechnik und Informatiken
dc.date.accepted1999-11-26
dc.date.accessioned2015-11-20T14:10:42Z
dc.date.available2000-07-28T12:00:00Z
dc.date.issued2000-07-28
dc.date.submitted2000-07-28
dc.description.abstractDiese 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.abstractThis 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.uriurn:nbn:de:kobv:83-opus-77
dc.identifier.urihttp://depositonce.tu-berlin.de/handle/11303/399
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-102
dc.languageEnglishen
dc.language.isoenen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.ddc004 Datenverarbeitung; Informatiken
dc.subject.otherAusführbare Spezifikationende
dc.subject.otherBerechnungde
dc.subject.otherMengenbasierte Sprachende
dc.subject.otherNebenläufige Resolutionde
dc.subject.otherZ Notationde
dc.titleA set-based calculus and its implementationen
dc.title.translatedEin mengenbasierter Kalkül und seine Implementierungde
dc.typeDoctoral Thesisen
dc.type.versionpublishedVersionen
tub.accessrights.dnbfree*
tub.affiliationFak. 4 Elektrotechnik und Informatikde
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.identifier.opus37
tub.identifier.opus49
tub.publisher.universityorinstitutionTechnische Universität Berlinen
Files
Original bundle
Now showing 1 - 1 of 1
Loading…
Thumbnail Image
Name:
Dokument_9.pdf
Size:
2.75 MB
Format:
Adobe Portable Document Format
Description:
Collections