Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
489795 | Procedia Computer Science | 2015 | 8 Pages |
Abstract
The research has shown that process-oriented programming languages provide a suitable means for developing concurrent systems. However, in the development of a concurrent system, there is a challenge to manage consistency between design and implementation. To deal with such a challenge, we propose a new formal verification methodology and illustrate it by a running example. In this methodology, a concurrent system is designed using a process algebra, namely communicating sequential processes, and implemented in a process-oriented programming language, namely Erasmus. The consistency between the design and the implementation of such a concurrent system is verified formally using category theory.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science (General)