Dynamic abstract data types based on algebraic graph transformations

Abstract

The concept of dynamic abstract data types was recently proposed by two of the authors as a dynamic extension of the well-known concept of abstract data types, motivated by several recent approaches in the areas of algebraic specifications, object-orientation, evolving algebras and graph transformations. The basic idea of dynamic abstract data types is to extend abstract data types by dynamic operations which are transformations between abstract data types. In this paper we consider a specific kind of dynamic abstract data types where the transformations are defined by rules in the sense of algebraic graph transformations. The concept of attributed graph transformations is used to define this new version of dynamic abstract data types and to show some important properties of the corresponding transition category. The constructions are illustrated by a small example from the area of data bases.