Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study

被引：4

作者：

Kuang, Heng ^{[1
]}

Ormandjieva, Olga ^{[1
]}

Klasa, Stan ^{[1
]}

Khurshid, Noorulain ^{[1
]}

Benthar, Jamal ^{[1
]}

机构：

[1] Concordia Univ, Comp Sci & Software Engn Dept, Montreal, PQ H3G 1M8, Canada

来源：

SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS 2009 | 2009年 / 253卷

关键词：

Category Theory; autonomic system; software engineering; formal method; reactive system;

D O I：

10.1007/978-3-642-05441-9_11

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Software complexity is the main obstacle to further progress in the IT industry. One solution is the autonomic system with self-* properties. Formal methods are proven approaches to ensuring the correct operation of complex interacting systems. However, the current formal methods do not adequately address the problem of verifying two of the most important features of auto-nomic systems. namely emergent behavior and evolving behavior. Category Theory (CT) has recently been proposed as a formal framework to provide a structure for isolating the management of evolving specifications and the analysis of changes. We propose a formal framework based on CT in this paper to specify reactive autonomic systems. Our approach is illustrated with a NASA case study.

引用

页码：119 / 134

页数：16

共 33 条

[1] On categorical approach to reaction systems
Kaniecki, Mariusz
Mikulski, Lukasz
NATURAL COMPUTING, 2024, 23 (02) : 295 - 307
[2] Reengineering Autonomic Components in Legacy Software Systems: A Case Study
Mulcahy, James. J.
Huang, Shihong
2017 11TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2017, : 523 - 529
[3] A Categorical Approach in Handling Event-Ordering in Distributed Systems
Sisiaridis, Dimitrios
Kuchta, Veronika
Markowitch, Olivier
2016 IEEE 22ND INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), 2016, : 1145 - 1150
[4] Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems
Kuang, Heng
Bentahar, Jamal
Ormandjieva, Olga
Shafieidizaji, Nassir
Klasa, Stan
NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2010, 217 : 357 - 380
[5] Autonomic iPOJO: Towards Self-Managing Middleware for Ubiquitous Systems
Diaconescu, Ada
Bourcier, Johann
Escoffier, Clement
2008 4TH IEEE INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), 2008, : 472 - 477
[6] An Eliminating Causal Ambiguity Approach to Reactive Systems
Yue, Houguang
PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 861 - 866
[7] A NEW APPROACH TO VERIFY STATECHART SPECIFICATIONS FOR REACTIVE SYSTEMS
Mo, Yuchang
Yang, Xinmin
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (06) : 785 - 802
[8] A generic and decentralized approach to XAI for autonomic systems: application to the smart home.
Houze, Etienne
2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2021), 2021, : 301 - 303
[9] SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems
A. A. Shalyto
N. I. Tukkel'
Programming and Computer Software, 2001, 27 : 260 - 276
[10] SWITCH technology: An automated approach to developing software for reactive systems
Shalyto, AA
Tukkel', NI
PROGRAMMING AND COMPUTER SOFTWARE, 2001, 27 (05) : 260 - 276

← 1 2 3 4 →