Sökning: "Semantic Composability"

Hittade 2 avhandlingar innehållade orden Semantic Composability.

  1. 1. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

    Författare :Imran Mahmood; Rassul Ayani; Gary Tan; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling and Simulation; Component-based development; Composability; Semantic Composability; Dynamic-Semantic Composability; Verification; Correctness; Petri Nets Analysis; Algebraic Techniques; Colored Petri Nets; State-space Analysis; Communicating Sequential Processes; Model Checking.; SRA - ICT; SRA - Informations- och kommunikationsteknik;

    Sammanfattning : The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. LÄS MER

  3. 2. A Framework for Component Based Modelling and Simulation using BOMs and Semantic Web Technology

    Författare :Farshad Moradi; Rassul Ayani; Axel Lehmann; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer science; Telecommunication theory; Telekommunikationsteori;

    Sammanfattning : Modelling and Simulation (M&S) is a multi-disciplinary field that is widely used in various domains. It provides a means to study complex systems before actual physical prototyping and helps lowering, amongst others, manufacturing and training costs. LÄS MER