Static, dynamic and run-time modeling of compound classes

  • Authors:

  • Rakesh Agarwal;Giorgio Bruno;Marco Torchiano

  • Affiliations:

  • Politecnico, Dip. di Automatics e Informatica, corso Duca degli Abruzzi 24, 10129 Torino, Italy;Politecnico, Dip. di Automatics e Informatica, corso Duca degli Abruzzi 24, 10129 Torino, Italy;Politecnico, Dip. di Automatics e Informatica, corso Duca degli Abruzzi 24, 10129 Torino, Italy

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1996

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.