{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:52:25Z","timestamp":1771703545971,"version":"3.50.1"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,3,20]],"date-time":"2010-03-20T00:00:00Z","timestamp":1269043200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Parallel Databases"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s10619-010-7061-8","type":"journal-article","created":{"date-parts":[[2010,3,19]],"date-time":"2010-03-19T14:02:41Z","timestamp":1269007361000},"page":"255-270","source":"Crossref","is-referenced-by-count":3,"title":["Backward validation of communicating complex state machines in web services environments"],"prefix":"10.1007","volume":"27","author":[{"given":"Farah","family":"Zoubeyr","sequence":"first","affiliation":[]},{"given":"Abdelkamel","family":"Tari","sequence":"additional","affiliation":[]},{"given":"Aris M.","family":"Ouksel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,3,20]]},"reference":[{"key":"7061_CR1","unstructured":"Choi, T.Y.: A structured approach to the analysis and design of finite state protocols. Ph.D.Thesis, School of Electrical Engineering, Georgia Institute of Technology (1983)"},{"key":"7061_CR2","doi-asserted-by":"crossref","unstructured":"Gouda, M.G., Yu, Y.T.: Protocol validation by maximal progress state exploration. In: Proceedings of ACM SIGCOMM, pp.\u00a068\u201375 (1983)","DOI":"10.1145\/1024840.1035255"},{"issue":"5","key":"7061_CR3","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1145\/55483.55496","volume":"17","author":"F.J. Lin","year":"1987","unstructured":"Lin, F.J., Chu, P.M., Liu, M.T.: Protocol verification using reachability analysis: the state space explosion problem and relief strategies. Comput. Commun. Rev. 17(5), 126\u2013143 (1987)","journal-title":"Comput. Commun. Rev."},{"issue":"3","key":"7061_CR4","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1145\/117009.117015","volume":"13","author":"W. Peng","year":"1991","unstructured":"Peng, W., Purushothaman, S.: Data flow analysis of communicating finite state machines. ACM Trans. Program. Lang. Syst. 13(3), 399\u2013442 (1991)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"9","key":"7061_CR5","first-page":"88","volume":"23","author":"Y.C. Hung","year":"1993","unstructured":"Hung, Y.C., Chen, G.H.: Reverse reachability analysis: a new technique for deadlock detection on communicating finite state machines. Softw. Pract. Exp. 23(9), 88\u201393 (1993)","journal-title":"Softw. Pract. Exp."},{"key":"7061_CR6","unstructured":"Ozdemir, K.: Verifying the safety properties of concurrent systems via simultaneous reachability, Ph.D. Thesis, Department of CSI, University of Ottawa (1995)"},{"key":"7061_CR7","unstructured":"Hans, V.S., Hasan, U.: A uniform approach to tackle state explosion in verifying progress properties for networks of CFSMs*. Department of Computer Science, University of Ottawa, TR-96-13, November 1996"},{"issue":"9","key":"7061_CR8","doi-asserted-by":"crossref","first-page":"772","DOI":"10.1016\/S0140-3664(97)00075-3","volume":"20","author":"K. Ozdemir","year":"1997","unstructured":"Ozdemir, K., Ural, H.: Protocol validation by simultaneous reachability analysis. Comput. Commun. 20(9), 772\u2013788 (1997)","journal-title":"Comput. Commun."},{"key":"7061_CR9","unstructured":"Tari, Z., Arora, P.: A communication protocol validation approach based on partial exploration of complex state machines, ICDCIT (2007)"},{"key":"7061_CR10","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite state machines. Technical report, RZ 1053, IBM Zurich Research Lab., Riischlikon, Switzerland, January 1981"},{"key":"7061_CR11","doi-asserted-by":"crossref","unstructured":"Pelanek, R., Hanzi, T., Cerna, I., Brim, L.: Enhancing random walk state space exploration. In: Foundations of Software Engineering, Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Portugal, pp.\u00a098\u2013105 (2005)","DOI":"10.1145\/1081180.1081193"}],"container-title":["Distributed and Parallel Databases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10619-010-7061-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10619-010-7061-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10619-010-7061-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:29:49Z","timestamp":1559244589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10619-010-7061-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,20]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["7061"],"URL":"https:\/\/doi.org\/10.1007\/s10619-010-7061-8","relation":{},"ISSN":["0926-8782","1573-7578"],"issn-type":[{"value":"0926-8782","type":"print"},{"value":"1573-7578","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,20]]}}}