caa a22 4500 445851953 CHVBK 20180317145416.0 cr unu---uuuuu 170323e20110401xx s 000 0 eng 10.1007/s11227-009-0343-0 doi (NATIONALLICENCE)springer-10.1007/s11227-009-0343-0 Modeling and survivability analysis of service composition using Stochastic Petri Nets [Elektronische Daten] [Yuanzhuo Wang, Chuang Lin, Peter Ungsunan, Xiaomeng Huang] 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. Springer Science+Business Media, LLC, 2009 Service composition nationallicence Grid nationallicence Survivability nationallicence Stochastic Petri Net nationallicence Fault tolerance nationallicence Wang Yuanzhuo Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China aut Lin Chuang Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China aut Ungsunan Peter Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China aut Huang Xiaomeng Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China aut The Journal of Supercomputing Springer US; http://www.springer-ny.com 56/1(2011-04-01), 79-105 0920-8542 56:1<79 2011 56 11227 https://doi.org/10.1007/s11227-009-0343-0 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11227-009-0343-0 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Wang Yuanzhuo Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China aut NATIONALLICENCE 700 1- Lin Chuang Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China aut NATIONALLICENCE 700 1- Ungsunan Peter Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China aut NATIONALLICENCE 700 1- Huang Xiaomeng Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China aut NATIONALLICENCE 773 0- The Journal of Supercomputing Springer US; http://www.springer-ny.com 56/1(2011-04-01), 79-105 0920-8542 56:1<79 2011 56 11227 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer