345 research outputs found

    An algebraic semantics for hierarchical P/T nets

    Get PDF

    Reconfigurable and software-defined networks of connectors and components

    Get PDF
    The diffusion of adaptive systems motivate the study of models of software entities whose interaction capabilities can evolve dynamically. In this paper we overview the contributions in the ASCENS project in the area of software defined networks and of reconfigurable connectors. In particular we highlight: (i) the definition of the Network-conscious pi-calculus and its use in the modeling and verification of the PASTRY protocol, and (ii) the mutual correspondence between different frameworks for defining networks of connectors together with two suitable enhancements for addressing dynamically changing systems

    A class of Petri nets for modeling and analyzing business processes

    Get PDF

    Structural Petri net equivalence

    Get PDF

    Structural Petri net equivalence

    Get PDF

    Systems engineering : a formal approach. Part V. Specification language

    Get PDF

    An algebraic semantics of basic message sequence charts

    Get PDF

    Systems engineering : a formal approach. Part V. Specification language

    Get PDF

    Resource Usage Analysis for the π-Calculus

    Full text link
    • …
    corecore