Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

Publications Master Template :: Thesis :: Baumeister, Hubert

Publications Master Template
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update

Thesis - Doctoral dissertation | @PhdThesis | Doktorarbeit

Author(s)*:Baumeister, Hubert
BibTeX citekey*:BaumeisterDiss99

Title, School
Title*:Relations between Abstract Datatypes modeled as Abstract Datatypes
School:Universität des Saarlandes
Type of Thesis*:Doctoral dissertation

Note, Abstract, Copyright
LaTeX Abstract:In this thesis we define a framework for the specification

of dynamic behavior of software systems. This framework is
motivated by the state as algebra approach and the
model-oriented language Z. From the state as algebra approach
we use the idea of modeling the environment and the state
components as structures of an institution.
However, in contrast to the state as algebra approach, states in
our framework are modeled by structures from any suitable
institution not only those having of algebras as their
From Z we use the idea that environment, state spaces and
relations between state spaces are specified using the same logic
and how more complex relations can be constructed from simpler
ones by means of the schema calculus. However, we differ from Z
in that our framework can be instantiated by different
institutions, while the approach of Z can only work because of
the particular logical system used by Z.

Keywords:Algebraic Specification, Model Oriented Specification, Institution

Referees, Status, Dates
1. Referee:Jacques Loeckx
Supervisor:Harald Ganzinger
Date Kolloquium:21 May 1999
Chair Kolloquium:Birgit Pfitzmann

MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Programming Logics Group
Audience:experts only
Appearance:MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat

BibTeX Entry:
AUTHOR = {Baumeister, Hubert},
TITLE = {Relations between Abstract Datatypes modeled as Abstract Datatypes},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1999},
TYPE = {Doctoral dissertation}
MONTH = {November},

Entry last modified by Manfred Jaeger, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Hubert Baumeister
03/21/2000 04:20:03 PM

Manfred Jaeger
Hubert Baumeister

Edit Date
31/08/2001 10:26:00
21/03/2000 16:20:14