Papers Published

  1. Needham, D. and Demurjian, S. and Peters, T., An IDL to Ada95 mapping to support propagation modeling, Ada Lett. (USA), vol. 20 no. 1 (2000), pp. 58 - 66 .
    (last updated on 2007/04/06)

    Abstract:
    Representing dynamic interdependencies between design objects is an essential part of modeling the critical software communications found in complex software systems. This paper investigates the modeling of propagations (our term for dynamic interdependencies), which are captured using design-level triggers for specifying dynamic behavior across object types. We focus on the CORBA-compliant utilization of our propagation model to support distributed, propagation-focused applications. We develop a propagation-specific interface in IDL (Interface Definition Language), and examine Ada 95 source code that meets the requirements specified by the IDL design. An example of the CORBA-compliant propagations involved in the maintenance of topological invariance in the industrial domain is examined

    Keywords:
    Ada;distributed object management;formal specification;object-oriented languages;subroutines;