Abstract
This chapter presents our solution to the CoCoME assignment that is based on the SOFA 2.0 (SOFtware Appliances) hierarchical component model. The solution involves (i) modeling architecture in SOFA meta-model, (ii) specification of component behavior via extended behavior protocols, (iii) checking behavior compliance of components, (iv) verification of correspondence between selected component Java code and behavior specification, (v) deployment to SOFA run-time environment (using connectors that support RMI and JMS), and (vi) modeling of performance and resource usage via layered queueing networks.
We faced several issues during implementation of the CoCoME assignment in SOFA 2.0.