A temporal logic approach to the specification of reconfigurable component-based systems

被引：19
|
作者：
Aguirre, N [1 ]
Maibaum, T [1 ]
机构：
[1] Univ London Kings Coll, Dept Comp Sci, London WC2R 2LS, England
来源：
ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING | 2002年
关键词：
D O I：
10.1109/ASE.2002.1115028
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We propose a formal specification language for dynamically reconfigurable component-based systems, based on temporal logic. The main aim of the language is to allow one to specify behaviours of component-based systems declaratively, with special emphasis on behaviours in which the architectural structure of the system changes dynamically. Due to the semantics and organisation of our language, it is straightforward to hierarchically build reconfigurable systems in terms of subsystems and basic component parts, and reason about them within the language. Despite its expressive power the language is rather simple.
引用
收藏
页码：271 / 274
页数：4
相关论文
共 50 条
  • [1] A logical basis for the specification of reconfigurable component-based systems
    Aguirre, N
    Maibaum, T
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 37 - 51
  • [2] A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems
    Koutsoumpas, Vasileios
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (178): : 62 - 76
  • [3] Component-based reconfigurable systems
    Lowry, MR
    [J]. COMPUTER, 1998, 31 (04) : 44 - +
  • [4] A formal approach for the specification and verification of trustworthy component-based systems
    Mohammad, Mubarak
    Alagar, Vangalur
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2011, 84 (01) : 77 - 104
  • [5] Component-Based Specification of Distributed Systems
    Malcolm, Grant
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 : 211 - 224
  • [6] Specification and Verification of Component-based Systems (SAVCBS)
    Sharygina, Natasha
    [J]. IET SOFTWARE, 2008, 2 (06) : 475 - 476
  • [7] An Approach to Assure QoS for Dynamically Reconfigurable Component-Based Software Systems
    Reeta, R.
    Mariappan, A. K.
    [J]. 2014 INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND SIGNAL PROCESSING (ICCSP), 2014,
  • [8] Architecting reconfigurable component-based operating systems
    Polakovic, Juraj
    Stefani, Jean-Bernard
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2008, 54 (06) : 562 - 575
  • [9] Component-based specification, design and verification of adaptive systems
    Graics, Bence
    Molnar, Vince
    Majzik, Istvan
    [J]. SYSTEMS ENGINEERING, 2023, 26 (05) : 567 - 589
  • [10] On Specifying Reconfigurable Component-Based Systems Using Strategies
    Djoudi, Brahim
    Bouanaka, Chafia
    Zeghib, Nadia
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1, 2014, 8579 : 656 - 670
12345