Abstract | ||
---|---|---|
Service composition is an important means for integrating the individual Web services for creating new value added systems. However, Web service runs in the heterogeneous environments on the Internet, it is difficult to guarantee the reliability of service composition. To address this problem, we propose a systematic method to model and analyze reliability for service composition. First, we present a formal description language to model the different components of service composition, and use it to analyze the reliability of service composition. Second, we propose reliability assurance strategy to ensure that service composition dynamically meet the required reliability. Third, we present operational semantics and related theories of Petri nets for establishing the correctness of our proposed method. We have also performed a series of simulations to evaluate our proposed approach. Results show that the method can help reveal the structural and behavioral characteristics of service composition, and improve the reliability of service composition. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/APSEC.2014.22 | APSEC (1) |
Keywords | Field | DocType |
formal description language,web services,petri nets,software reliability,formal modeling,internet,reliability,service composition,service composition reliability,evaluation,reliability theory,silicon | Operational semantics,Petri net,Systems engineering,Computer science,Correctness,Software,Web service,Software quality,Reliability engineering,Reliability theory,The Internet | Conference |
Volume | ISSN | Citations |
1 | 1530-1362 | 0 |
PageRank | References | Authors |
0.34 | 14 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Guisheng Fan | 1 | 91 | 25.45 |
Huiqun Yu | 2 | 106 | 21.74 |
Liqiong Chen | 3 | 75 | 19.61 |
Dongmei Liu | 4 | 75 | 12.42 |