Papers
A Correlation Framework for the CORBA Component Model, Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath.
This paper gives the formal background for introducing event correlations into Cadena, thereby making them accessible to CCM frameworks. A two phase model for the correlator is introduced to provide better means for assembling expressive, data carrying correlated events.
CADENA: Enabling CCM-based Application Development in Eclipse, Venkatesh Prasad Ranganath, Adam Childs, Jesse Greenwald, Matthew B. Dwyer, John Hatcliff, Gurdip Singh.
This paper has been accepted for the eclipse Technology eXchange (eTX) Workshop at OOPSLA 2003, Anaheim, California, 2003.
From OEP to CCM en route CAD, Venkatesh Prasad Ranganath. May 2003, Technical Report, SAnToS-TR2003-7. Last updated: July 10, 2003.
This report describes Boeing OEP XML configuration format along with it's counterparts in Cadena and CCM. It also suggests translation schemes to translate an OEP XML document into CCM assembly descriptor compliant document.
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems, John Hatcliff, William Deng, Matthew Dwyer, Georg Jung, Venkatesh Prasad Ranganath. Proceedings of the 2003 International Conference on Software Engineering (ICSE 2003), Portland, Oregon, May 2003.
This paper gives a condensed overview of the various capabilities of Cadena. It includes material on Cadena's dependency analysis and only a brief overview of its model-checking capabilities based on a translation to dSpin.
Model-checking Middleware-based Event-driven Real-time Embedded Software. William Deng, Matthew Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh . SAnToS Technical Report SAnToS-TR2003-2. April 9, 2003.
This paper covers the model-checking of Cadena in greater detail, including a description of the use of our Bogor model-checker and a detailed description of the modeling of a real-time CORBA event service.