Aggregation in a behavior oriented object model

Hartmann, Thorsten; Jungclaus, Ralf; Saake, Gunter

doi:10.1007/bfb0053030

Cited by 14 publications

(9 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This sort of aggregation (called aggregation with hiding) conforms to the principle defined by Hartmann et al [15]. This principle states that the behavior of an aggregate restricted to the methods of a component object must give the behavior of this component.…”

Section: Examples Of Bdl Programsmentioning

confidence: 56%

BDL: a specialized language for per-object reactive control

Bertrand

Augeraud

1999

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

AbstractÐThe problem of describing the concurrent behavior of objects in object-oriented languages is addressed. The approach taken is to let methods be the behavior units whose synchronization is controlled separate from their specification. Our proposal is a domain-specific language, called BDL, for expressing constraints on this control and actually implementing its enforcement. We propose a model where each object includes a so-called ªexecution controller,º programmed in BDL. This separates cleanly the concepts of what the methods do, the object processes, from the circumstances in which they are allowed to do it, the control. The object controller ensures that scheduling constraints between the object's methods are met. Aggregate objects can be controlled in terms of their components. This language has a convenient formal base. Thus, using BDL expressions, behavioral properties of objects or groups of interesting objects can be verified. Our approach allows, for example, deadlock detection or verification of safety properties, while maintaining a reasonable code size for the running controller.A compiler from BDL has been implemented, automatically generating controller code in an Esterel program, i.e., in a reactive programming language. From this code, the Esterel compiler, in turn, generates an automaton on which verifications are done. Then this automaton is translated into a C code to be executed. This multistage process typifies the method for successful use of a domainspecific language. This also allows high-level concurrent programming.

show abstract

Section: Examples Of Bdl Programsmentioning

confidence: 56%

BDL: a specialized language for per-object reactive control

Bertrand

Augeraud

1999

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…In this paper we will focus on the enhancement of the aggregation relationship, commonly found in object-oriented design concepts, but only weakly supported by current programming languages. Our view of the aggregation relationship is influenced by investigations on the level of modules, like [7], in database systems, like [13], and in object-oriented concepts/languages, like in C + + , Java, [3], or [8]. In general we can distinguish between aggregation of descriptive structures (aggregation of classes) and aggregation of instances (aggregation of objects).…”

Section: Introduction and Related Workmentioning

confidence: 99%

Towards the usage of dynamic object aggregations as a foundation for composition

Neumann

Zdun

2000

Proceedings of the 2000 ACM Symposium on Applied Computing - Volume 2

View full text Add to dashboard Cite

Many current programming languages offer insufficient support for the aggregation relationship. They do not offer a language support for composite structures (object hierarchies, whole/part hierarchies) on the object-level. Instead they rely on techniques, like embedding or referencing through pointers, which do not fully incorporate the semantics of aggregation. As a superior technique we present the language construct dynamic object aggregations.

show abstract

“…This focuses on the concept of aggregating objects [3] [4], and thereby creating composite actors, which is an essential component in developing large systems [5] [6].…”

Section: Introductionmentioning

confidence: 99%

Static, dynamic and run-time modeling of compound classes

1996

View full text Add to dashboard Cite

Automation techniques are required to manage the complexity inherent in the design of large computer based systems and to provide an efficient means for using the services present in other system.Operational models often allow timing constraints to be expressed and, consequently, a discrete-event simulation of the model can be performed. In this way, statistical estimates of the system's parameters can be collected in order to support decision making. When a formal proof would be too expensive, such statistics can confidently be used to determine some properties of the system. O3ML (Operational Object-Oriented Modeling Language) is a graphical language develped by us, to model complex operational software system, which is centered upon the creation of a system prototype providing the feature to dynamically generate actors and establish connection during run time. The developed models can be evaluated it in a controlled simulation framework.In O3ML actors can be assembled into complex structures forming composite actors, by establishing connection using connectors. In a more abstract view, these networked structures can be interpreted as entity-relationship models. Such aggregation of actors is always encapsulated within a higher-level composite actor specification. An actor class can, thus, encapsulate an actor (which is a composite actor). This would make the actor structure recursive so that arbitrary complex hierarchical actor structures can be constructed.

show abstract

Aggregation in a behavior oriented object model

Cited by 14 publications

References 13 publications

BDL: a specialized language for per-object reactive control

BDL: a specialized language for per-object reactive control

Towards the usage of dynamic object aggregations as a foundation for composition

Static, dynamic and run-time modeling of compound classes

Contact Info

Product

Resources

About