{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T12:50:03Z","timestamp":1780318203866,"version":"3.54.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031770180","type":"print"},{"value":"9783031770197","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T00:00:00Z","timestamp":1732233600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T00:00:00Z","timestamp":1732233600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-77019-7_17","type":"book-chapter","created":{"date-parts":[[2024,11,21]],"date-time":"2024-11-21T20:48:58Z","timestamp":1732222138000},"page":"290-309","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Foundations for\u00a0Efficient Simulation of\u00a0MOM Systems: The Refinement Calculus for\u00a0Object-Oriented Event-Graphs"],"prefix":"10.1007","author":[{"given":"Sini","family":"Chen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ran","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lili","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiapeng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ning","family":"Ge","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinbin","family":"Cao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,11,22]]},"reference":[{"issue":"1","key":"17_CR1","first-page":"1","volume":"31","author":"A Buss","year":"2001","unstructured":"Buss, A.: Basic event graph modeling. Simul. News Europe 31(1), 1\u20136 (2001)","journal-title":"Simul. News Europe"},{"issue":"20","key":"17_CR2","doi-asserted-by":"publisher","first-page":"4335","DOI":"10.1080\/00207540500142399","volume":"43","author":"D Chen","year":"2005","unstructured":"Chen, D.: Enterprise-control system integration\u2013an international standard. Int. J. Prod. Res. 43(20), 4335\u20134357 (2005)","journal-title":"Int. J. Prod. Res."},{"key":"17_CR3","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-030-87205-2_6","volume-title":"Perspectives in Business Informatics Research","author":"I Compagnucci","year":"2021","unstructured":"Compagnucci, I., Corradini, F., Fornari, F., Re, B.: Trends on the usage of BPMN 2.0 from publicly available repositories. In: Buchmann, R.A., Polini, A., Johansson, B., Karagiannis, D. (eds.) BIR 2021. LNBIP, vol. 430, pp. 84\u201399. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-87205-2_6"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-39721-9_1","volume-title":"Unifying Theories of Programming and Formal Engineering Methods","author":"R Dong","year":"2013","unstructured":"Dong, R., Faber, J., Ke, W., Liu, Z.: rCOS: defining meanings of component-based software architectures. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Unifying Theories of Programming and Formal Engineering Methods. LNCS, vol. 8050, pp. 1\u201366. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39721-9_1"},{"key":"17_CR5","unstructured":"Firmansyah, A.: Design of manufacturing operation management system (MOMS) for gas processing facility using ISA 95 standard. Ph.D. thesis, Sepuluh Nopember Institute of Technology (2023)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Herber, D.R., Narsinghani, J.B., Eftekhari-Shahroudi, K.: Model-based structured requirements in SysML. In: SysCon2022, pp.\u00a01\u20138. IEEE (2022)","DOI":"10.1109\/SysCon53536.2022.9773813"},{"key":"17_CR7","unstructured":"Huisman, M., Gurov, D., Malkis, A.: Formal methods: from academia to industrial practice. a travel guide. arXiv preprint arXiv:2002.07279 (2020)"},{"issue":"1\u20132","key":"17_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2006.07.034","volume":"365","author":"H Jifeng","year":"2006","unstructured":"Jifeng, H., Li, X., Liu, Z.: rCOS: a refinement calculus of object systems. Theor. Comput. Sci. 365(1\u20132), 109\u2013142 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"17_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-49744-8","volume-title":"Manufacturing Execution Systems\u2013MES","author":"J Kletti","year":"2007","unstructured":"Kletti, J.: Manufacturing Execution Systems\u2013MES. Springer, Cham (2007)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Ko\u00e7, H., Erdo\u011fan, A.M., Barjakly, Y., Peker, S.: UML diagrams in software engineering research: a systematic literature review. In: Proceedings, vol.\u00a074, p.\u00a013. MDPI (2021)","DOI":"10.3390\/proceedings2021074013"},{"key":"17_CR11","series-title":"ARENA2036","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-662-62962-8_22","volume-title":"Advances in Automotive Production Technology \u2013 Theory and Application","author":"C Li","year":"2021","unstructured":"Li, C., Mantravadi, S., Schou, C., Nielsen, H., Madsen, O., M\u00f8ller, C.: An ISA-95 based middle data layer for data standardization\u2014enhancing systems interoperability for factory automation. In: Wei\u00dfgraeber, P., Heieck, F., Ackermann, C. (eds.) Advances in Automotive Production Technology \u2013 Theory and Application. A, pp. 187\u2013194. Springer, Heidelberg (2021). https:\/\/doi.org\/10.1007\/978-3-662-62962-8_22"},{"key":"17_CR12","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-031-40436-8_3","volume-title":"Theories of Programming and Formal Methods","author":"Z Liu","year":"2023","unstructured":"Liu, Z.: Linking formal methods in software development. In: Bowen, J.P., Li, Q., Xu, Q. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 14080, pp. 52\u201384. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40436-8_3"},{"key":"17_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11561163_9","volume-title":"Formal Methods for Components and Objects","author":"Z Liu","year":"2005","unstructured":"Liu, Z., Jifeng, H., Li, X.: rCOS: refinement of component and object systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol. 3657, pp. 183\u2013221. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11561163_9"},{"key":"17_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2021.102225","volume":"73","author":"S Mantravadi","year":"2022","unstructured":"Mantravadi, S., M\u00f8ller, C., Chen, L., Schnyder, R.: Design choices for next-generation IIoT-connected MES\/MOM: an empirical study on smart factories. Robot. Comput.-Integrated Manuf. 73, 102225 (2022)","journal-title":"Robot. Comput.-Integrated Manuf."},{"key":"17_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2023.103907","volume":"148","author":"S Mantravadi","year":"2023","unstructured":"Mantravadi, S., Srai, J.S., M\u00f8ller, C.: Application of MES\/MOM for industry 4.0 supply chains: a cross-case analysis. Comput. Ind. 148, 103907 (2023)","journal-title":"Comput. Ind."},{"issue":"1","key":"17_CR16","first-page":"5137625","volume":"2020","author":"D Ma\u017eeika","year":"2020","unstructured":"Ma\u017eeika, D., Butleris, R.: Integrating security requirements engineering into MBSE: profile and guidelines. Secur. Commun. Netw. 2020(1), 5137625 (2020)","journal-title":"Secur. Commun. Netw."},{"issue":"4","key":"17_CR17","doi-asserted-by":"publisher","first-page":"1027","DOI":"10.1108\/MEDAR-02-2021-1214","volume":"30","author":"N Obermayer","year":"2022","unstructured":"Obermayer, N., Csizmadia, T., Hargitai, D.M.: Influence of industry 4.0 technologies on corporate operation and performance management from human aspects. Meditari Accountancy Res. 30(4), 1027\u20131049 (2022)","journal-title":"Meditari Accountancy Res."},{"issue":"1","key":"17_CR18","doi-asserted-by":"publisher","first-page":"351","DOI":"10.35248\/2168-9792.19.8.215","volume":"8","author":"S Singamneni","year":"2019","unstructured":"Singamneni, S., Yifan, L., Hewitt, A., Chalk, R., Thomas, W., Jordison, D.: Additive manufacturing for the aircraft industry: a review. J. Aeronaut. Aerosp. Eng 8(1), 351\u2013371 (2019)","journal-title":"J. Aeronaut. Aerosp. Eng"},{"issue":"3","key":"17_CR19","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1080\/0951192X.2022.2090607","volume":"36","author":"A Singh","year":"2023","unstructured":"Singh, A., Madaan, G., Hr, S., Kumar, A.: Smart manufacturing systems: a futuristics roadmap towards application of industry 4.0 technologies. Int. J. Comput. Integrated Manuf. 36(3), 411\u2013428 (2023)","journal-title":"Int. J. Comput. Integrated Manuf."},{"key":"17_CR20","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2019.102027","volume":"99","author":"L Tiacci","year":"2020","unstructured":"Tiacci, L.: Object-oriented event-graph modeling formalism to simulate manufacturing systems in the industry 4.0 era. Simul. Model. Pract. Theory 99, 102027 (2020)","journal-title":"Simul. Model. Pract. Theory"},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Wagner, P., Hansch, G., Konrad, C., John, K.H., Bauer, J., Franke, J.: Applicability of security standards for operational technology by SMEs and large enterprises. In: ETFA2020, vol.\u00a01, pp. 1544\u20131551. IEEE (2020)","DOI":"10.1109\/ETFA46521.2020.9212126"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Wang, Z., Yu, X., Pu, G., Feng, L., Zhu, H., He, J.: Execution semantics for rCOS. In: 2008 15th Asia-Pacific Software Engineering Conference, pp. 119\u2013126. IEEE (2008)","DOI":"10.1109\/APSEC.2008.11"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Wei\u00dfenberger, B., Flad, S., Chen, X., R\u00f6sch, S., Voigt, T., Vogel-Heuser, B.: Model driven engineering of manufacturing execution systems using a formal specification. In: ETFA2015, pp.\u00a01\u20138. IEEE (2015)","DOI":"10.1109\/ETFA.2015.7301430"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2024"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-77019-7_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,21]],"date-time":"2024-11-21T21:29:57Z","timestamp":1732224597000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-77019-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,22]]},"ISBN":["9783031770180","9783031770197"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-77019-7_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,11,22]]},"assertion":[{"value":"22 November 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bangkok","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thailand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ictac2024.cs.ait.ac.th\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}