{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:01:51Z","timestamp":1743004911466,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319228846"},{"type":"electronic","value":"9783319228853"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22885-3_26","type":"book-chapter","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T09:57:08Z","timestamp":1441101428000},"page":"295-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata"],"prefix":"10.1007","author":[{"given":"Walid","family":"Belkhir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yannick","family":"Chevalier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Rusinowitch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"key":"26_CR1","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-36285-9_39","volume-title":"Business Process Management Workshops","author":"L Akroun","year":"2013","unstructured":"Akroun, L., Benatallah, B., Nourine, L., Toumani, F.: On decidability of simulation in data-centeric business protocols. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 352\u2013363. Springer, Heidelberg (2013)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Belkhir, W., Chevalier, Y., Rusinowitch, M.: Fresh-variable automata: applicationto service composition. In: SYNASC 2013, pp. 153\u2013160. IEEE C.S (2013)","DOI":"10.1109\/SYNASC.2013.28"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/j.jsc.2014.09.029","volume":"69","author":"W Belkhir","year":"2014","unstructured":"Belkhir, W., Chevalier, Y., Rusinowitch, M.: Parametrized automata simulation and application to service composition. J. Symbolic Comput. 69, 40\u201360 (2014)","journal-title":"J. Symbolic Comput."},{"key":"26_CR4","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: Proceedings of the 31st International Conference on Very Large Data Bases, VLDB 2005, pp. 613\u2013624 (2005)"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of E-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"issue":"2","key":"26_CR6","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1142\/S0129054108005759","volume":"19","author":"D Berardi","year":"2008","unstructured":"Berardi, D., Cheikh, F., Giacomo, G.D., Patrizi, F.: Automatic service composition via simulation. Int. J. Found. Comput. Sci. 19(2), 429\u2013451 (2008)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"26_CR7","unstructured":"Cheikh, F.: Composition de services: algorithmes et complexit\u00e9. Ph.D. thesis, Universit\u00e9 Paul Sabatier, Th\u00e8se de doctorat (2009). http:\/\/thesesups.ups-tlse.fr\/712\/1\/Cheikh_Fahima.pdf"},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/j.artint.2012.12.001","volume":"196","author":"G De Giacomo","year":"2013","unstructured":"De Giacomo, G., Patrizi, F., Sardi\u00f1a, S.: Automatic behavior composition synthesis. Artif. Intell. 196, 106\u2013142 (2013)","journal-title":"Artif. Intell."},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-31606-7_11","volume-title":"Implementation and Application of Automata","author":"P Degano","year":"2012","unstructured":"Degano, P., Ferrari, G.-L., Mezzetti, G.: Nominal automata for resource usage control. In: Moreira, N., Reis, R. (eds.) CIAA 2012. LNCS, vol. 7381, pp. 125\u2013137. Springer, Heidelberg (2012)"},{"issue":"2","key":"26_CR10","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s10626-006-0008-6","volume":"17","author":"G Feuillade","year":"2007","unstructured":"Feuillade, G., Pinchinat, S.: Modal specifications for the control theory of discrete event systems. Discrete Event Dyn. Syst. 17(2), 211\u2013232 (2007)","journal-title":"Discrete Event Dyn. Syst."},{"issue":"1\u20132","key":"26_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0304-3975(00)00102-X","volume":"256","author":"A Finkel","year":"2001","unstructured":"Finkel, A., Schnoebelen, P.: Well-structured transition systems everywhere!. Theor. Comput. Sci. 256(1\u20132), 63\u201392 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-33512-9_6","volume-title":"Reachability Problems","author":"C Haase","year":"2012","unstructured":"Haase, C., Ouaknine, J., Worrell, J.: On the relationship between reachability problems in timed and counter automata. In: Finkel, A., Leroux, J., Potapov, I. (eds.) RP 2012. LNCS, vol. 7550, pp. 54\u201365. Springer, Heidelberg (2012)"},{"key":"26_CR13","unstructured":"Hamadi, R., Benatallah, B.: A Petri net-based model for web service composition. In: Database Technologies, ADC 2003, pp. 191\u2013200 (2003)"},{"key":"26_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-89652-4_7","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"R Ragab Hassen","year":"2008","unstructured":"Ragab Hassen, R., Nourine, L., Toumani, F.: Protocol-based web service composition. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 38\u201353. Springer, Heidelberg (2008)"},{"issue":"2","key":"26_CR15","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/1083784.1083807","volume":"34","author":"R Hull","year":"2005","unstructured":"Hull, R., Su, J.: Tools for composite web services: a short overview. SIGMOD Rec. 34(2), 86\u201395 (2005)","journal-title":"SIGMOD Rec."},{"issue":"2","key":"26_CR16","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/0304-3975(95)00037-W","volume":"148","author":"P Jancar","year":"1995","unstructured":"Jancar, P.: Undecidability of bisimilarity for Petri nets and some related problems. Theor. Comput. Sci. 148(2), 281\u2013301 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"26_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-642-00596-1_28","volume-title":"Foundations of Software Science and Computational Structures","author":"Y Lustig","year":"2009","unstructured":"Lustig, Y., Vardi, M.Y.: Synthesis from component libraries. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 395\u2013409. Springer, Heidelberg (2009)"},{"key":"26_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-38230-7_1","volume-title":"Web Services and Formal Methods","author":"L Nourine","year":"2013","unstructured":"Nourine, L., Toumani, F.: Formal approaches for synthesis of web service business protocols. In: ter Beek, M.H., Lohmann, N. (eds.) WS-FM 2012. LNCS, vol. 7843, pp. 1\u201315. Springer, Heidelberg (2013)"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Towards a theory of services. In: UNISCON 2008, pp. 271\u2013281 (2008)","DOI":"10.1007\/978-3-540-78942-0_27"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing - ICSOC 2014 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22885-3_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T12:48:10Z","timestamp":1674910090000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22885-3_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319228846","9783319228853"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22885-3_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"2 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}