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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
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
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
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
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
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
Neubauer F, Hoheisel A, Geiler J (2006) Workflow-based grid applications. Future Gener Comput Syst 22(1–2):6–15
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
Barry DK (2008) Web Services Flow Language (WSFL). http://www.service-architecture.com/web-services/articles/web_services_flow_language_wsfl.html
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
Krishnan S, Wagstrom P, von Laszewski G (2002) GSFL: a workflow framework for grid services. In: Proc. SC’2002, pp 11–16
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
Hull R (2003) E-service composition: models and formalisms. In: Proceedings of the 2003 international workshop on description logics (DL2003), 81:1–14
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
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
WSMO Working Group D16.1v0.2 (2005) The Web Service Modeling Language WSML, March 2005
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
Berardi D, Calvanese D, Giacomo GD, Hull R, Mecella M (2005) Automatic composition of web services in Colombo. SEBD, pp 8–15
Zhovtobryukh D (2007) A Petri net-based approach for automated goal-driven web service composition. Simulation 83(1):33–63
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
Hamadi R, Benatallah B (2003) A Petri net-based model for web service composition. The 14th Australasian Database conference, Adelaide, Australian, pp 191–200
Peterson JL (1981) Petri net theory and the modeling of systems. Englewood Cliffs, Prentice-Hall
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
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
Ciardo G, Trivedi KS (1993) A decomposition approach for stochastic reward net models. Perform Eval 18(1):37–59
Lin C, Marinescu DC (1988) Stochastic high level Petri nets and applications. IEEE Trans Comput 37(7):815–825
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
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
Malhotra M, Trivedi KS (1995) Dependability modeling using Petri-nets. IEEE Trans Reliab 44(3):428–440
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)
Lin C, Wang Y, Li QL (2005) Stochastic modeling and evaluation for network security. Chin J Comput 28(12):1943–1956
Author information
Authors and Affiliations
Corresponding author
Rights 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
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11227-009-0343-0