Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2015, Article ID 383846, 20 pages
http://dx.doi.org/10.1155/2015/383846
Research Article

Modeling Message Queueing Services with Reliability Guarantee in Cloud Computing Environment Using Colored Petri Nets

Jing Li,1,2,3 Yidong Cui,2 and Yan Ma4

1State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China
2School of Software Engineering, Beijing University of Posts and Telecommunications, Beijing 100876, China
3School of Electronic Information Engineering, Qiongzhou University, Sanya 572022, China
4Institute of Network Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China

Received 11 October 2014; Revised 30 March 2015; Accepted 2 April 2015

Academic Editor: Antonino Laudani

Copyright © 2015 Jing Li et al. 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. W. Emmerich, M. Aoyama, and J. Sventek, “The impact of research on the development of middleware technology,” ACM Transactions on Software Engineering and Methodology, vol. 17, p. 48, 2008. View at Publisher · View at Google Scholar · View at Scopus
  2. Apache ActiveMQ, June, http://activemq.apache.org/index.html.
  3. Rabbit MQ, http://www.rabbitmq.com/features.html.
  4. The Kafka Project, http://www.kafka.org/.
  5. Message Queuing (MSMQ), https://msdn.microsoft.com/en-us/library/ms711472%28v=vs.85%29.aspx.
  6. M. Armbrust, A. Fox, R. Griffith et al., “A view of cloud computing,” Communications of the ACM, vol. 53, no. 4, pp. 50–58, 2010. View at Publisher · View at Google Scholar · View at Scopus
  7. L. M. Vaquero, L. Rodero-Merino, J. Caceres, and M. Lindner, “A break in the clouds: towards a cloud definition,” ACM SIGCOMM Computer Communication Review, vol. 39, no. 1, pp. 50–55, 2009. View at Publisher · View at Google Scholar
  8. M. D. Dikaiakos, D. Katsaros, P. Mehra, G. Pallis, and A. Vakali, “Cloud computing: distributed internet computing for IT and scientific research,” IEEE Internet Computing, vol. 13, no. 5, pp. 10–11, 2009. View at Publisher · View at Google Scholar · View at Scopus
  9. Amazon Simple Queue Service, http://docs.aws.amazon.com/zh_cn/AWSSimpleQueueService/latest/SQSDeveloperGuide/Welcome.html.
  10. Windows Azure Queue, June, http://download.microsoft.com/download/5/2/D/52D36345-BB08-4518-A024-0AA24D47BD12/Windows%20Azure%20Queue%20-%20Dec%202008.docx.
  11. K. Sachs, S. Kounev, and A. Buchmann, “Performance modeling and analysis of message-oriented event-driven systems,” Software and Systems Modeling, vol. 12, no. 4, pp. 705–729, 2013. View at Publisher · View at Google Scholar · View at Scopus
  12. L. L. Ferreira, M. Albano, and L. M. Pinho, “QoS enabled middleware for real-time industrial control systems,” in Proceedings of the IEEE 18th International Conference on Emerging Technologies & Factory Automation (ETFA '13), pp. 1–4, September 2013. View at Publisher · View at Google Scholar · View at Scopus
  13. C. U. Smith, Performance Engineering of Software Systems, Addison-Wesley, Reading, Mass, USA, 1990.
  14. S. Balsamo, A. Di Marco, P. Inverardi, and M. Simeoni, “Model-based performance prediction in software development: a survey,” IEEE Transactions on Software Engineering, vol. 30, no. 5, pp. 295–310, 2004. View at Publisher · View at Google Scholar · View at Scopus
  15. H. Koziolek, “Performance evaluation of component-based software systems: a survey,” Performance Evaluation, vol. 67, no. 8, pp. 634–658, 2010. View at Publisher · View at Google Scholar · View at Scopus
  16. M. Woodside, G. Franks, and D. C. Petriu, “The future of software performance engineering,” in Future of Software Engineering (FoSE '07), pp. 171–187, Minneapolis, Minn, USA, May 2007. View at Publisher · View at Google Scholar · View at Scopus
  17. K. Jensen, L. M. Kristensen, and L. L. M. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems, Springer, Berlin, Germany, 2009.
  18. K. Jensen, L. M. Kristensen, and L. Wells, “Coloured Petri Nets and CPN tools for modelling and validation of concurrent systems,” International Journal on Software Tools for Technology Transfer, vol. 9, no. 3-4, pp. 213–254, 2007. View at Publisher · View at Google Scholar · View at Scopus
  19. S. Becker, H. Koziolek, and R. Reussner, “Model-based performance prediction with the palladio component model,” in Proceedings of the 6th International Workshop on Software and Performance (WOPS '07), pp. 54–65, ACM, Buenos Aires, Argentina, February 2007. View at Publisher · View at Google Scholar · View at Scopus
  20. J. Happe, H. Friedrich, S. Becker, and R. H. Reussner, “A pattern-based performance completion for message-oriented middleware,” in Proceedings of the 7th International Workshop on Software and Performance (WOSP '08), pp. 165–176, Princeton, NJ, USA, June 2008. View at Publisher · View at Google Scholar · View at Scopus
  21. M. Woodside, D. Petriu, and K. Siddiqui, “Performance-related completions for software specifications,” in Proceedings of the 24th International Conference on Software Engineering (ICSE '02), pp. 22–32, Orlando, Fla, USA, May 2002. View at Scopus
  22. C. Rathfelder and S. Kounev, “Modeling event-driven service-oriented systems using the palladio component model,” in Proceedings of the 1st International Workshop on Quality of Service-Oriented Software Systems, pp. 33–38, Amsterdam, The Netherlands, 2009.
  23. J. Happe, S. Becker, C. Rathfelder, H. Friedrich, and R. H. Reussner, “Parametric performance completions for model-driven performance prediction,” Performance Evaluation, vol. 67, no. 8, pp. 694–716, 2010. View at Publisher · View at Google Scholar · View at Scopus
  24. S. Kounev, S. Spinner, and P. Meier, “Introduction to queueing petri nets: modeling formalism, tool support and case studies,” in Proceedings of the 3rd Joint WOSP/SIPEW International Conference on Performance Engineering (ICPE '12), pp. 9–18, April 2012. View at Publisher · View at Google Scholar · View at Scopus
  25. A. Piórkowski and J. Werewka, “Minimization of the total completion time for asynchronous transmission in a packet data-transmission system,” International Journal of Applied Mathematics and Computer Science, vol. 20, no. 2, pp. 391–400, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  26. N. L. Tran, S. Skhiri, and E. Zimányi, “EQS: an elastic and scalable message queue for the cloud,” in Proceedings of the 3rd IEEE International Conference on Cloud Computing Technology and Science (CloudCom '11), pp. 391–398, Athens, Greece, December 2011. View at Publisher · View at Google Scholar · View at Scopus
  27. H. Chen, F. Ye, M. Kim, and H. Lei, “A scalable cloud-based queuing service with improved consistency levels,” in Proceedings of the 30th IEEE International Symposium on Reliable Distributed Systems (SRDS '11), pp. 229–234, October 2011. View at Publisher · View at Google Scholar · View at Scopus
  28. A. Lakshman and P. Malik, “Cassandra—a decentralized structured storage system,” Operating Systems Review (ACM), vol. 44, pp. 35–40, 2010. View at Google Scholar
  29. Z. Zhang, Y. Wang, H. Chen, M. Kim, J. M. Xu, and H. Lei, “A cloud queuing service with strong consistency and high availability,” IBM Journal of Research and Development, vol. 55, no. 6, pp. 10:1–10:12, 2011. View at Publisher · View at Google Scholar
  30. WebSphere eXtreme Scale, http://www-03.ibm.com/software/products/en/websphere-extreme-scale.
  31. R. C. Taylor, “An overview of the Hadoop/MapReduce/HBase framework and its current applications in bioinformatics,” BMC Bioinformatics, vol. 11, no. 12, article S1, 2010. View at Publisher · View at Google Scholar · View at Scopus
  32. C. Zhang and X. Liu, “HBaseMQ: a distributed message queuing system on clouds with HBase,” in Proceedings of the 32nd IEEE Conference on Computer Communications (INFOCOM '13), pp. 40–44, Turin, Italy, April 2013. View at Publisher · View at Google Scholar · View at Scopus
  33. D. Patel, F. Khasib, I. Sadooghi, and I. Raicu, “Towards in-order and exactly-once delivery using hierarchical distributed message queues,” in Proceedings of the 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid '14), pp. 883–892, IEEE, Chicago, Ill, USA, May 2014. View at Publisher · View at Google Scholar
  34. I. Sadooghi, S. Palur, A. Anthony et al., “Achieving efficient distributed scheduling with message queues in the cloud for many-task computing and high-performance computing,” in Proceedings of the 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid '14), pp. 404–413, Chicago, Ill, USA, May 2014. View at Publisher · View at Google Scholar
  35. P. Szilágyi, “Iris: a decentralized approach to backend messaging middlewares,” Computer Science and Information Systems, vol. 11, no. 2, pp. 549–567, 2014. View at Publisher · View at Google Scholar
  36. T. Murata, “Petri nets: properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580, 1989. View at Publisher · View at Google Scholar · View at Scopus
  37. L. C. Paulson, ML for the Working Programmer, Cambridge University Press, 1996.
  38. S. Choosang and S. Gordon, “A coloured Petri Net methodology and library for security analysis of network protocols,” Journal of Computers, vol. 9, no. 2, pp. 243–256, 2014. View at Publisher · View at Google Scholar
  39. L. He, C. Huang, K. Duan et al., “Modeling and analyzing the impact of authorization on workflow executions,” Future Generation Computer Systems, vol. 28, no. 8, pp. 1177–1193, 2012. View at Publisher · View at Google Scholar · View at Scopus
  40. S. H. Zegordi and H. Davarzani, “Developing a supply chain disruption analysis model: application of colored Petri-nets,” Expert Systems with Applications, vol. 39, no. 2, pp. 2102–2111, 2012. View at Publisher · View at Google Scholar · View at Scopus
  41. K. M. Ng, M. B. I. Reaz, and M. A. M. Ali, “A review on the applications of Petri nets in modeling, analysis, and control of urban traffic,” IEEE Transactions on Intelligent Transportation Systems, vol. 14, no. 2, pp. 858–870, 2013. View at Publisher · View at Google Scholar · View at Scopus
  42. W. M. van der Aalst, C. Stahl, and M. Westergaard, “Strategies for modeling complex processes using colored Petri Nets,” in Transactions on Petri Nets and Other Models of Concurrency VII, pp. 6–55, Springer, 2013. View at Google Scholar
  43. K. Jensen, “An introduction to the theoretical aspects of coloured Petri nets,” in A Decade of Concurrency Reflections and Perspective, vol. 803 of Lecture Notes in Computer Science, pp. 230–272, Springe, Berlin, Germany, 1994. View at Publisher · View at Google Scholar · View at MathSciNet
  44. C. Lu, Queueing Theory, Beijing University of Posts and Telecommunications Press, 2nd edition, 2009.
  45. N. Tanabe and A. Ohta, “Network interface architecture with scalable low-latency message receiving mechanism,” IEICE Transactions on Information and Systems, vol. E96D, no. 12, pp. 2536–2544, 2013. View at Publisher · View at Google Scholar · View at Scopus
  46. T. Pongthawornkamol, K. Nahrstedt, and G. Wang, “Probabilistic QoS modeling for reliability/timeliness prediction in distributed content-based publish/subscribe systems over best-effort networks,” in Proceedings of the 7th International Conference on Autonomic Computing, Washington, DC, USA, 2010.
  47. S. Kounev, “Performance modeling and evaluation of distributed component-based systems using queueing Petri nets,” IEEE Transactions on Software Engineering, vol. 32, no. 7, pp. 486–502, 2006. View at Publisher · View at Google Scholar · View at Scopus