SOFA (component system)

SOFA 2 is a component system developed by Distributed Systems Research Group at Charles University in Prague. 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 (component system)

SOFA 2 is a component system developed by Distributed Systems Research Group at Charles University in Prague. 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.