Object-Oriented Design of Information Systems: Theoretical Foundations

Abstract

Information systems are reactive systems with a database. For their specification and design, concepts from conceptual data modeling and concurrent processes are relevant. In this paper, we outline a unifying theory borrowing ideas from these approaches and from abstract data type theory. Our approach utilizes a variant of temporal logic. It has been used to give a formal semantics for TROLL, the objectoriented information systems specification language developed at TU Braunschweig.