Formal Logic Based Configuration Modeling and Verification for Dynamic Component Systems

Date Added: Jul 2011
Format: PDF

Reconfigurable networked systems have often been developed via dynamically deployed software components that are executing on top of interconnected heterogenous hardware nodes. The challenges resulting from the complexity of those systems have been traditionally mitigated by creative ad-hoc solutions supported by domain specific modeling frameworks and methodologies. Targeting that deficiency, the authors' paper shows that by involving a first-order logic based structural modeling language, Alloy, in the analysis of component deployment they could extend the limits of the generic domain specific metamodeling methodology developed for Reconfigurable Ubiquitous Networked Embedded Systems.