Object-oriented analysis
Object-oriented modeling and design
Object-oriented modeling and design
Information modeling: an object-oriented approach
Information modeling: an object-oriented approach
Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
Law-governed regularities in object systems: part I: an abstract model
Theory and Practice of Object Systems
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
The Design of Intelligent Agents: A Layered Approach
The Design of Intelligent Agents: A Layered Approach
Foundations of Logic Programming
Foundations of Logic Programming
Migrating to Object Technology
Migrating to Object Technology
Process Management in Practice Applying the FUNSOFT NetApproach to Large-Scale Processes
Automated Software Engineering
Business Process Modeling - Motivation, Requirements, Implementation
ECOOP '98 Workshop ion on Object-Oriented Technology
New technology - great opportunities
Enterprise information systems IV
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
| Hi-index | 0.00 |
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 amethod (function) as a reaction to a message from another object (oritself). While this model is suitable for some tasks, like arranginginteractions between windows, widgets and the end-user in a typicalGUI environment, it's not appropriate for others. Businessapplications development is one of the examples. In this domain,relations between conceptual objects are at least as important asobjects themselves and the more appropriate model for this fieldwould be the one where relations are “active” while objects are“passive”. A version of such a model is presented in the paper. Themodel considers a system as consisting of a set of objects, a code oflaws, and a set of connectors, each connector hanging on a group ofobjects that must obey a certain law. The formal logical semantics ofthis model is presented as a way of analyzing the set of all possibletrajectories of all possible systems. The analysis allows todifferentiate valid trajectories from invalid ones. The proceduralsemantics is presented as a state machine that given an initialstate, generates all possible trajectories that can be derived fromthis state. This generator can be considered as a model of aconnectors scheduler that allows various degrees of parallelism, fromsequential execution to the maxim possible parallelism. Inconclusion, a programming language that could be appropriate for theproposed computer environment is discussed, and the problems ofapplying the model to the business domain are outlined.