Abstract | ||
---|---|---|
The paper proposes a decentralized diagnosis approach for a set of choreographed BPEL Web services, where a local diagnoser is associated to each BPEL service and cooperates with a coordinator. The local diagnosis is based on a Colored Petri Nets model enriched with I/O data dependency relations represented with color propagation functions (A preliminary version of centralized local diagnosis has been presented in). By applying the multiset marking calculation equation, a diagnosis inequations system is constructed and solved to retrieve a local diagnosis. The coordinator updates the global diagnosis until reaching a final consistency. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1109/ICTAI.2009.77 | ICTAI |
Keywords | Field | DocType |
global diagnosis,o data dependency relation,colored petri nets model,bpel service,decentralized model-based diagnosis,retrieve local diagnosis,web services,petri nets,local diagnosis,decentralized model based diagnosis,local diagnoser,reaching final consistency,web service,input-output programs,centralized local diagnosis,choreographed bpel web service,colored petri nets,marking calculation equation,color propagation functions,model-based diagnosis,multivariable systems,decentralized diagnosis approach,bpel web services,bpel services,bpel,diagnosis inequations system,/o data dependency,color,chromium,nickel,data models,data mining | Data modeling,Data dependency,Petri net,Multiset,Computer science,Colored petri,Business Process Execution Language,Web service,Distributed computing | Conference |
ISSN | ISBN | Citations |
1082-3409 E-ISBN : 978-0-7695-3920-1 | 978-0-7695-3920-1 | 4 |
PageRank | References | Authors |
0.40 | 9 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yingmin Li | 1 | 262 | 17.93 |
Lina Ye | 2 | 26 | 8.75 |
Philippe Dague | 3 | 248 | 28.20 |
Tarek Melliti | 4 | 119 | 9.54 |