Table of Contents Author Guidelines Submit a Manuscript
Journal of Computer Systems, Networks, and Communications
Volume 2008 (2008), Article ID 794960, 13 pages
http://dx.doi.org/10.1155/2008/794960
Research Article

Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Department of Information Sciences, College for Women, Kuwait University, P.O. Box 5969, Safat 13060, Kuwait

Received 28 February 2008; Accepted 8 July 2008

Academic Editor: Nidal Nasser

Copyright © 2008 Jehad Al Dallal and Kassem Saleh. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. A. Davison, Killer Game Programming in Java. Killer game programming in Java, Chapter B.1. Echoing Clinet/Server Application Using Bluetooth, O'Reilly Media, Sebastopol, Calif, USA, 2006.
  2. D. Comer and D. Stevens, Internetworking with TCP/IP. Vol. 3, Prentice-Hall, Englewood Cliffs, NJ, USA, 2001.
  3. R. L. Probert and K. Saleh, “Synthesis of communication protocols: survey and assessment,” IEEE Transactions on Computers, vol. 40, no. 4, pp. 468–476, 1991. View at Publisher · View at Google Scholar
  4. K. Saleh and R. Probert, “Automatic synthesis of protocol specifications from service specifications,” in Proceedings of the 10th Annual International Phoenix Conference on Computers and Communications (IPCC '91), pp. 615–621, Scottsdale, Ariz, USA, March 1991. View at Publisher · View at Google Scholar
  5. A. Khoumsi, “New results for deriving protocol specifications from service specifications for real-time applications,” in Proceedings of the Maghrebian Conference on Software Engineering and Arterial Intelligent (MCSEAI '98), Tunis, Tunisia, December 1998.
  6. J.-C. Park and R. E. Miller, “Synthesizing protocol specifications from service specifications in timed extended finite state machines,” in Proceedings of the 17th International Conference on Distributed Computing Systems (ICDCS '97), pp. 253–260, Baltimore, Md, USA, May 1997.
  7. T. Higashino, K. Okano, H. Imajo, and K. Taniguchi, “Deriving protocol specifications from service specification in extended FSM models,” in Proceedings of the 13th International Conference on Distributed Computing Systems, pp. 141–148, Pittsburgh, Pa, USA, May 1993.
  8. H. Yamaguchi, K. Okano, T. Higashino, and K. Taniguchi, “Protocol synthesis from time Petri net based service specifications,” in Proceedings of the Internatoinal Conference on Parallel and Distributed Systems (ICPADS '97), pp. 236–243, Seoul, South Korea, December 1997. View at Publisher · View at Google Scholar
  9. K. Saleh and R. Probert, “An extended service-oriented method for the synthesis of protocols,” in Proceedings of the 6th International Symposium on Information and Computer Sciences, pp. 547–557, Antalya, Turkey, October 1991.
  10. Y. Kakuda, M. Nakamura, and T. Kikuno, “Automated synthesis of protocol specifications from service specifications with parallelly executable multiple primitives,” IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E77-A, no. 10, pp. 1634–1645, 1994. View at Google Scholar
  11. B. B. Bista, K. Takahashi, and N. Shiratori, “Composition of service and protocol specifications,” in Proceedings of the 15th International Conference on Information Networking, pp. 171–178, Beppu City, Japan, January-February 2001. View at Publisher · View at Google Scholar
  12. N. Maneerat, R. Varakulsiripunth, D. Seki et al., “Composition method of communication system specifications in asynchronous model and its support system,” in Proceedings of the 9th IEEE International Conference on Networks, pp. 64–69, Bangkok, Thailand, October 2001. View at Publisher · View at Google Scholar
  13. H. Yamaguchi, K. El-Fakih, G. von Bochmann, and T. Higashino, “Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets,” Distributed Computing, vol. 16, no. 1, pp. 21–35, 2003. View at Publisher · View at Google Scholar
  14. N. Maneerat, R. Varakulsiripunth, B. B. Bista, K. Takahashi, Y. Kato, and N. Shiratori, “Composition of service and protocol specifications in asynchronous communication system,” IEICE Transactions on Information and Systems, vol. E87-D, no. 10, pp. 2306–2317, 2004. View at Google Scholar
  15. J. A. Dallal, “Automatic synthesis of timed protocol specifications from service specifications,” WSEAS Transactions on Computers, vol. 5, no. 1, pp. 105–112, 2006. View at Google Scholar
  16. N. Stakhanova, S. Basu, W. Zhang, X. Wang, and J. Wong, “Specification synthesis for monitoring and analysis of MANET protocols,” Tech. Rep. 07-02, Department of Computer Science, Iowa State University, Ames, Iowa, USA, 2007. View at Google Scholar
  17. T. Y. Choi, “Sequence method for protocol construction,” in Proceedings of the 6th IFIP International Symposium on Protocol Specification, Testing, and Verification, pp. 307–321, Gray Rocks Inn, Canada, 1986.
  18. Y. X. Zhang, K. Takahashi, N. Shiratori, and S. Noguchi, “An interactive protocol synthesis algorithm using a global state transition graph,” IEEE Transactions on Software Engineering, vol. 14, no. 3, pp. 394–404, 1988. View at Publisher · View at Google Scholar
  19. K. Saleh, Synthesis method for the design and validation of communication protocols, Ph.D. dissertation, University of Ottawa, Ottawa, Canada, 1991.