Software Architecture Specification
Software Architecture can be specified with the PSF library that provides
The primitives are
actions for communication, each taking a connection and a data term
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.