Journal of Computer Systems, Networks, and Communications
Volume 2008 (2008), Article ID 794960, 13 pages
doi:10.1155/2008/794960
Research Article

Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Jehad Al Dallal and Kassem Saleh

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.
  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.
  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.
  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.
  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.
  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.
  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.
  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.
  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.
  16. N. Stakhanova, S. Basu, W. Zhang, X. Wang, and J. Wong, “Specification synthesis for monitoring and analysis of MANET protocols,” Department of Computer Science, Iowa State University, Ames, Iowa, USA, 2007.
  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.
  19. K. Saleh, Synthesis method for the design and validation of communication protocols, Ph.D. dissertation, University of Ottawa, Ottawa, Canada, 1991.