THE SPECIFICATION OF A MENU-SELECT INTERACTIVE SYSTEM BASED ON CSP THEORY

Authors

  • Arslan Enikeev Kazan Federal University, Russian Federation
  • Mahfoodh Bilal Ahmed Mohammed Kazan Federal University, Russian Federation

DOI:

https://doi.org/10.19044/esj.2014.v10n10p%25p

Abstract

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.

Downloads

Download data is not yet available.

PlumX Statistics

Downloads

Published

2014-05-20

How to Cite

Enikeev, A., & Mohammed, M. B. A. (2014). THE SPECIFICATION OF A MENU-SELECT INTERACTIVE SYSTEM BASED ON CSP THEORY. European Scientific Journal, ESJ, 10(10). https://doi.org/10.19044/esj.2014.v10n10p%p

Issue

ESJ May 2014 /Special/ Edition

Section

Articles

License

This work is licensed under a Creative Commons Attribution 4.0 International License.