Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems
| Autor: | John Hatcliff, Xianghua Deng, Venkatesh-Prasad Ranganath, Gurdip Singh, Jesse Greenwald, Matthew B. Dwyer, Prashant Shanti, Georg Jung, Adam Childs |
|---|---|
| Rok vydání: | 2004 |
| Předmět: |
Correctness
Java business.industry Computer science ComputerApplications_COMPUTERSINOTHERSYSTEMS Avionics computer.software_genre Common Object Request Broker Architecture Systems development life cycle Component (UML) Transition system Operating system Systems design Software engineering business computer computer.programming_language |
| Zdroj: | Fundamental Approaches to Software Engineering ISBN: 9783540213055 FASE |
| DOI: | 10.1007/978-3-540-24721-0_11 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|