Algebraic modelling of concurrent systems and its practical application

被引：0
|
作者：
Tang, Weidong [1 ]
Li, Shengnan [2 ]
Li, Huaxu [2 ]
机构：
[1] Guangxi Minzu Univ, Coll Artificial Intelligence, Nanning 530006, Peoples R China
[2] Guangxi Minzu Univ, Coll Elect Informat, Nanning 530006, Peoples R China
来源：
INTERNATIONAL JOURNAL OF COMPUTING SCIENCE AND MATHEMATICS | 2023年 / 18卷 / 02期
基金：
中国国家自然科学基金;
关键词：
data flow; event structure; concurrent system; modelling and verification; symbolic computation; DYNAMIC LOGIC; EVENT; REFINEMENT;
D O I：
10.1504/IJCSM.2023.133640
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
For decades, formal methods have greatly contributed to the modelling and validation of concurrent systems. Event structure is a powerful and efficient formal method. However, the traditional event structure has some limitations, so it cannot describe the exchange process of data flow, but the exchange process of data flow is exactly one of the most important behaviour characteristics of concurrent systems. This paper formally defines a new event structure model based on data flow by means of symbolic computation and uses it for modelling the handling of objects by robots independently and cooperatively.
引用
收藏
页码：138 / 151
页数：15
相关论文
共 50 条
12345