Investigations have been performed to identify a methodology for creating executable models of architectures and simulations of architecture that lead to an understanding of their dynamic properties. Colored Petri nets (CPNs) are used to describe architecture because of their strong mathematical foundations, the existence of techniques for their verification and graph theory's well-established history of success in modern science. CPNs have been extended to interoperate with legacy simulations via a high level architecture (HLA) compliant interface. It has also been demonstrated that an architecture created as a CPN can be integrated with Department of Defense Architecture Framework products to ensure consistency between static and dynamic descriptions. A computer-aided tool, Visual Simulation Objects (VSO), which aids analysts in specifying, composing and executing architectures, has been developed to verify the methodology and as a prototype commercial product.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Creating executable architectures using Visual Simulation Objects (VSO)


    Beteiligte:
    Woodring, J.W. (Autor:in) / Comiskey, J.B. (Autor:in) / Petrov, O.M. (Autor:in) / Woodring, B.L. (Autor:in)


    Erscheinungsdatum :

    2005


    Format / Umfang :

    12 Seiten, 14 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    An executable choreography framework for dynamic service-oriented architectures

    Akkawi, F. / Fletcher, D.P. / Cottenier, T. et al. | IEEE | 2006



    Systems and methods for rescaling executable simulation models

    MALONEY PETER J | Europäisches Patentamt | 2022

    Freier Zugriff

    Executable assertions and flight software

    Mahmood, A. / Andrews, D. M. / Mccluskey, E. J. | NTRS | 1984


    Executable assertions and flight software

    MAHMOOD, A. / ANDREWS, D. / MCCLUSKEY, E. | AIAA | 1984