{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T20:06:58Z","timestamp":1779307618274,"version":"3.51.4"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T00:00:00Z","timestamp":1741824000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T00:00:00Z","timestamp":1741824000000},"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":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2025,4]]},"DOI":"10.1007\/s11432-025-4311-9","type":"journal-article","created":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T12:21:31Z","timestamp":1742214091000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An infrastructure software perspective toward computation offloading between executable specifications and foundation models"],"prefix":"10.1007","volume":"68","author":[{"given":"Dezhi","family":"Ran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mengzhou","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Harel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,13]]},"reference":[{"key":"4311_CR1","unstructured":"Bommasani R, Hudson D A, Adeli E, et al. On the opportunities and risks of foundation models. 2021. ArXiv:2108.07258"},{"key":"4311_CR2","unstructured":"Ran D, Wu M, Yang W, et al. Foundation model engineering: engineering foundation models just as engineering software. 2024. ArXiv:2407.08176"},{"key":"4311_CR3","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D Harel","year":"1997","unstructured":"Harel D, Gery E. Executable object modeling with statecharts. Computer, 1997, 30: 31\u201342","journal-title":"Computer"},{"key":"4311_CR4","first-page":"9770","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence","author":"D Harel","year":"2019","unstructured":"Harel D, Marron A, Rosenfeld A, et al. Labor division with movable walls: composing executable specifications with machine learning and search. In: Proceedings of the AAAI Conference on Artificial Intelligence, 2019. 9770\u20139774"},{"key":"4311_CR5","doi-asserted-by":"publisher","first-page":"111101","DOI":"10.1007\/s11432-022-3826-6","volume":"67","author":"D Harel","year":"2024","unstructured":"Harel D, Yerushalmi R, Marron A, et al. Categorizing methods for integrating machine learning with executable specifications. Sci China Inf Sci, 2024, 67: 111101","journal-title":"Sci China Inf Sci"},{"key":"4311_CR6","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MPRV.2009.82","volume":"8","author":"M Satyanarayanan","year":"2009","unstructured":"Satyanarayanan M, Bahl P, Caceres R, et al. The case for VM-based cloudlets in mobile computing. IEEE Pervasive Comput, 2009, 8: 14\u201323","journal-title":"IEEE Pervasive Comput"},{"key":"4311_CR7","unstructured":"Packer C, Fang V, Patil S G, et al. MemGPT: towards LLMs as operating systems. 2023. ArXiv:2310.08560"},{"key":"4311_CR8","doi-asserted-by":"publisher","first-page":"958","DOI":"10.1145\/3650212.3680334","volume-title":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"D Ran","year":"2024","unstructured":"Ran D, Wang H, Song Z, et al. Guardian: a runtime framework for LLM-based UI exploration. In: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024. 958\u2013970"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-025-4311-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-025-4311-9","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-025-4311-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T19:26:41Z","timestamp":1779305201000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-025-4311-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,13]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["4311"],"URL":"https:\/\/doi.org\/10.1007\/s11432-025-4311-9","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3,13]]},"assertion":[{"value":"4 January 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 February 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 February 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 March 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"146101"}}