Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking.

Chengyang Mi, Huaikou Miao, Jinyu Kai, Honghao Gao

Browse the full SERA paper archive.