Constructing systems as object communities

Abstract

We give a survey of concepts for system specification and design based on the viewpoint that a system is a community of objects. Objects are self-contained units of structure and behavior capable of operating independently and cooperating concurrently. Our approach integrates concepts from semantic data modeling and concurrent processes, adopting structuring principles partly developed in the framework of object-orientation and partly in that of abstract data types. A theory of object specification based on temporal logic is briefly outlined.

Object-Oriented Design of Information Systems: Theoretical Foundations

“…The resulting language is described in [CSS87]. The underlying concepts and semantic issues were investigated before in cooperation with TU Braunschweig [SSE87], and elaborated later on [SFSE89,SE91,EGS91,EGS92,ES91,ESS92,SJE92,EDS93]. In 1989, commercial interest appeared in OBLOG and a graphical version, OBLOG89, was developed [SSGRG91,SRGS91,SGGSR92].…”