CFP last date
20 January 2025
Call for Paper
February Edition
IJCA solicits high quality original research papers for the upcoming February edition of the journal. The last date of research paper submission is 20 January 2025

Submit your paper
Know more
The week's pick
Responsive image
SFLA-Based Line Balancing and Task Optimization in Master-Slave Controlled Hanger Transportation Systems for Garment Production

Duc Hoang Nguyen
Random Articles
Reseach Article

Fuzzy Approach for Formal Protocol Design Methodology

Published on February 2013 by Samiksha Nikam, B. T. Jadhav
journal_cover_thumbnail

International Conference on Recent Trends in Information Technology and Computer Science 2012
Foundation of Computer Science USA
ICRTITCS2012 - Number 7
February 2013
Authors: Samiksha Nikam, B. T. Jadhav
6e64a17f-cd93-44f0-8811-d6340768165c

Samiksha Nikam, B. T. Jadhav . Fuzzy Approach for Formal Protocol Design Methodology. International Conference on Recent Trends in Information Technology and Computer Science 2012. ICRTITCS2012, 7 (February 2013), 1-4.

@article{
author = { Samiksha Nikam, B. T. Jadhav },
title = { Fuzzy Approach for Formal Protocol Design Methodology },
journal = { International Conference on Recent Trends in Information Technology and Computer Science 2012 },
issue_date = { February 2013 },
volume = { ICRTITCS2012 },
number = { 7 },
month = { February },
year = { 2013 },
issn = 0975-8887,
pages = { 1-4 },
numpages = 4,
url = { /proceedings/icrtitcs2012/number7/10291-1398/ },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Proceeding Article
%1 International Conference on Recent Trends in Information Technology and Computer Science 2012
%A Samiksha Nikam
%A B. T. Jadhav
%T Fuzzy Approach for Formal Protocol Design Methodology
%J International Conference on Recent Trends in Information Technology and Computer Science 2012
%@ 0975-8887
%V ICRTITCS2012
%N 7
%P 1-4
%D 2013
%I International Journal of Computer Applications
Abstract

A Protocol defines how communication takes place between computer systems. Protocol designing is complex task due to growing size of network and changing technology. Informal and Formal methodology used to design protocol. Informal method uses natural language or textual format to design specification. Formal methodology uses formal language to define specifications. Informal methodology have some shortcoming like blurred or ambiguous specification, analysis of protocol is complex and not suitable to design large protocols. Formal methodology uses automated tool to design specification and very useful for debugging of specification. Specification designing is key step in protocol design and development in both methods. Specification based on user requirement hence it is human sensitive. Fuzzy logic is best to understand natural language. It is multi-output and multi-input solution finding logic. It supports all designing phases of a protocol. Hence we proposed to use of fuzzy logic for specification design in formal protocol design methodology

References
  1. Andrew S. Tanenbaum, 2008. Computer Network.
  2. BehrouzA. Forouzan, 2002. TCP/IP Protocol Suite.
  3. Behrouz A ForouZan, 2006. Data Communication and Networking.
  4. CHUNG-MING HUANG, JENQ-MUH HSU, "An incremental Protocol Varification Method", The Computer Journal , Vol 37, No 8, 1994.
  5. Edward A. Taft, Robert M. Metcalfe, "Formal Methods in Communication Protocol Design", IEEE Transactions on Communication, Vol. Com-28, No. 4, April 1980.
  6. Gerard J. Holzmann ,1991. Design And Validation Of Computer Protocols
  7. GERARD J. HOLZMANN, "An Improved Protocol Analysis Technique", Software Practice and Experience ,Vol 18, No. 2 PP. 137-161, 1988.
  8. Ge Ran, Huazhong Zhang, Shulan Gong ,"Improving on LEACH Protocol of Wireless Sensor Networks Using Fuzzy Logic", Journal on Information & Computational Science, volume 7 issue 3,2011,pg 767-775.
  9. Gregor V. Bochmann, " Finite State Description of Communication Protocols", North-Holland Publishing Company,Computre Networks 2,pg 361-372,1978.
  10. Gregor V. Bochmann, CARL A. SUNSHINE,"Formal Methods in Communication protocol Design", IEEE Transactions on Communication, Vol. Com-28, No. 4, pg 624-631,April 1980.
  11. J. L. da Silva Jr. , MSgroi, F. De Bernardinis, S. F. Li, "Wirelsee protocols Design and Opportunities"
  12. K. Thramboulidis,A. Mikroyannidis,"Using UML for the Design of Communication protocols: the TCP Case Study.
  13. M. Sgroi,J. L. dasilva, Jr,F. DeBernardinis, F. Burghardt, " Designing wireless Protocols: Methodology and Applications. http://embedded. eecs. berkeley. edu/Respep/Research/asves/paper2000/Marco_icassp00. pdf
  14. Marten van Sinderen,Luis Ferreira Pires,Chris A. Vissrrs," Protocol Design and Implementation Using Formal Methods", This work has been partly supported the CEC research programmeESPRIT II(Lotosphere,ref. :2304).
  15. Samikshanikam ,B,T. Jadhav," Fuzzy Approach for Networking Protocol Design and Development",International Journal of Advance and Innovative Research ,ISSN 2278-7844,Vol 1, Issue 2 July 2012.
  16. Siegfried LOFFLER,Ahmed SERHROUCHNI ,"Protocol Design: From Specification to Implementation", 8march 1996.
  17. YoungJoonByun ,"A Tool for Design and Validation of Communication Protocol using State Transition Diagrams and Patterns",Journal of Software,volume 2,no 311,2011,pg56-63.
Index Terms

Computer Science
Information Sciences

Keywords

Formaldesign protocol specification validation