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