TY - CHAP
T1 - Cadena
T2 - An integrated development environment for analysis, synthesis, and verification of component-based systems
AU - Childs, Adam
AU - Greenwald, Jesse
AU - Ranganath, Venkatesh Prasad
AU - Deng, Xianghua
AU - Dwyer, Matthew
AU - Hatcliff, John
AU - Jung, Georg
AU - Shanti, Prashant
AU - Singh, Gurdip
N1 - Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.
PY - 2004
Y1 - 2004
N2 - This tool paper gives an overview of Cadena - an integrated environment for building and modeling systems built using the CORBA Component Model (COM). 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.
AB - This tool paper gives an overview of Cadena - an integrated environment for building and modeling systems built using the CORBA Component Model (COM). 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.
UR - http://www.scopus.com/inward/record.url?scp=33847258487&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33847258487&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-24721-0_11
DO - 10.1007/978-3-540-24721-0_11
M3 - Chapter
AN - SCOPUS:33847258487
SN - 3540213058
SN - 9783540213055
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 160
EP - 164
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
A2 - Wermelinger, Michel
A2 - Margaria-Steffen, Tiziana
PB - Springer Verlag
ER -