Home // MOPAS 2011, The Second International Conference on Models and Ontology-based Design of Protocols, Architectures and Services // View article

Formal Logic Based Configuration Modeling and Verification for Dynamic Component Systems

Authors:
Zoltan Theisz
Gabor Batori
Domonkos Asztalos

Keywords: Alloy specification; formal model semantics; metamodeling; dynamic component system

Abstract:
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, our paper shows that by involving a first-order logic based structural modeling language, Alloy, in the analysis of component deployment we could extend the limits of the generic domain specific metamodeling methodology developed for Reconfigurable Ubiquitous Networked Embedded Systems.

Pages: 14 to 20

Copyright: Copyright (c) IARIA, 2011

Publication date: April 17, 2011

Published in: conference

ISBN: 978-1-61208-130-4

Location: Budapest, Hungary

Dates: from April 17, 2011 to April 22, 2011