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. 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 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. We are applying Cadena to avionics applications built using Boeing's Bold Stroke framework.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Cadena: an integrated development, analysis, and verification environment for component-based systems


    Beteiligte:
    Hatcliff, J. (Autor:in) / Deng, Xinghua (Autor:in) / Dwyer, M.B. (Autor:in) / Jung, G. (Autor:in) / Ranganath, V.P. (Autor:in)


    Erscheinungsdatum :

    2003


    Format / Umfang :

    13 Seiten, 24 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Cadena resistente

    WIENKE DIETRICH / MARISSEN ROELOF | Europäisches Patentamt | 2017

    Freier Zugriff

    Una guía de cadena y un cabrestante de cadena que comprende tal guía de cadena

    ANTONSEN BJØRN TORE RAMBERG / HØVIK JON / FISKERGÅRD KNUT et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    Tensor de cadena con dispositivo conmutador de la cadena

    REMMERS VICTOR MARIA WILHELM GERARD | Europäisches Patentamt | 2022

    Freier Zugriff

    Eslabón de cadena

    KUIVAMÄKI ISMO | Europäisches Patentamt | 2019

    Freier Zugriff

    Cierre de cadena

    Europäisches Patentamt | 2021

    Freier Zugriff