Constructing Systems as Object Communities

TitleConstructing Systems as Object Communities
Publication TypeConference Paper
Year of Publication1993
AuthorsEhrich, H. - D., G. Denker, and A. Sernadas
Conference NameProc Theory and Practice of Software Developmen1 (TAPSOFT'93)
PublisherSpringer, Berlin, LNCS 668

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.

1993TAPSOFT.pdf320.97 KB