This paperdescribes awayof organizing information about an object-orientedprogram’s execution. The context is our system for visualizing that execution. The critical constraints are completeness, compactness, and efficient retrieval. We describe our design and how it meets these constraints.

In this paper, we present the Adora approach to object-oriented modeling of software (Adora stands for analysis and description of requirements and architecture). The main features of Adora that distinguish it from other approaches like UML are the use of abstract objects (instead of classes) as the basis of the model, a systematic hierarchical decomposition of the modeled system and the integr...

This paper presents an object-oriented modeling approach for specifying and analyzing information systems. It supports integrated modeling of the structural aspect and the behavioral aspect of objects, and allows formal analysis of the model properties. For modeling of time/temporal constraints between object activities, the formalism includes a representation of temporal knowledge such as the ...

Although in the object-oriented paradigm objects play the central role, putting events forward is not in contradiction with current object-oriented practice. Indeed, most object-oriented methods use a state and transition-based formalism to specify behavior such as finite state machines or statecharts [1, 2, 4, 5, 6, 8]. In such formalisms the different states of an object are taken as starting...

The data model upon which most of today’s commercial database management systems are based has shown to be insufficient for geographic information systems (GISs). The recently promoted object-oriented model provides some useful tools for data abstraction and data structuring, which augment the conventional tools and overcomes some deficiencies inherent to the traditional relational model. In pa...

In our work we investigate the capability of Metaview, a meta-CASE system, to define Object-Oriented CASE environments. An innovative feature of Metaview is the use of aggregation, as a mechanism for linking method fragments. This approach is illustrated in the speciJication of our environment to support OMT one of the most popular Object-Oriented development methods.

Our goal was to realize a truly hybrid simulation system, which allows the simultaneous use of discreet event simulation and continuous 3D-simulation on a unified database. The key component is an active real-time simulation database, which is an object-oriented, self-reflecting graph database, with a powerful metainformation system. We achieve this by using State Oriented Modeling, which combi...

We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (via connectors) and dynamic reconfiguration (by the network manager). This framework builds upon the object oriented modeling language Creol for modeling the components, and uses the ideas of Reo for exogenous coordinat...

forest classification on the basis of satellite images is a promising technique both for primary map production and for map updating and forest monitoring. for accurate for-est classification into three classes, using mapping by canopy cover density “high spatial resolution satellite images have to be used in order to obtain the required spatial detail” [schneider, 1999]. at the same time, the ...