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 条

[21] A HYBRID APPROACH TO COMPUTER SCIENCE EDUCATION A Case Study: Software Engineering at Aristotle University [J].

Meiszner, Andreas ;

Moustaka, Katerina ;

Stamelos, Ioannis .

CSEDU 2009: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL I, 2009, :39-+

[22] A Case Study on Finding Convenient Approach to Practice Agile Methodologies in Software Engineering Courses [J].

Milasinovic, Boris ;

Bakarcic, Toni .

CENTRAL EUROPEAN CONFERENCE ON INFORMATION AND INTELLIGENT SYSTEMS (CECIIS 2019), 2019, :305-311

[23] Applying anote to modeling multi agent systems - A case study in e-business [J].

Silva, KCC ;

Choren, R ;

Lucena, CJ .

PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2004, :538-543

[24] A SBC-Based Data Acquisition System: A Case Study on Smart Reclosers and Multiagent Systems [J].

Ramalho, Leonardo L. ;

Correa, Ilan S. ;

Monteiro, Marcos E. P. ;

Issicaba, Diego ;

Ferreira, Tarso V. ;

De Faria, Ricardo A. O. .

IEEE ACCESS, 2023, 11 :48988-49001

[25] An Approach to the Instantiation of the EU AI Act: A Level of Done Derivation and a Case Study from the Automotive Domain [J].

Hueger, Fabian ;

Poth, Alexander ;

Wittmann, Andreas ;

Walgenbach, Roland .

SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT, EUROSPI 2023, PT I, 2023, 1890 :111-123

[26] A CASE STUDY: INTEGRATING A GAME APPLICATION-DRIVEN APPROACH AND SOCIAL COLLABORATIONS INTO SOFTWARE ENGINEERING EDUCATION [J].

Xu, Weifeng ;

Frezza, Stephen .

ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 4, 2011, :23-32

[27] A Case Study of Refactoring Large-Scale Industrial Systems to Efficiently Improve Source Code Quality [J].

Szoke, Gabor ;

Nagy, Csaba ;

Ferenc, Rudolf ;

Gyimothy, Tibor .

COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT V, 2014, 8583 :524-540

[28] A user-centered approach for the design and implementation of KDD-based DSS: A case study in the healthcare domain [J].

Ben Ayed, Mounir ;

Ltifi, Hela ;

Kolski, Christophe ;

Alimi, Adel M. .

DECISION SUPPORT SYSTEMS, 2010, 50 (01) :64-78

[29] Multi-agent architecture approach for self-healing systems: Run-time recovery with case-based reasoning [J].

Rajput, Pushpendra Kumar ;

Sikka, Geeta .

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2023, 35 (01)

[30] Extending ISO/IEC 29110 Basic Profile with Privacy-by-Design Approach: a Case Study in the Health Care Sector [J].

Morales-Trujillo, Miguel Ehecatl ;

Alberto Garcia-Mireles, Gabriel .

2018 11TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2018, :56-64

← 1 2 3 4 →