The specification of an agent architecture is
certainly one of the most difficult phases of the development method.
To help the developer in this phase, CaseLP furnishes a library of
already-tested architectures specified in 
from which he/she will pick up the desired model.
Currently, the library contains four specifications:
specification of reactive, proactive and reactive-proactive
architectures, and specification of the Procedural Reasoning System
(PRS) [8], fully described in [3].