Title :
Requirements for Modeling and Simulation of Self-Adaptive Systems: A Hierarchical and Modular Approach
Author :
Barros, Fernando J.
Author_Institution :
Dept. Eng. Informatica, Coimbra Univ.
Abstract :
Complex systems exhibiting structural changes should be represented by models that mimic these transformations. This direct representation of the reconfigurations occurring in real systems produces more intuitive models that are easier to build and test. The heterogeneous flow system specification (HFSS) is a comprehensive formalism that can describe a large variety of models using a unifying representation for both continuous and discrete event systems. The HFSS formalism represents models in a hierarchical and modular form. This explicit representation of structure makes possible to describe self-adaptive systems. As an application of the HFSS formalism, we introduce a representation of a self-adaptive communication network based on fluid queues
Keywords :
discrete event systems; distributed processing; formal specification; modelling; self-adjusting systems; simulation; discrete event systems; fluid queues; heterogeneous flow system specification; modeling requirements; self-adaptive communication network; self-adaptive systems; simulation requirements; Adaptive systems; Application software; Biological systems; Communication networks; Computer architecture; Discrete event systems; Manufacturing systems; Production; Software architecture; System testing;
Conference_Titel :
Database and Expert Systems Applications, 2005. Proceedings. Sixteenth International Workshop on
Conference_Location :
Copenhagen
Print_ISBN :
0-7695-2424-9
DOI :
10.1109/DEXA.2005.164