SOFA component system
Encyclopedia
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.
Prague
Prague is the capital and largest city of the Czech Republic. Situated in the north-west of the country on the Vltava river, the city is home to about 1.3 million people, while its metropolitan area is estimated to have a population of over 2.3 million...
. It provides many advanced features: ADL-based design, behavior specification and verification
Verification
The word verification may refer to:* Verification and validation, in engineering or quality management systems, it is the act of reviewing, inspecting or testing, in order to establish and document that a product, service or system meets regulatory or technical standards.* Verification , in the...
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 basis
The SOFA 2 system includes a component model, repository of components, runtime environment and tool support.Component Model
SOFA 2 component model is defined by means of its meta-model which captures core concepts and states relation among them.Repository
SOFA 2 provides a repository of a components which is automatically generated from the meta-model.Tool support
- Cushion - is a text-based tool which allows development of SOFA 2 applications and manipulation with a repository
- SOFA IDE - is a graphical tool (plugin for Eclipse)
- MConsole - is a plugin for Eclipse (as well as a standalone application) monitoring and maintaining SOFA 2 runtime environment
SOFA application lifecycle
- application design
- component development, adaptation
- application assembly
- application deployment
- application execution - monitoring, maintaining