DEECo Computational Model – I

This report provides the formalization of DEECo concepts and operational semantic of DEECo systems. Further, it establishes the refinement relation and shows the centralized tuple space semantics (as featured by local and Apache River-based knowledge providers in jDEECo). Version: March 2nd, 2013 This work was partially supported by the Grant Agency of the Czech Republic project P202/11/0312. This work was partially supported by the EU project ASCENS 257414. D3S Technical Report no. D3S-TR-2013-0

[1]  Michal Kit,et al.  Towards Dependable Emergent Ensembles of Components: The DEECo Component Model , 2012, 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture.