Skip to main content
SpringerLink
Log in

Modeling and survivability analysis of service composition using Stochastic Petri Nets

  • Published:
The Journal of Supercomputing Aims and scope Submit manuscript

Abstract

In this paper, we propose a service composition model method that supports quantitative computation based on Stochastic Petri Nets (SPN). It can capture the semantics of complex service combinations and their respective specifications. In this method, services are divided into interior services and exterior services. The exterior services will be published to the users, while the interior ones do not need to be published. Six equivalent simplified theorems which can be used to simplify the complex models of interior services to simple models of exterior services are presented. They enable the minimization of the state space of the model and make quantitative computation feasible. In addition, since Grid services are always affected by all kinds of churns in actual applications, we also research survivability and its main attributes for Grid service composition. The definition and computational methods based on the model are put forward. In the end, we use the method presented above to describe and analyze an example of travel Grid services successfully.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Mayer A, McGough S, Furmento N, Lee W, Gulamali M, Newhouse S, Darlington J (2004) Workflow expression: comparison of spatial and temporal approaches. In: Workflow in grid systems workshop, GGF-10, Berlin, March 2004

  2. Foster I, Kesselman C, Nick MJ, Tuecke S (2002) The physiology of the grid: an open grid services architecture for distributed systems integration. Technical report, Argonne National Laboratory

  3. Deelman E, Blythe J, Gil Y, Kesselman C (2003) Workflow management in GriPhyN. Grid resource management: state of the art and future trends, pp 99–116

  4. Laszewski G, Zaluzec N, Hategan M, Rossi A (2003) GridAnt: Client side workflow management in grids with application onto position resolved diffraction. Midwest Software Engineering Conference, Chicago, US, June 2003

  5. Alt M, Hoheisel A, Pohl HW, Gorlatch S (2006) A grid workflow language using high-level Petri nets. Lect Notes Comput Sci 3911:715–722

    Article  Google Scholar 

  6. Neubauer F, Hoheisel A, Geiler J (2006) Workflow-based grid applications. Future Gener Comput Syst 22(1–2):6–15

    Google Scholar 

  7. Laprie JC, Kaaniche M, Kanoun K (1995) Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets - application to dependability growth. In: Proceedings of the sixth international workshop on Petri nets and performance model (PNPM). October 1995, pp 221–230

  8. Barry DK (2008) Web Services Flow Language (WSFL). http://www.service-architecture.com/web-services/articles/web_services_flow_language_wsfl.html

  9. Jordan D, Evdemon J (2008) Web services business process execution language version 2.0. http://docs.oasis-open.org/wsbpel/2.0/CS01/wsbpel-v2.0-CS01.html, accessed on 10 November 2008

  10. Krishnan S, Wagstrom P, von Laszewski G (2002) GSFL: a workflow framework for grid services. In: Proc. SC’2002, pp 11–16

  11. van der Aalst WMP, Basten T (2002) Inheritance of workflows: an approach to tackling problems related to change. Theor Comput Sci 270(1–2):125–203

    Article  MATH  Google Scholar 

  12. Hull R (2003) E-service composition: models and formalisms. In: Proceedings of the 2003 international workshop on description logics (DL2003), 81:1–14

  13. Raman B, Agarwal S, Chen Y, Caesar M, Cui W (2002) The SAHARA model for service composition across multiple providers. Lect Notes Comput Sci 2414:585–597

    Google Scholar 

  14. Martin D, Paolucci M, McIlraith S, Burstein M, McDermott D, McGuinness D, Parsia B, Payne T, Sabou M, Solanki M, Srinivasan N, Sycara K (2005) Bringing semantics to web services: the OWL-S approach. In: 1st International workshop on semantic web services and web process composition (SWSWPC 2004). Lect Notes Comput Sci 3387:26–42

    Article  Google Scholar 

  15. WSMO Working Group D16.1v0.2 (2005) The Web Service Modeling Language WSML, March 2005

  16. Gronmo R, Jaeger MC (2005) Model-driven semantic web service composition. IEEE. Presented at the 12th Asia-Pacific software engineering conference (APSEC), Taipei, Taiwan. December 2005, pp 1–8

  17. Berardi D, Calvanese D, Giacomo GD, Hull R, Mecella M (2005) Automatic composition of web services in Colombo. SEBD, pp 8–15

  18. Zhovtobryukh D (2007) A Petri net-based approach for automated goal-driven web service composition. Simulation 83(1):33–63

    Article  Google Scholar 

  19. Motahari-Nezhad HR, Li J, Stephenson B, Graupner S, Singhal S (2009) Solution marketplace for service composition and integration. In: 3rd International workshop on web service composition and adaptation, Los Angeles, US, July 2009

  20. Hamadi R, Benatallah B (2003) A Petri net-based model for web service composition. The 14th Australasian Database conference, Adelaide, Australian, pp 191–200

  21. Peterson JL (1981) Petri net theory and the modeling of systems. Englewood Cliffs, Prentice-Hall

    Google Scholar 

  22. Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secure Comput 1(1):11–33

    Article  Google Scholar 

  23. Lin C, Qu Y, Ren FY, Marinescu DC (2002) Performance equivalent analysis of workflow systems based on stochastic Petri net models. International conference on engineering and deployment of cooperative information systems (EDCIS 2002). Lect Notes Comput Sci 2480:64–79

    Article  Google Scholar 

  24. Ciardo G, Trivedi KS (1993) A decomposition approach for stochastic reward net models. Perform Eval 18(1):37–59

    Article  MATH  MathSciNet  Google Scholar 

  25. Lin C, Marinescu DC (1988) Stochastic high level Petri nets and applications. IEEE Trans Comput 37(7):815–825

    Article  Google Scholar 

  26. Madan B, Goševa-Popstojanova K, Vaidyanathan K, Trivedi KS (2002) Modeling and quantification of security attributes of software systems. In: Proc. int’l conf. dependable systems and networks, pp 505–514

  27. Zhang R, Heisig S, Moyle S, McKeever S (2005) Ogsa-based grid workload monitoring. In: Proceedings of the 5th IEEE/ACM international symposium on cluster computing and the grid (CCGRID’05). Cardiff, UK, May 2005, pp 668–675

  28. Malhotra M, Trivedi KS (1995) Dependability modeling using Petri-nets. IEEE Trans Reliab 44(3):428–440

    Article  Google Scholar 

  29. Lin C, Wang YZ, Yang Y, Qu Y (2006) Research on network dependability analysis methods based on stochastic Petri net. Acta Electronica Sinica 34(2):322–332 (in Chinese)

    Google Scholar 

  30. Lin C, Wang Y, Li QL (2005) Stochastic modeling and evaluation for network security. Chin J Comput 28(12):1943–1956

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Technology, Tsinghua University, Beijing, 100084, China

    Yuanzhuo Wang, Chuang Lin, Peter D. Ungsunan & Xiaomeng Huang

Authors
  1. Yuanzhuo Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Chuang Lin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Peter D. Ungsunan
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Xiaomeng Huang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yuanzhuo Wang.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, Y., Lin, C., Ungsunan, P.D. et al. Modeling and survivability analysis of service composition using Stochastic Petri Nets. J Supercomput 56, 79–105 (2011). https://doi.org/10.1007/s11227-009-0343-0

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11227-009-0343-0

Keywords

Search

Navigation