It provides many advanced features: ADL-based design, behavior specification and verification based on behavior protocols, software connectors supporting different communication styles and providing transparent distribution of applications.

SOFA 2 can be used not only for modeling component-based applications but also as a complete framework supporting all the stages of an application lifecycle from development to execution.

SOFA 2 component model is defined by means of its meta-model which captures core concepts and states relation among them.

SOFA 2 provides a repository of a components which is automatically generated from the meta-model.

A complete list of SOFA related papers can be found at the DSRG site.