TY - JOUR AU - Arslan Enikeev AU - Mahfoodh Bilal Ahmed Mohammed PY - 2014/05/20 Y2 - 2024/03/29 TI - THE SPECIFICATION OF A MENU-SELECT INTERACTIVE SYSTEM BASED ON CSP THEORY JF - European Scientific Journal, ESJ JA - ESJ VL - 10 IS - 10 SE - Articles DO - 10.19044/esj.2014.v10n10p%p UR - https://eujournal.org/index.php/esj/article/view/3268 AB - This paper presents a model for the creation of software systems using the example of a menu-select interaction system based on Communication Sequential Process (CSP) theory. This theory enables the specification and analysis of various patterns of communication between processes. The model includes the specifications of commonly used processes such as ‘stoppable’, ‘resettable’, ‘backtrackable’ and ‘coroutine’. Implementation of the model has been carried out on the basis of LISP language and it has been approved in a series of tests. ER -