Autonomic specification of self-protection for distributed MARF with ASSL
Serguei A. Mokhov, Emil Vassev · 2009
This paper presents practical results of our endeavor towards formal specification and code generation of the Autonomic Distributed Modular Audio Recognition Framework (AD-MARF) system. We used the Autonomic System Specification Language (ASSL) to design and specify a self-protecting mechanism that must be incorporated by DMARF. Our overall goal is to have an autonomic computing layer covering DMARF by specifying autonomic properties at each of the pattern recognition stages of the same. Here we present results that complement our related work on the self-healing and self-optimizatin autonomic properties.