并发系统的代数建模及其实际应用

IF 0.5 Q4 ENGINEERING, MULTIDISCIPLINARY

International Journal of Computing Science and Mathematics Pub Date : 2023-01-01 DOI:10.1504/ijcsm.2023.133640

Weidong Tang, Shengnan Li, Huaxu Li

{"title":"并发系统的代数建模及其实际应用","authors":"Weidong Tang, Shengnan Li, Huaxu Li","doi":"10.1504/ijcsm.2023.133640","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":45487,"journal":{"name":"International Journal of Computing Science and Mathematics","volume":"22 1","pages":"0"},"PeriodicalIF":0.5000,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Algebraic modelling of concurrent systems and its practical application\",\"authors\":\"Weidong Tang, Shengnan Li, Huaxu Li\",\"doi\":\"10.1504/ijcsm.2023.133640\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":45487,\"journal\":{\"name\":\"International Journal of Computing Science and Mathematics\",\"volume\":\"22 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2023-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Computing Science and Mathematics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1504/ijcsm.2023.133640\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"ENGINEERING, MULTIDISCIPLINARY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Computing Science and Mathematics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1504/ijcsm.2023.133640","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"ENGINEERING, MULTIDISCIPLINARY","Score":null,"Total":0}

引用次数: 0

摘要

几十年来，形式化方法对并发系统的建模和验证做出了巨大贡献。事件结构是一种强大而有效的形式化方法。然而，传统的事件结构存在一定的局限性，无法描述数据流的交换过程，而数据流的交换过程恰恰是并发系统最重要的行为特征之一。本文采用符号计算的方法正式定义了一种新的基于数据流的事件结构模型，并将其用于机器人独立和协作处理物体的建模。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Algebraic modelling of concurrent systems and its practical application

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

International Journal of Computing Science and Mathematics ENGINEERING, MULTIDISCIPLINARY-

CiteScore

1.30

自引率

0.00%

发文量