{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T23:49:05Z","timestamp":1777765745809,"version":"3.51.4"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031974380","type":"print"},{"value":"9783031974397","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-97439-7_17","type":"book-chapter","created":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T11:04:07Z","timestamp":1756551847000},"page":"342-359","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Join Order for\u00a0Constraint Automata Through LLM-Generated Heuristics"],"prefix":"10.1007","author":[{"given":"Ali","family":"Mehrani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatemeh","family":"Ghassemi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marjan","family":"Sirjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,30]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14, 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Arbab, F., Baier, C., Rutten, J., Sirjani, M.: Modeling component connectors in reo by constraint automata. In: Proceedings of Second International Workshop on Foundations of Coordination Languages and Software Architectures (FLOCASA\u201903), vol. 97, pp. 25\u201346, July 2004","DOI":"10.1016\/j.entcs.2004.04.028"},{"issue":"10","key":"17_CR3","first-page":"1718","volume":"11","author":"C Baier","year":"2005","unstructured":"Baier, C.: Probabilistic models for reo connector circuits. J. Univ. Comput. Sci. 11(10), 1718\u20131748 (2005)","journal-title":"J. Univ. Comput. Sci."},{"key":"17_CR4","unstructured":"Ghadiri, A.: A tool for constraint automata join, bs project. Technical report, ECE Department University of Tehran, 2004"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Ghassemi, F., Tasharofi, S., Sirjani, M.: Automated mapping of reo circuits to constraint automata. In: FSEN 2005, volume 159 of ENTCS, pp. 99\u2013115, 2006","DOI":"10.1016\/j.entcs.2005.12.064"},{"key":"17_CR6","doi-asserted-by":"publisher","unstructured":"Jongmans, S.S.T.Q., Kapp\u00e9, T., Arbab, F.: Composing constraint automata, state-by-state. In: Braga, C., \u00d6lveczky, P. (eds.) Formal Aspects of Component Software. FACS 2015. LNCS, vol. 9539, pp. 217\u2013236. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-28934-2_12","DOI":"10.1007\/978-3-319-28934-2_12"},{"key":"17_CR7","unstructured":"Mehta, N., Sirjani, M., Arbab, F.: Effective modeling of software architectural assemblies using constraint automata. Technical report SEN-R0309, CWI, Amsterdam, The Netherlands, 2003"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Mehta, N., Medvidovic, N., Sirjani, M., Arbab, F.: Modeling behavior in compositions of software architectural primitives. In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), pp. 371\u2013374, Linz, Austria, September 2004. IEEE Computer Society","DOI":"10.1109\/ASE.2004.1342767"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-540-75698-9_29","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"B Pourvatan","year":"2007","unstructured":"Pourvatan, B., Rouhy, N.: An alternative algorithm for constraint automata product. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 412\u2013422. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75698-9_29"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-79230-7_8","volume-title":"Web Services and Formal Methods","author":"S Tasharofi","year":"2008","unstructured":"Tasharofi, S., Vakilian, M., Zilouchian Moghaddam, R., Sirjani, M.: Modeling web service interactions using the coordination language reo. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 108\u2013123. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-79230-7_8"}],"container-title":["Lecture Notes in Computer Science","Principles of Formal Quantitative Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-97439-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T15:29:08Z","timestamp":1777476548000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-97439-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,30]]},"ISBN":["9783031974380","9783031974397"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-97439-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,30]]},"assertion":[{"value":"30 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}