Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers
A decomposition approach for stochastic reward net models
Performance Evaluation
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
The SAHARA Model for Service Composition across Multiple Providers
Pervasive '02 Proceedings of the First International Conference on Pervasive Computing
Modeling and Quantification of Security Attributes of Software Systems
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Workflow management in GriPhyN
Grid resource management
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Model-Driven Semantic Web Service Composition
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
OGSA-based grid workload monitoring
CCGRID '05 Proceedings of the Fifth IEEE International Symposium on Cluster Computing and the Grid (CCGrid'05) - Volume 2 - Volume 02
Solution Reuse for Service Composition and Integration
SERVICES '09 Proceedings of the 2009 Congress on Services - I
Workflow-based Grid applications
Future Generation Computer Systems
A grid workflow language using high-level petri nets
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Bringing semantics to web services: the OWL-S approach
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Quantitative analysis for privacy leak software with privacy Petri net
Proceedings of the ACM SIGKDD Workshop on Intelligence and Security Informatics
Model of opinion interactions base on evolutionary game in social network
ICIC'13 Proceedings of the 9th international conference on Intelligent Computing Theories and Technology
International Journal of Automation and Computing
Colored Petri Net model with automatic parallelization on real-time multicore architectures
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
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.