Software Engineering with PSF

Software Architecture Specification

Software Architecture can be specified with the PSF library that provides architecture primitives. The primitives are snd and rec actions for communication, each taking a connection and a data term as argument. A connection can be build up with a connection function >> with two identifiers indicating a component as argument.

    snd(origin >> destination, term)
    rec(origin >> destination, term)
Process describing the software architecture with these primitives can be set in an architecture environment, also provided by the PSF library. The architecture environment takes care of encapsulation to enforce the communication between the processes.

Animation generation from software architecture specifications gives the typical boxes-and-lines diagrams used to describe software architecture. But these animations also bring the software architecture to live when used in simulation of the specifications.

Example