Papers Related to Cadena 2.x

• The Type System of CALM [ SAnToS-TR2006-3.pdf ], Georg Jung. Tech Report 2006-3.

  This article schematicly describes the three tired architectural typing system of the Cadena Architecture Language with Metamodeling (CALM). Draft version.

• DARPA PCES Final Report [ KSU-PCES-Final-Report.pdf ], John Hatcliff. December 2005.

  Technologies, Development Tools, and Patterns for Automatic Generation and Customization of Adaptable DRE Middleware.

• CALM and Cadena: Metamodeling for Component-Based Product-Line Development [ CALM-Cadena-IEEE-Computer-Feb-2006.pdf ], Adam Childs, Jesse Greenwald, Georg Jung, Matthew Hoosier, and John Hatcliff. IEEE Computer, Feb 2006 issue (Vol. 39, No. 2, ISSN: 0018-9162).

• A Type-centric Framework for Specifying Heterogeneous, Large-scale, Component-oriented, Architectures [ Cadena-TypeCentricFramework.pdf ], Georg Jung and John Hatcliff.

  Accepted for publication (GPCE'07).

Papers Related to Cadena 1.x

• A Correlation Framework for the CORBA Component Model [ TR2003-9.ps ], 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 [ eTX03.pdf ], 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.

• Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems [ ICSE03-cadena.pdf ], 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 [ SAnToS-TR2003-2.pdf ]. 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.