Abstract

In this paper we construct java code for specification phase of the Geoquorum approach: implementing atomic read/ write shared memory in mobile ad hoc networks using fuzzy logic. This code is based on graphical user interface and is considered a tool to determine the specification of the communication protocol based on asynchronous real time distributed system using java language. This code satisfies the accuracy and determines the requirements of the specification phase using fuzzy logic of our suggested application.

References

• Felix Bachman, Len Bass, C Buhman, S Comella-Dorda, F Long, J Robert, R Seacord, Kurt Wallnau," Technical concepts of component-based software engineering," Technical Report CMU/SEI-2000-TR-008, Carneggie Mellon Software Engineering Institute, 2000
• Kendra Cooper, Joao Cangusu, Rong Lin, Ganesan Sankaranarayanan, Ragouramane Soundararadjane, Eric Wong," An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic," in Proceedings of 8th International Symposium on CBSE, St. Louis, USA, May 2005.
• Y.Daniel Liang: Introduction to Java Programming. 6th Edition. USA: Pearson Prentice Hall, 2004.
• C.Snook, R.Harrison," Experimental Comparison of the Compressibility of a Z Specification and Its Implementation in Java", In: Proceeding Of Information and Software Technology 46(2004), PP: 955-971.
• Dolv, S., Gilbert, S.Lynch, N.A., Shvartsman, A.A., Welch, A.Loran.J.L:"Geoquorums: Implementing Atomic Memory in Mobile Ad Hoc Networks ".In: Proceedings of the 17th International Conference on The Distributed Computing, PP: 306-319 (2005).
• Haas, Z.J., Liang, and B.A, D.Wjghs. "Ad Hoc Mobile Management with Uniform GeoQuorums Systems", In: Proceeding of IEEE/ACM Transactions on Mobile ad hoc Networks 7(2), PP: 228-240(2004).
• Murat Koyuncu, Adnan Yazici," A Fuzzy Knowledge-Based System for Intelligent Retrieval," in IEEE Transactions on Fuzzy Systems, Vol. 13, No. 3, June 2005, pp. 317-330
• Ioana Sora, Pierre Verbaeten, Yolande Berbers," A Description Language for Composable Components, in Fundamental Approaches to Software Engineering", Lecture Notes in Computer Science LNCS No. 2621, Springer, 2003, pp. 22-37
• Ioana Sora, Vladimir Cretu, Pierre Verbaeten, Yolande Berbers, "Automating decisions in component composition based on propagation of Requirements, in Fundamental Approaches to Software Engineering," Lecture Notes in Computer Science LNCS No. 2984, Springer, 2004, pp. 374-388
• Ioana Sora, Vladimir Cretu, Pierre Verbaeten, Yolande Berbers," Managing Variability of Self-customizable Systems through Composable Components, in Software Process Improvement and Practice, " Vol. 10, No. 1, Addison Wesley, January 2005
• Ioana ≈ûora, D. Todinca," Specification-based Retrieval of Software Components through Fuzzy Inference", in Acta Polytechnica Hungarica. Vol. 3, No. 3, 2006..
• R. Oliveira, L. Bernardo, and P. Pinto, ‚ÄúModeling delay on IEEE 802.11 MAC Protocol for Unicast and Broadcast Non Saturated Traffic,‚Äù in Proc. WCNC‚Äô07, IEEE, 2007, pp. 463‚Äì467.
• A. Fehnker, M. Fruth, and A. McIver, ‚ÄúGraphical Modeling for Simulation and Formal Analysis of Wireless Network Protocols," in Methods, Models and Tools for Fault Tolerance, LNCS 5454. Springer, 2009, pp. 1‚Äì24.
• T. Lin, ‚ÄúMobile Ad-hoc Network Routing Protocols: Methodologies and Applications,‚Äù PhD thesis, Virginia Polytechnic Institute and State University, 2004.
• V. D. Tracy Camp, Jeff Boleng, ‚ÄúA Survey Of Mobility Models For Ad Hoc Network Research,‚Äù Wireless Communications and Mobile Computing, 2:483‚Äì502, 2002.