Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems

  • Adam Childs
  • Jesse Greenwald
  • Venkatesh Prasad Ranganath
  • Xianghua Deng
  • Matthew Dwyer
  • John Hatcliff
  • Georg Jung
  • Prashant Shanti
  • Gurdip Singh
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2984)

Abstract

This tool paper gives an overview of Cadena – an integrated environment for building and modeling systems built using the CORBA Component Model (CCM). Cadena provides facilities for defining component types using CCM IDL, specifying dependency information and transition system semantics for these types, assembling systems from CCM components, visualizing various dependence relationships between components, specifying and verifying correctness properties of models of CCM systems derived from CCM IDL, component assembly information, and Cadena specifications, and producing CORBA stubs and skeletons implemented in Java. Cadena has been applied to build applications in Boeing’s Bold Stroke framework for avionics mission-control systems. Cadena is implemented in IBM’s Eclipse open-source IDE and is freely available.

References

  1. 1.
    DOC Group – CIAO Development Team. CIAO Website (2003), http://www.cs.wustl.edu/~nanbor/projects/CIAO
  2. 2.
    GOAL. The OpenCCM platform (2002), http://www.corbaweb.lifl.fr/OpenCCM/
  3. 3.
    Hatcliff, J., Deng, W., Dwyer, M., Jung, G., Prasad, V.: Cadena: An integrated development, analysis, and verification environment for component-based systems. In: Proceedings of the 25th International Conference on Software Engineering (2003) (to appear)Google Scholar
  4. 4.
    Robby, X.D., Dwyer, M.B., Hatcliff, J.: Bogor Website (2003), http://www.bogor.projects.cis.ksu.edu
  5. 5.
    SAnToS Laboratory. Cadena Website (2003), http://www.cadena.projects.cis.ksu.edu

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Adam Childs
    • 1
  • Jesse Greenwald
    • 1
  • Venkatesh Prasad Ranganath
    • 1
  • Xianghua Deng
    • 1
  • Matthew Dwyer
    • 1
  • John Hatcliff
    • 1
  • Georg Jung
    • 1
  • Prashant Shanti
    • 1
  • Gurdip Singh
    • 1
  1. 1.Department of Computing and Information SciencesManhattanUSA

Personalised recommendations