Ming-Yuan Zhu, P. Grogono, O. Ormandjieva, Pankaj Kamthan
{"title":"Using Category Theory and Data Flow Analysis for Modeling and Verifying Properties of Communications in the Process-Oriented Language Erasmus","authors":"Ming-Yuan Zhu, P. Grogono, O. Ormandjieva, Pankaj Kamthan","doi":"10.1145/2641483.2641529","DOIUrl":null,"url":null,"abstract":"The increasing significance of concurrency and the need to address the challenges presented by concurrency motivate its formalization. In this paper, a methodology for modeling and verifying communications in a concurrent system developed in Erasmus, a process-oriented programming language, is proposed. The innovative aspects of this methodology include the use of category theory to model and verify properties of communications in Erasmus, and the use of data flow to analyze and abstract an implementation of Erasmus. The methodology is illustrated by a simple example.","PeriodicalId":438325,"journal":{"name":"Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering","volume":"70 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2641483.2641529","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
Abstract
The increasing significance of concurrency and the need to address the challenges presented by concurrency motivate its formalization. In this paper, a methodology for modeling and verifying communications in a concurrent system developed in Erasmus, a process-oriented programming language, is proposed. The innovative aspects of this methodology include the use of category theory to model and verify properties of communications in Erasmus, and the use of data flow to analyze and abstract an implementation of Erasmus. The methodology is illustrated by a simple example.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
