Web service composition based on bounded model checking

2011 ◽  
Author(s):  
Zhi Fang ◽  
Lejian Liao ◽  
Ruoyu Chen
Keyword(s):  
Model Checking ◽  
Web Service ◽  
Service Composition ◽  
Bounded Model Checking ◽  
Web Service Composition

An Efficient Bounded Model Checking Approach for Web Service Composition

2020 ◽  
Author(s):  
Yuanzhang Li ◽  
Dongyan Ma ◽  
Chen Liu ◽  
Wencong Han ◽  
Hongwei Jiang ◽  
...  
Keyword(s):  
Model Checking ◽  
Web Service ◽  
Service Composition ◽  
Bounded Model Checking ◽  
Web Service Composition

Web Service Composition Verification of Safety Properties: An Approach Based on Predicate Abstraction

2013 ◽  
Vol 753-755 ◽  
pp. 2892-2899
Author(s):  
Yu Ying Wang ◽  
Ping Chen
Keyword(s):  
Model Checking ◽  
State Space ◽  
Web Service ◽  
Petri Net ◽  
Service Composition ◽  
Web Service Composition ◽  
Predicate Abstraction ◽  
Colored Petri Net ◽  
Safety Properties ◽  
State Space Explosion

The biggest problem in model checking is state space explosion. Using predicate abstraction, state space of colored Petri net models were abstracted, and an algorithm was proposed to obtain the abstracted state space of a colored Petri net model without its original state space generated. A method to verify safety properties of Web service composition by abstracted state space was proposed. The problem of state space explosion is solved to some extend in this way. Finally an application of the method is illustrated with an example, which its efficiency shown.

Sign in / Sign up

Export Citation Format

Share Document