Original version of SOFA
The original version of the SOFA was developed for several years. It comprised a hierarchical component model with software connectors, behavior specification and verification. The implementation of this version of SOFA supports DCUP (dynamic component updating), which allows exchanging component implementation at runtime. You can still download the latest version of it but it is abandonded and not supported any more.