Design Environments for Complex Systems

Priami, Corrado (2003) Design Environments for Complex Systems. UNSPECIFIED. (In Press)

Download (516Kb) | Preview


    The paper describes an approach for modeling complex systems by hiding as much formal details as possible from the user, still allowing verification and simulation of the model. The interface is based on UML to make the environment available to the largest audience. To carry out analysis, verification and simulation we automatically extract process algebras specifications from UML models. The results of the analysis is then reflected back in the UML model by annotating diagrams. The formal model includes stochastic information to handle quantitative parameters. We present here the stochastic -calculus and we discuss the implementation of its probabilistic support that allows simulation of processes. We exploit the benefits of our approach in two applicative domains: global computing and systems biology.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QH Natural history > QH301 Biology
    Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Additional Information: In proceedings of WSC 2003
    Report Number: DIT-03-048
    Repository staff approval on: 03 Sep 2003

    Actions (login required)

    View Item