Abstract
In traditional approaches to object-oriented programming, objects are “active”, while relations between them are “passive”. The activeness of an object reveals itself when the object invokes a method (function) as a reaction to a message from another object (or itself). While this model is suitable for some tasks, like arranging interactions between windows, widgets and the end-user in a typical GUI environment, it's not appropriate for others. Business applications development is one of the examples. In this domain, relations between conceptual objects are at least as important as objects themselves and the more appropriate model for this field would be the one where relations are “active” while objects are “passive”. A version of such a model is presented in the paper. The model considers a system as consisting of a set of objects, a code of laws, and a set of connectors, each connector hanging on a group of objects that must obey a certain law. The formal logical semantics of this model is presented as a way of analyzing the set of all possible trajectories of all possible systems. The analysis allows to differentiate valid trajectories from invalid ones. The procedural semantics is presented as a state machine that given an initial state, generates all possible trajectories that can be derived from this state. This generator can be considered as a model of a connectors scheduler that allows various degrees of parallelism, from sequential execution to the maxim possible parallelism. In conclusion, a programming language that could be appropriate for the proposed computer environment is discussed, and the problems of applying the model to the business domain are outlined.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Barr, M. and Wells, C. 1995. Category Theory for Computing Science, second ed. Prentice Hall.
Bider, I. 1997a. Developing tool support for process oriented management. Data Base Management 26–01–30, Auerbach, RIA Group.
Bider, I. 1997b. Object driver: a method for analysis, design, and implementation of interactive applications. Data Base Management 32–10–25, Auerbach, RIA Group.
Bider, I. and Khomyakov,M. 1997. One practical object-oriented model of business processes. In Proc.OOPSLA'97 Workshop on Object-Oriented Behavioral Semantic, Technische UniversitätMünchen, TUM-I9737, pp. 25–31.
Bider, I. and Khomyakov, M. 1998a. Object-oriented model for representing software production processes. ECOOP'97 Workshop Reader. Springer. LNCS Vol. 1357, pp. 319–322.
Bider, I. and Khomyakov, M. 1998b. Business process modeling—motivation, requirements, implementation. ECOOP'98 Workshop Reader. Springer. LNCS Vol. 1543, pp. 217–218.
Borshchev, V. and Khomiakov, M. 1976. Club systems. Automatic Documentation and Mathematical Linguistics, 10(3):263–278.
Chen, P.P. 1976. The entity-relationships model: towards a unified view of data. ACM Trans.on Database Syst, 1(1):9–36.
Coad, P. and Yourdon, E. 1990. Object-Oriented Analysis. Englewood Cliffs, NJ: Yourdon Press.
Deiters, W. and Gruhn, V. 1998. Process management in practice. Applying the FUNSOFT net approach to large-scale processes. Automated Software Engineering. 5(1):7–25.
Graham, I. 1995. Migrating to Object Technology. Wokingham, England: Addison-Wesley.
Hintikka, J. 1962. Knowledge and Belief. Ithaca, NY: Cornell University Press.
Kilov, H. 1993. Precise specification of behavior in object-oriented standardization activities. Computer Standards and Interfaces. 15:275–378.
Kilov, H. and Ross, J. 1994. Information Modeling: An Object-Oriented Approach. Prentice-Hall.
Kripke, S. 1963. Semantical analysis of modal logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 9:67–96.
Kurki-Suonio, R. and Mikkonen, T. 1997. Liberating object-oriented modeling from programming-level abstractions. ECOOP'97 Workshop Reader. Springer. LNCS Vol. 1357, pp. 195–199.
Kurki-Suonio, R. and Mikkonen, T. 1999. Harnessing the power of interaction. In H. Jaakkola, H. Kangassalo, E. Kawaguchi editors, Information Modelling and Knowledge Bases. IOS Press, pp. 1–11.
Lloyd, J.W. 1993. Foundation of Logic Programming. Springer-Verlag.
Minsky, N.H. 1996. Law-Governed Regularities in Object Systems. Part 1: An abstract model. Theory and Practice of Object Systems, II(4):283–301.
Müller J.P. 1996. The Design of Intelligent Agents. Springer. Lecture Notes in Artificial Intelligence Vol. 1177.
Reference Model for Object Data Management 1993. Computer Standards and Interfaces. 15:124–142.
Rumbaugh, J., Blaha, M., Lorensen,W., Eddy, F., and Premerlani,W. 1991. Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice Hall Inc.
Saaltink, M. and Selic, B. 1997. A semantic framework for behavioural specifications. In Proc.OOPSLA'97 Workshop on Object-Oriented Behavioral Semantic, Technische Universität München, TUM-I9737, pp. 155–162
Turchin, V.F. 1989. Refal-5: Programming Guide and Reference Manual. Holyoke, MA: New England Publishing Co.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bider, I., Khomyakov, M. & Pushchinsky, E. Logic of Change: Semantics of Object Systems with Active Relations. Automated Software Engineering 7, 9–37 (2000). https://doi.org/10.1023/A:1008713216625
Issue Date:
DOI: https://doi.org/10.1023/A:1008713216625