Object-Oriented Design of Information Systems: Theoretical Foundations

TitleObject-Oriented Design of Information Systems: Theoretical Foundations
Publication TypeConference Paper
Year of Publication1994
AuthorsEhrich, H. - D., R. Jungclaus, G. Denker, and A. Sernadas
Conference NameAdvances in Database Systems, Implementations and Applications
PublisherSpringer Verlag, Wien, CISM Courses and Lectures no. 347

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 \sc Troll, the object-oriented information systems specification language developed at TU Braunschweig.

1994CISM1.pdf266.62 KB