Behavioral Analysis of Service Composition Patterns in ECBS Using Petri-Net-Based Approach

  • Gitosree KhanEmail author
  • Anirban Sarkar
  • Sabnam Sengupta
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 995)


The service composition and scheduling activities are facing performance and complexity issues because of (a) large number of heterogeneous clouds, (b) integrating various service components into composite service. In order to facilitate such issues, the advent of automatic dynamic web service composition and scheduling methodology is required, such that the current trends of problem like service reusability, flexibility, statelessness, efficiency, etc. can be addressed. This work focus on the web service composition process in multi-cloud architecture, where various types of service composition patterns are discussed. The service composition patterns are classified according to the degree of heterogeneity of the services. It also helps to design the dynamic facets of composition patterns using Enterprise Service Composition Petri net (ESCP) model. Further, using the concepts of ESCP model and the reachability graph, several key properties like safeness, boundedness, fairness, etc. are analyzed formally.


Enterprise cloud bus Service composition Behavioral analysis Colored Petri net Deadlock Reachability 


  1. 1.
    Khan, G., Sengupta, S., Sarkar, A., Debnath, N.C.: Modeling of inter-cloud architecture using UML 2.0: multi-agent abstraction based approach. In: 23rd International Conference on Software Engineering and Data Engineering (SEDE), pp. 149–154 (2014)Google Scholar
  2. 2.
    Khan, G., Sengupta, S., Sarkar, A., Debnath, N.C.: Web service discovery in enterprise cloud bus framework: T vector based model. In: 13th IEEE International Conference on Industrial Informatics (INDIN), pp. 1672–1677 (2015)Google Scholar
  3. 3.
    Khan, G., Sengupta, S., Sarkar, A.: Priority based service scheduling in enterprise cloud bus architecture. In: IEEE International Conference on Foundations and Frontiers in Computer, Communication and Electrical Engineering (C2E2 2016), SKFGI, Mankundu, India, pp. 363–368 (2016)CrossRefGoogle Scholar
  4. 4.
    Khan, G., Sengupta, S. Sarkar, A.: Behavioral modeling of enterprise cloud bus system: high level petri net based approach. In: (SERSC), International Journal of Software Engineering and Its Applications (IJSEIA), Vol. 11, no. 7 (2017), pp. 13–30 (2017)CrossRefGoogle Scholar
  5. 5.
    Huhns, M.N., Singh, M.P.: Service-oriented computing: key concepts and principles. IEEE Internet Comput. 9(1), 75–81 (2005)CrossRefGoogle Scholar
  6. 6.
    Arsanjani, A.: Service oriented modeling and architecture. IBM Developer Works, pp. 1–15 (2004)Google Scholar
  7. 7.
    Alexandros, K., Aggelos, G., Vassilis, S., Lampros, K., Magdalinos, P., Antoniou, E., Politopoulou, Z.: A cloud-based farm management system: architecture and implementation. J. Comput. Electron. Agric. 100, 168–179 (2014)CrossRefGoogle Scholar
  8. 8.
    Chang, S.H., La, H.J., Bae, J.S., Jeon, W.Y., Kim, S.D.: Design of a dynamic composition handler for esb-based services. In: IEEE International Conference on e-Business Engineering, (ICEBE 2007), pp. 287–294 (2007)Google Scholar
  9. 9.
    Dubey, S., Agrawal, S.: QoS driven task scheduling in cloud computing. Int. J. Comput. Appl. Technol. Res. 2(5), 595–meta (2013)CrossRefGoogle Scholar
  10. 10.
    Kuzu, M., Cicekli, N.K.: Dynamic planning approach to automated web service composition. Appl. Intell. 36(1), 1–28 (2012)CrossRefGoogle Scholar
  11. 11.
    Gutierrez-Garcia, J.O., Sim, K.M.: Self-organizing agents for service composition in cloud computing. In: IEEE Second International Conference on Cloud Computing Technology and Science (CloudCom), pp. 59–66 (2010)Google Scholar
  12. 12.
    Ghanbari, S., Othman, M.: A priority based job scheduling algorithm in cloud computing. Procedia Eng. 50, 778–785 (2012)CrossRefGoogle Scholar
  13. 13.
    Azgomi, M.A., Entezari-Maleki, R.: Task scheduling modelling and reliability evaluation of grid services using coloured Petri nets. Future Gen. Comput. Syst. 26(8), 1141–1150 (2010)CrossRefGoogle Scholar
  14. 14.
    Hu, H., Li, Z.: Modeling and scheduling for manufacturing grid workflows using timed Petri nets. Int. J. Adv. Manuf. Technol. 42(5–6), 553–568 (2009)CrossRefGoogle Scholar
  15. 15.
    Yang, Y., Tan, Q., Xiao, Y.: Verifying web services composition based on hierarchical colored petri nets. In: Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems, pp. 47–54 (2005)Google Scholar
  16. 16.
    Jun, Z., Ngan, W.H., Junfeng, L., Jie, W., Xiaoming, Y.: Colored petri nets modeling of multi-agent system for energy management in distributed renewable energy generation system. In: Asia-Pacific Power and Energy Engineering Conference (APPEEC), pp. 28–31 (2010)Google Scholar

Copyright information

© Springer Nature Singapore Pte Ltd. 2020

Authors and Affiliations

  • Gitosree Khan
    • 1
    Email author
  • Anirban Sarkar
    • 2
  • Sabnam Sengupta
    • 1
  1. 1.B.P. Poddar Institute of Management and TechnologyKolkataIndia
  2. 2.National Institute of TechnologyDurgapurIndia

Personalised recommendations