Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
485425 | Procedia Computer Science | 2016 | 5 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science (General)
Authors
Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang,