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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Creating executable architectures using Visual Simulation Objects (VSO)


    Contributors:


    Publication date :

    2005


    Size :

    12 Seiten, 14 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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 | European Patent Office | 2022

    Free access

    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