Max-Planck-Institut für Informatik
max planck institut
informatik
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
Author(s)*:Baumeister, Hubert
BibTeX citekey*:BaumeisterDiss99
Language:English

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


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
structures.
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
Status:Completed
Date Kolloquium:21 May 1999
Chair Kolloquium:Birgit Pfitzmann

Correlation
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:
@PHDTHESIS{BaumeisterDiss99,
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)

Editor(s)
Hubert Baumeister
Created
03/21/2000 04:20:03 PM
Revision
1.
0.


Editor
Manfred Jaeger
Hubert Baumeister


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