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.