An IDL to Ada95 mapping to support propagation modeling

Authors:
D. Needham;S. Demurjian;T. Peters
Affiliations:
United States Naval Academy, Annapolis, Maryland;The University of Connecticut, Storrs, Connecticut;The University of Connecticut, Storrs, Connecticut
Venue:
ACM SIGAda Ada Letters
Year:
2000

Citing 6
Cited 0

Toward the Next Generation of Data Modeling Tools

IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Language constructs for managing change in process-centered environments

SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Polyhedral perturbations that preserve topological form

Computer Aided Geometric Design
An Ada95 basis for propagation modeling

Proceedings of the conference on TRI-Ada '97
The Unified Modeling Language user guide

The Unified Modeling Language user guide
A topology-based approach for shell-closure

Selected and Expanded Papers from the IFIP TC5/WG5.2 Working Conference on Geometric Modeling for Product Realization

Quantified Score

Hi-index	0.00

Visualization

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, 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.