Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems

被引：1

作者：

Zhu, Ming ^{[1
]}

Grogono, Peter ^{[1
]}

Ormandjieva, Olga ^{[1
]}

Kuang, Heng ^{[2
]}

机构：

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

[2] IBM Canada, Markham, ON, Canada

来源：

7TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT 2016) / THE 6TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2016) / AFFILIATED WORKSHOPS | 2016年 / 83卷

关键词：

concurrent system; verification; category theory; Failures; CSP; process-oriented programming;

D O I：

10.1016/j.procs.2016.04.155

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The process-oriented design and implementation of concurrent systems have important advantages. However, it is challenging to verify the consistency of process communications between the design and the implementation. To deal with such a challenge, we construct a formal framework for designing, implementing and verifying the consistency of process communications. In this framework, we use Failures in Communicating Sequential Processes (CSP), Erasmus and Category Theory as the foundation. The framework is illustrated by using a running example. (C) 2016 The Authors. Published by Elsevier B.V.

引用

页码：700 / 704

页数：5

共 50 条

[1] Using Category Theory to Verify Implementation Against Design in Concurrent Systems
Zhu, Ming
Grogono, Peter
Ormandjieva, Olga
6TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2015), THE 5TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT-2015), 2015, 52 : 530 - 537
[2] Formalization of the Responsive and Formal Design Process using Category Theory
Gebreyohannes, Solomon
Edmonson, William
Esterline, Albert
12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 86 - 93
[3] Architecture, Analysis, and Design of Systems Using Extensions of Category Theory
Dickerson, Charles E.
Wilkinson, Michael K.
IEEE Open Journal of Systems Engineering, 2024, 2 : 105 - 118
[4] AUTOMATED DESIGN OF CONCURRENT PROCESS SYSTEMS
HIROTA, T
OHNO, Y
TABATA, K
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 143 : 407 - 424
[5] Using term rewriting systems to design and verify processors
Laboratory for Computer Science, Massachusetts Inst. of Technology, 545 Technology Square, Cambridge, MA 02139, United States
IEEE Micro, 3 (36-46):
[6] Using term rewriting systems to design and verify processors
Arvind
Shen, XW
IEEE MICRO, 1999, 19 (03) : 36 - 46
[7] Using Category Theory to Design Programming Languages
Reynolds, John C.
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 62 - 63
[8] Design and implementation of in-building systems in cellular communications
bin Sulaiman, W
Ab Rahman, RB
4TH NATIONAL CONFERENCE ON TELECOMMUNICATION TECHNOLOGY, PROCEEDINGS, 2003, : 238 - 243
[9] Multimodal System Design Integration Using Category Theory
Mordecai, Yaniv
Engel, Avner
2023 IEEE INTERNATIONAL SYSTEMS CONFERENCE, SYSCON, 2023,
[10] A process model for concurrent conceptual design of space systems
Knoll, Dominik
Fortin, Clement
Golkar, Alessandro
SYSTEMS ENGINEERING, 2021, 24 (04) : 234 - 249

← 1 2 3 4 5 →