Open Access
Subscription Access
Application of CSP to The Specification Description, The Analysis and Finding The Dynamic Behavior of The System Using Message Transmission System as an Example
Abstract
The first purpose of this paper is to study the application of CSP [1] to the specification descriptions, the analysis of the specification and the investigation of dynamic behavior of the system including the verification of deadlock absence in the system by process algebra in CSP.
The second purpose is an implementation of the system in Ada95 for the confirmation of the above discussion. For the purpose, a message transmission system is adopted as an example.
The methodology for software development as is described in this paper, is very useful, because at the period of specification description and system design, the total behavior of the system can be recognized, and a high quality system can be implemented.
The second purpose is an implementation of the system in Ada95 for the confirmation of the above discussion. For the purpose, a message transmission system is adopted as an example.
The methodology for software development as is described in this paper, is very useful, because at the period of specification description and system design, the total behavior of the system can be recognized, and a high quality system can be implemented.
Keywords
CSP; Specification; Process algebra; Total system behavior; Deadlock absence; Ada tasking; Concurrent systems
Citation Format:
Yuko Hoshino, Tomoaki Yokoyama, Makoto Tsujigado, "Application of CSP to The Specification Description, The Analysis and Finding The Dynamic Behavior of The System Using Message Transmission System as an Example," Journal of Internet Technology, vol. 1, no. 2 , pp. 1-10, Dec. 2000.
Yuko Hoshino, Tomoaki Yokoyama, Makoto Tsujigado, "Application of CSP to The Specification Description, The Analysis and Finding The Dynamic Behavior of The System Using Message Transmission System as an Example," Journal of Internet Technology, vol. 1, no. 2 , pp. 1-10, Dec. 2000.
Refbacks
- There are currently no refbacks.
Published by Executive Committee, Taiwan Academic Network, Ministry of Education, Taipei, Taiwan, R.O.C
JIT Editorial Office, Office of Library and Information Services, National Dong Hwa University
No. 1, Sec. 2, Da Hsueh Rd., Shoufeng, Hualien 974301, Taiwan, R.O.C.
Tel: +886-3-931-7314 E-mail: jit.editorial@gmail.com