Modeling and survivability analysis of service composition using Stochastic Petri Nets

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...

Full description

Saved in:
Bibliographic Details
Published in:The Journal of supercomputing 2011-04, Vol.56 (1), p.79-105
Main Authors: Wang, Yuanzhuo, Lin, Chuang, Ungsunan, Peter D., Huang, Xiaomeng
Format: Article
Language:English
Subjects:
Compilers
Computation
Computer Science
Equivalence
Exteriors
Interpreters
Mathematical models
Petri nets
Processor Architectures
Programming Languages
Semantics
Stochasticity
Survivability
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0920-8542
1573-0484
DOI:10.1007/s11227-009-0343-0