An object-oriented approach to Computer Integrated Systems

In recent years computers have been incorporated into large scale systems such as nuclear plant, flight control, and manufacturing systems. Such Computer Integrated Systems (CIS) normally consist of heterogeneous subsystems. The integration of heterogeneous subsystems requires that the subsystems be portable, inter-operable, and integrable at both software and hardware levels so that the integrated system should function properly. Objects and nets are proposed as the atomic elements of CIS's. An object is defined as a computational model of an arbitrary entity. Then three representation schemes of an object are introduced: algebraic, modular, and graphical. Two operations on objects, Composition and Union , are introduced as means of combining two objects into a larger one. As an application of this approach, a Computer Integrated Manufacturing (CIM) system is represented as a network of objects.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43096/1/10952_2005_Article_BF02265084.pd

The Algebraic Framework for Object-Oriented Systems

Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object can be represented as an algebra. A collection of algebras with morphisms form a category if they satisfy some conditions. After a brief introduction of categorical concepts which are needed to formulate the framework for object-oriented systems, they are explicated in terms of objects. Then some system design methodologies such as SADT, JSD, MASCOT 3, OOD, HOOD, MOON, ADM 3, and Petri nets are examined in the categorical framework and classified into four groups: functional, process-based, object-oriented, and net-based. Combining theoretical and practical results, the interactive system design tool OBJ-NET is briefly introduced.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/43097/1/10952_2004_Article_183735.pd