{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:53:18Z","timestamp":1725490398375},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540747819"},{"type":"electronic","value":"9783540747826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74782-6_4","type":"book-chapter","created":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T14:51:49Z","timestamp":1188053509000},"page":"24-35","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Diagnosability Analysis for Web Services"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Bocconi","sequence":"first","affiliation":[]},{"given":"Claudia","family":"Picardi","sequence":"additional","affiliation":[]},{"given":"Xavier","family":"Pucel","sequence":"additional","affiliation":[]},{"given":"Daniele","family":"Theseider Dupr\u00e9","sequence":"additional","affiliation":[]},{"given":"Louise","family":"Trav\u00e9-Massuy\u00e8s","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Console, L., Picardi, C., Theseider Dupr\u00e9, D.: A framework for decentralized qualitative model-based diagnosis. In: IJCAI-07. Proc. 20th Int. Joint Conference on Artificial Intelligence (2007)"},{"key":"4_CR2","volume-title":"Proceedings of the 3rd IEEE European Conference on Web Services","author":"L. Ardissono","year":"2005","unstructured":"Ardissono, L., Console, L., Goy, A., Petrone, G., Picardi, C., Segnan, M., Theseider Dupr\u00e9, D.: Enhancing Web Services with diagnostic capabilities. In: Proceedings of the 3rd IEEE European Conference on Web Services, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"4_CR3","volume-title":"Proceedings of the 3rd IEEE European Conference on Web Services","author":"Y. Yan","year":"2005","unstructured":"Yan, Y., Cordier, M.O., Pencol\u00e9, Y., Grastien, A.: Monitoring web service networks in a model-based approach. In: Proceedings of the 3rd IEEE European Conference on Web Services, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"4_CR4","unstructured":"Mayer, W., Stumptner, M.: Debugging failures in web services coordination. In: DX 2006. Proceedings of the 17th International Workshop on Principles of Diagnosis, pp. 171\u2013179 (2006)"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201396 (1987)","journal-title":"Artificial Intelligence"},{"key":"4_CR6","unstructured":"Pencole, Y.: Diagnosability analysis of distributed discrete event systems. In: 16th European Conference on Artificial Intelligence, 4th edn., pp. 43\u201347 (2004)"},{"key":"4_CR7","unstructured":"Schumann, A., Pencol\u00e9, Y.: Scalable diagnosability checking of event-driven systems. In: IJCAI 2007, pp. 575\u2013580 (2007)"},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M. Sampath","year":"1995","unstructured":"Sampath, M., Sengputa, R., Lafortune, S., Sinnamohideen, K., Teneketsis, D.: Diagnosability of discrete-event systems. IEEE Trans. AC\u00a040, 1555\u20131575 (1995)","journal-title":"IEEE Trans. AC"},{"key":"4_CR9","unstructured":"Cimatti, A., Pecheur, C., Cavada, R.: Formal verification of diagnosability via symbolic model checking. In: Proceedings of IJCAI 2003, pp. 363\u2013369 (2003)"},{"issue":"8","key":"4_CR10","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S. Jiang","year":"2001","unstructured":"Jiang, S., Huang, Z., Chandra, V., Kumar, R.: A polynomial time algorithm for diagnosability of discrete event systems. IEEE Trans. AC\u00a046(8), 1318\u20131321 (2001)","journal-title":"IEEE Trans. AC"},{"key":"4_CR11","unstructured":"Struss, P., Dressler, O.: A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics. In: DX 2003. Proceedings of the 14th International Workshop on Principles of Diagnosis (2003)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Trav\u00e9-Massuy\u00e8s, L., Escobet, T., Olive, X.: Diagnosability analysis based on component supported analytical redundancy relations. IEEE Trans. SMC, Part A\u00a036(6) (2006)","DOI":"10.1109\/TSMCA.2006.878984"},{"issue":"5","key":"4_CR13","doi-asserted-by":"publisher","first-page":"2163","DOI":"10.1109\/TSMCB.2004.835010","volume":"34","author":"M.O. Cordier","year":"2004","unstructured":"Cordier, M.O., Dague, P., L\u00e9vy, F., Montmain, J., Staroswiecki, M., Trav\u00e9-Massuy\u00e8s, L.: Conflicts versus analytical redundancy relations: A comparative analysis of the model-based diagnostic approach from the artificial intelligence and automatic control perspectives. IEEE Trans. SMC. Part B.\u00a034(5), 2163\u20132177 (2004)","journal-title":"IEEE Trans. SMC. Part B."},{"key":"4_CR14","unstructured":"Cordier, M.O., Trav\u00e9-Massuy\u00e8s, L., Pucel, X.: Comparing diagnosability in continuous and discrete-event systems. In: DX 2006. Proceedings of the 17th International Workshop on Principles of Diagnosis, pp. 55\u201360 (2006)"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2007: Artificial Intelligence and Human-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74782-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:38:39Z","timestamp":1619519919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74782-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540747819","9783540747826"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74782-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}