可重构的基于组件的系统规范的时间逻辑方法

Proceedings 17th IEEE International Conference on Automated Software Engineering, Pub Date : 2002-09-23 DOI:10.1109/ASE.2002.1115028

Nazareno Aguirre, Tom Maibaum

{"title":"可重构的基于组件的系统规范的时间逻辑方法","authors":"Nazareno Aguirre, Tom Maibaum","doi":"10.1109/ASE.2002.1115028","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":163532,"journal":{"name":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"48","resultStr":"{\"title\":\"A temporal logic approach to the specification of reconfigurable component-based systems\",\"authors\":\"Nazareno Aguirre, Tom Maibaum\",\"doi\":\"10.1109/ASE.2002.1115028\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":163532,\"journal\":{\"name\":\"Proceedings 17th IEEE International Conference on Automated Software Engineering,\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-09-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"48\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 17th IEEE International Conference on Automated Software Engineering,\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ASE.2002.1115028\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 17th IEEE International Conference on Automated Software Engineering,","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ASE.2002.1115028","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 48

摘要

我们提出了一种基于时间逻辑的基于组件的动态可重构系统的形式化规范语言。该语言的主要目的是允许人们以声明的方式指定基于组件的系统的行为，特别强调系统的体系结构动态变化的行为。由于我们的语言的语义和组织，它是直截了当的分层构建子系统和基本组成部分的可重构系统，并在语言中对它们进行推理。尽管表达能力很强，但这种语言相当简单。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 17th IEEE International Conference on Automated Software Engineering,

自引率

0.00%

发文量