An Effective Application of Net-Theory to Communication Protocol Development
Summary :
This paper presents an effective application of Net-theory for all the stages of the communication protocol development process. Net-theory provides a basic mathematical model and tool for development of communication protocol. The special usability of Net-theory is that 1) visual representation of the system's stadic/dynamic structure, so that users may easily understand the represented contents, 2) formal specifications based on mathematical basis of Net-theory admit automatic verification, implementation and conformance testing. We have seen that Net-theory which has the above usability can provide a systematic and advanced paradigm for effective communication protocol development.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E77-A No.10 pp.1588-1593
- Publication Date
- 1994/10/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section INVITED PAPER (Special Section on Net Theory and Its Applications)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Norio SHIRATORI, Eun-Seok LEE, Ken TERUYA, "An Effective Application of Net-Theory to Communication Protocol Development" in IEICE TRANSACTIONS on Fundamentals,
vol. E77-A, no. 10, pp. 1588-1593, October 1994, doi: .
Abstract: This paper presents an effective application of Net-theory for all the stages of the communication protocol development process. Net-theory provides a basic mathematical model and tool for development of communication protocol. The special usability of Net-theory is that 1) visual representation of the system's stadic/dynamic structure, so that users may easily understand the represented contents, 2) formal specifications based on mathematical basis of Net-theory admit automatic verification, implementation and conformance testing. We have seen that Net-theory which has the above usability can provide a systematic and advanced paradigm for effective communication protocol development.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e77-a_10_1588/_p
Copy
@ARTICLE{e77-a_10_1588,
author={Norio SHIRATORI, Eun-Seok LEE, Ken TERUYA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={An Effective Application of Net-Theory to Communication Protocol Development},
year={1994},
volume={E77-A},
number={10},
pages={1588-1593},
abstract={This paper presents an effective application of Net-theory for all the stages of the communication protocol development process. Net-theory provides a basic mathematical model and tool for development of communication protocol. The special usability of Net-theory is that 1) visual representation of the system's stadic/dynamic structure, so that users may easily understand the represented contents, 2) formal specifications based on mathematical basis of Net-theory admit automatic verification, implementation and conformance testing. We have seen that Net-theory which has the above usability can provide a systematic and advanced paradigm for effective communication protocol development.},
keywords={},
doi={},
ISSN={},
month={October},}
Copy
TY - JOUR
TI - An Effective Application of Net-Theory to Communication Protocol Development
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1588
EP - 1593
AU - Norio SHIRATORI
AU - Eun-Seok LEE
AU - Ken TERUYA
PY - 1994
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E77-A
IS - 10
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - October 1994
AB - This paper presents an effective application of Net-theory for all the stages of the communication protocol development process. Net-theory provides a basic mathematical model and tool for development of communication protocol. The special usability of Net-theory is that 1) visual representation of the system's stadic/dynamic structure, so that users may easily understand the represented contents, 2) formal specifications based on mathematical basis of Net-theory admit automatic verification, implementation and conformance testing. We have seen that Net-theory which has the above usability can provide a systematic and advanced paradigm for effective communication protocol development.
ER -
English
