Requirements for modeling and simulation of self-adaptive systems: A hierarchical and modular approach

被引:0
|
作者
Barros, FJ [1 ]
机构
[1] Univ Coimbra, Dept Informat Engn, P-3030 Coimbra, Portugal
关键词
D O I
10.1109/DEXA.2005.164
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:186 / 190
页数:5
相关论文
共 50 条
  • [1] Modeling and Verifying Self-adaptive Systems: A Refinement Approach
    Hachicha, Marwa
    Ben Halima, Riadh
    Kacem, Ahmed Hadj
    2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2016, : 3967 - 3972
  • [2] A Correct by Construction Approach For Modeling and Formalizing Self-adaptive Systems
    Hachicha, Marwa
    Dammak, Emna
    Ben Halima, Riadh
    Kacem, Ahmed Hadj
    2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2016, : 379 - 384
  • [3] Optimizing Monitoring Requirements in Self-adaptive Systems
    Ali, Raian
    Griggio, Alberto
    Franzen, Anders
    Dalpiaz, Fabiano
    Giorgini, Paolo
    ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2012, 2012, 113 : 362 - 377
  • [4] Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach
    Li, Nianyu
    Bai, Di
    Jiao, Wenpin
    Yang, Zhuoqun
    Peng, Yiming
    2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, : 67 - 74
  • [5] Modeling of self-adaptive systems with SCADE
    Guedemann, Matthias
    Angerer, Andreas
    Ortmeier, Frank
    Reif, Wolfgang
    2007 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, 2007, : 2922 - 2925
  • [6] Runtime Verification of Self-Adaptive Systems with Changing Requirements
    Carwehl, Marc
    Vogel, Thomas
    Rodrigues, Gena Nunes
    Grunske, Lars
    2023 IEEE/ACM 18TH SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, SEAMS, 2023, : 104 - 114
  • [7] Towards Self-Adaptive Systems with Hierarchical Decentralised Control
    Yonbawi, Saud
    Calinescu, Radu
    2018 IEEE 3RD INTERNATIONAL WORKSHOPS ON FOUNDATIONS AND APPLICATIONS OF SELF* SYSTEMS (FAS*W), 2018, : 14 - 16
  • [8] Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems
    Ahmad, Manzoor
    Belloir, Nicolas
    Bruel, Jean-Michel
    JOURNAL OF SYSTEMS AND SOFTWARE, 2015, 107 : 50 - 70
  • [9] Improving Self-adaptive Systems Conceptual Modeling
    da Silva, Joao Pablo S.
    Ecar, Miguel
    Pimenta, Marcelo S.
    Kepler, Fabio Natanael
    Guedes, Gilleanes T. A.
    Betemps, Carlos Michel
    33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2018, : 1292 - 1299
  • [10] Modeling Dimensions of Self-Adaptive Software Systems
    Andersson, Jesper
    de Lemos, Rogerio
    Malek, Sam
    Weyns, Danny
    SOFTWARE ENGINEERING FOR SELF-ADAPTIVE SYSTEMS, 2009, 5525 : 27 - +