Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
Software Engineering, International Conference on (2003)
May 3, 2003 to May 10, 2003
John Hatcliff , Kansas State University
Xinghua Deng , Kansas State University
Matthew B. Dwyer , Kansas State University
Georg Jung , Kansas State University
Venkatesh Prasad Ranganath , Kansas State University
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-critical domains, component-based development is beginning to take hold as a mechanism for incorporating non-functional aspects such as real-time, quality-of- service, and distribution. To form an effective basis for development of such systems, we believe that support for reasoning about correctness properties of component-based designs is essential.<div></div> In this paper, we present Cadena - an integrated environment for building and modeling CCM systems. Cadena provides facilities for defining component types using CCM IDL, specifying dependency information and transition system semantics for these types, assembling systems from CCMcomponents, 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. We are applying Cadena to avionics applications built using Boeing?s Bold Stroke framework.
M. B. Dwyer, X. Deng, J. Hatcliff, V. P. Ranganath and G. Jung, "Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems," Software Engineering, International Conference on(ICSE), Portland, Oregon, 2003, pp. 160.