Biblio

Export 5 results:
Author Title [ Type(Asc)] Year
Filters: Author is Yingmin Li  [Clear All Filters]
Thesis
Y. Li, “Diagnosis of Large Software Systems Based on Colored Petri Nets”, Université Paris Sud, 2010.
Journal Article
W. S. DIAMOND-Consortium, Dague, (P., Li, Y., and co-authors), x36other, “WS-DIAMOND: Web Services – DIAgnosability, MONitoring, and Diagnosis”, At Your Service: Service-Oriented Computing from An EU Perspective, pp. 213-239, 2009.
Conference Paper
Y. Li, Melliti, T., Ye, L., and Dague, P., “A decentralized model-based diagnosis for BPEL services”, in Proc. of International Conference on Tools with Artificial Intelligence (ICTAI), 2009.
Y. Li, Melliti, T., and Dague, P., “A colored Petri nets model for the diagnosis of semantic faults of BPEL services”, in Proc. of International Workshop on Petri Nets and Software Engineering (PNSE), 2009.
Y. Li, Melliti, T., and Dague, P., “A colored Petri nets model for diagnosing data faults of BPEL services”, in Proc. of International Workshop on Principles of Diagnosis (DX), 2009.