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 条
  • [21] Using category theory to assess the relationship between consciousness and integrated information theory
    Tsuchiya, Naotsugu
    Taguchi, Shigeru
    Saigo, Hayato
    NEUROSCIENCE RESEARCH, 2016, 107 : 1 - 7
  • [22] Maximizing Service Reliability in Distributed Computing Systems with Random Node Failures: Theory and Implementation
    Pezoa, Jorge E.
    Dhakal, Sagar
    Hayat, Majeed M.
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2010, 21 (10) : 1531 - 1544
  • [23] Modeling and analyzing concurrent design process for manufacturing enterprise information systems
    Gao, Xinqin
    Li, Zongbin
    Ll, Shancang
    Wu, Feng
    2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 4999 - +
  • [24] Robust and Efficient Covert Channel Communications in Operating Systems: Design, Implementation and Evaluation
    Lin, Yuqi
    Ding, Liping
    Wu, Jingzheng
    Xie, Yalong
    Wang, Yongji
    2013 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY - COMPANION (SERE-C), 2013, : 46 - 53
  • [25] Design of UWB pulse communications using delta operator theory
    College of Communications and Information Engineering, Chongqing University of Posts and Telecommunications, Chongqing 400065, China
    不详
    不详
    Bandaoti Guangdian/Semiconductor Optoelectronics, 2008, 29 (03): : 444 - 446
  • [26] Access network segment design process in future mobile communications systems
    Demestichas, PP
    Tzifa, EC
    Demesticha, VP
    Anagnostou, ME
    Theologou, ME
    MELECON '98 - 9TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1 AND 2, 1998, : 716 - 720
  • [27] Optimal Rate Sampling in 802.11 Systems: Theory, Design, and Implementation
    Combes, Richard
    Ok, Jungseul
    Proutiere, Alexandre
    Yun, Donggyu
    Yi, Yung
    IEEE TRANSACTIONS ON MOBILE COMPUTING, 2019, 18 (05) : 1145 - 1158
  • [28] PHASED SYSTEMS-DESIGN, DEVELOPMENT, AND IMPLEMENTATION - PROCESS AND TECHNOLOGY
    WANNINGER, LA
    DICKSON, GW
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 8 : 133 - 149
  • [29] Design and Implementation of Ludo Game Using Automata Theory
    Ali, Khaji Faizan
    Kalyan, Varichitty
    Kumar, Kakelli Anil
    2019 INNOVATIONS IN POWER AND ADVANCED COMPUTING TECHNOLOGIES (I-PACT), 2019,
  • [30] Exploring Relationships between Syntax and Semantics of a Process-Oriented Language by Category Theory
    Zhu, Ming
    Grogono, Peter
    Ormandjieva, Olga
    8TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2017) AND THE 7TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT 2017), 2017, 109 : 241 - 248
12345