{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:13:39Z","timestamp":1743038019417,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":64,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662650035"},{"type":"electronic","value":"9783662650042"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-662-65004-2_12","type":"book-chapter","created":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T08:12:18Z","timestamp":1675325538000},"page":"281-307","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modelling the\u00a0Top Floor: Internal and\u00a0External Data Integration and\u00a0Exchange"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7447-3757","authenticated-orcid":false,"given":"Bernhard","family":"Wally","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5138-429X","authenticated-orcid":false,"given":"Christian","family":"Huemer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2785-8819","authenticated-orcid":false,"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,3]]},"reference":[{"unstructured":"Adams, M., Bangemann, T., Behnsch, J., Bienek, C., Blank, E., Hofmann, J., K\u00fcppers, U., Montino, R., Seibl, F., Theobald, C., Weinmann, M., Winkler, T., Wirt, A., Wollschlaeger, M.: Industrie 4.0: MES \u2013 prerequisite for digital operation and production management \u2013 tasks and future requirements. Position paper, German Electrical and Electronic Manufacturers\u2019 Association (ZVEI) (2017)","key":"12_CR1"},{"unstructured":"American National Standards Institute: Enterprise\u2013control system integration part\u00a01: Models and terminology (2000)","key":"12_CR2"},{"doi-asserted-by":"publisher","unstructured":"Barros, A.: Process choreography modelling. In: vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 1, Introduction, Methods, and Information Systems, 2nd Ed, pp. 279\u2013300. International Handbooks on Information Systems, Springer (2015). https:\/\/doi.org\/10.1007\/978-3-642-45100-3_12","key":"12_CR3","DOI":"10.1007\/978-3-642-45100-3_12"},{"doi-asserted-by":"publisher","unstructured":"Biffl, S., Gerhard, D., L\u00fcder, A.: Introduction to the multi-disciplinary engineering for cyber-physical production systems. In: Multi-Disciplinary Engineering for Cyber-Physical Production Systems: Data Models and Software Solutions for Handling Complex Engineering Projects, pp. 1\u201324. Springer International Publishing (2017). https:\/\/doi.org\/10.1007\/978-3-319-56345-9_1","key":"12_CR4","DOI":"10.1007\/978-3-319-56345-9_1"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.compind.2018.04.015","volume":"101","author":"H Boyes","year":"2018","unstructured":"Boyes, H., Hallaq, B., Cunningham, J., Watson, T.: The industrial internet of things (IIoT): An analysis framework. Computers in Industry 101, 1\u201312 (2018). https:\/\/doi.org\/10.1016\/j.compind.2018.04.015","journal-title":"Computers in Industry"},{"doi-asserted-by":"crossref","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Morgan & Claypool, 2 edn. (2017)","key":"12_CR6","DOI":"10.1007\/978-3-031-02549-5"},{"doi-asserted-by":"publisher","unstructured":"Breque, M., De\u00a0Nul, L., Petridis, A.: Industry 5.0 \u2013 towards a sustainable, human-centric and resilient European industry. R &I Paper Series \u2013 Policy Brief KI-BD-20-021-EN-N, European Commission, Directorate-General for Research and Innovation (2021). https:\/\/doi.org\/10.2777\/308407","key":"12_CR7","DOI":"10.2777\/308407"},{"doi-asserted-by":"publisher","unstructured":"Decker, G., Kopp, O., Leymann, F., Pfitzner, K., Weske, M.: Modeling service choreographies using BPMN and BPEL4Chor. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) Proceedings of the International Conference on Advanced Information Systems Engineering (CAiSE). Lecture Notes in Computer Science, vol.\u00a05074, pp. 79\u201393 (2008). https:\/\/doi.org\/10.1007\/978-3-540-69534-9_6","key":"12_CR8","DOI":"10.1007\/978-3-540-69534-9_6"},{"unstructured":"Deutsches Institut f\u00fcr Normung: Reference Architecture Model Industrie 4.0 (RAMI4.0) (2016), DIN\u00a0SPEC\u00a091345:2016-04","key":"12_CR9"},{"doi-asserted-by":"publisher","unstructured":"Drath, R. (ed.): AutomationML \u2013 A Practical Guide. De Gruyter Oldenbourg (2021). https:\/\/doi.org\/10.1515\/9783110746235","key":"12_CR10","DOI":"10.1515\/9783110746235"},{"doi-asserted-by":"publisher","unstructured":"Ehrendorfer, M., Fassmann, J.A., Mangler, J., Rinderle-Ma, S.: Conformance checking and classification of manufacturing log data. In: 21st IEEE International Conference on Business Informatics (CBI). vol.\u00a001, pp. 569\u2013577 (2019). https:\/\/doi.org\/10.1109\/CBI.2019.00072","key":"12_CR11","DOI":"10.1109\/CBI.2019.00072"},{"doi-asserted-by":"publisher","unstructured":"Geerts, G.L., McCarthy, W.E.: Modeling business enterprises as value-added process hierarchies with Resource-Event-Agent object templates. In: Sutherland, J., Casanave, C., Miller, J., Patel, P., Hollowell, G. (eds.) Proceedings of the OOPSLA\u201995 Workshop. pp. 94\u2013113. Springer (1997). https:\/\/doi.org\/10.1007\/978-1-4471-0947-1_10","key":"12_CR12","DOI":"10.1007\/978-1-4471-0947-1_10"},{"unstructured":"Geerts, G.L., McCarthy, W.E.: The ontological foundation of REA enterprise information systems. In: Proceedings of the Annual Meeting of the American Accounting Association. pp. 127\u2013150 (2000)","key":"12_CR13"},{"issue":"1","key":"12_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1467-0895(01)00020-3","volume":"3","author":"GL Geerts","year":"2002","unstructured":"Geerts, G.L., McCarthy, W.E.: An ontological analysis of the economic primitives of the extended-REA enterprise information architecture. International Journal of Accounting Information Systems 3(1), 1\u201316 (2002). https:\/\/doi.org\/10.1016\/S1467-0895(01)00020-3","journal-title":"International Journal of Accounting Information Systems"},{"unstructured":"Gordijn, J., Wieringa, R.: E3value User Guide \u2013 Designing Your Ecosystem in a Digital World. The Value Engineers B.V., 1 edn. (2021)","key":"12_CR15"},{"unstructured":"Institute of Electrical and Electronics Engineers: IEEE standard for VHDL language reference manual (2019), IEEE\u00a01076-2019","key":"12_CR16"},{"unstructured":"International Electrotechnical Commission: Enterprise\u2013control system integration \u2013 part\u00a01: Models and terminology (2013), IEC 62264-1:2013","key":"12_CR17"},{"unstructured":"International Electrotechnical Commission: Enterprise\u2013control system integration \u2013 part\u00a02: Objects and attributes for enterprise\u2013control system integration (2013), IEC 62264-2:2013","key":"12_CR18"},{"unstructured":"International Electrotechnical Commission: Enterprise\u2013control system integration \u2013 part\u00a04: Object model attributes for manufacturing operations management integration (2015), IEC 62264-4:2015","key":"12_CR19"},{"unstructured":"International Electrotechnical Commission: Engineering data exchange format for use in industrial automation systems engineering \u2013 Automation Markup Language \u2013 part 1: Architecture and general requirements (2018), IEC 62714-1:2018","key":"12_CR20"},{"unstructured":"International Electrotechnical Commission: OPC Unified Architecture - part 1: Overview and concepts. Tech. Rep.\u00a03.0, OPC Foundation (2020), IEC TR 62541-1:2020","key":"12_CR21"},{"unstructured":"International Organization for Standardization: Electronic data interchange for administration, commerce and transport (EDIFACT) - application level syntax rules (syntax version number: 4, syntax release number: 2) - part 10: Syntax service directories (2014), ISO\u00a09735-10:2014","key":"12_CR22"},{"unstructured":"International Organization for Standardization, International Electrotechnical Commission: Business transaction scenarios \u2013 accounting and economic ontology (2007), ISO\/IEC\u00a015944-4:2007(E)","key":"12_CR23"},{"doi-asserted-by":"publisher","unstructured":"Ismail, A., Truong, H., Kastner, W.: Manufacturing process data analysis pipelines: a requirements analysis and survey. Journal of Big Data 6(1) (2019). https:\/\/doi.org\/10.1186\/s40537-018-0162-3","key":"12_CR24","DOI":"10.1186\/s40537-018-0162-3"},{"issue":"1","key":"12_CR25","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s40684-016-0015-5","volume":"3","author":"HS Kang","year":"2016","unstructured":"Kang, H.S., Lee, J.Y., Choi, S., Kim, H., Park, J.H., Son, J.Y., Kim, B.H., Noh, S.D.: Smart manufacturing: Past research, present findings, and future directions. International Journal of Precision Engineering and Manufacturing-Green Technology 3(1), 111\u2013128 (2016). https:\/\/doi.org\/10.1007\/s40684-016-0015-5","journal-title":"International Journal of Precision Engineering and Manufacturing-Green Technology"},{"doi-asserted-by":"publisher","unstructured":"Lang, L., Wally, B., Huemer, C., \u0160indel\u00e1r, R., Mazak, A., Wimmer, M.: A graphical toolkit for IEC 62264-2. In: Proceedings of the 53rd CIRP Conference on Manufacturing Systems (CMS). pp. 532\u2013537 (2020). https:\/\/doi.org\/10.1016\/j.procir.2020.03.049","key":"12_CR26","DOI":"10.1016\/j.procir.2020.03.049"},{"doi-asserted-by":"publisher","unstructured":"Lu, Y., Morris, K., Frechette, S.: Current standards landscape for smart manufacturing systems. NISTIR\u00a08107, National Institute of Standards and Technology (2016). https:\/\/doi.org\/10.6028\/NIST.IR.8107","key":"12_CR27","DOI":"10.6028\/NIST.IR.8107"},{"doi-asserted-by":"publisher","unstructured":"Mazak, A., Huemer, C.: From business functions to control functions: Transforming REA to ISA-95. In: Proceedings of the 17th IEEE Conference on Business Informatics (CBI). vol.\u00a01, pp. 33\u201342. IEEE (2015). https:\/\/doi.org\/10.1109\/CBI.2015.50","key":"12_CR28","DOI":"10.1109\/CBI.2015.50"},{"doi-asserted-by":"publisher","unstructured":"Mazak, A., Huemer, C.: HoVer: A modeling framework for horizontal and vertical integration. In: Proceedings of the 13th IEEE International Conference on Industrial Informatics (INDIN). pp. 1642\u20131647. IEEE (2015). https:\/\/doi.org\/10.1109\/INDIN.2015.7281980","key":"12_CR29","DOI":"10.1109\/INDIN.2015.7281980"},{"doi-asserted-by":"publisher","unstructured":"Mazak, A., Wimmer, M., Huemer, C., Kappel, G., Kastner, W.: Rahmenwerk zur modellbasierten horizontalen und vertikalen Integration von Standards f\u00fcr Industrie 4.0. In: Vogel-Heuser, B., Bauernhansl, T., ten Hompel, M. (eds.) Handbuch Industrie 4.0. Springer NachschlageWissen, Springer (2015). https:\/\/doi.org\/10.1007\/978-3-662-45537-1_94-1","key":"12_CR30","DOI":"10.1007\/978-3-662-45537-1_94-1"},{"issue":"3","key":"12_CR31","first-page":"554","volume":"57","author":"WE McCarthy","year":"1982","unstructured":"McCarthy, W.E.: The REA accounting model: A generalized framework for accounting systems in a shared data environment. The Accounting Review 57(3), 554\u2013578 (1982)","journal-title":"The Accounting Review"},{"doi-asserted-by":"crossref","unstructured":"Micouin, P.: Model Based Systems Engineering: Fundamentals and Methods. John Wiley & Sons (2014)","key":"12_CR32","DOI":"10.1002\/9781118579435"},{"doi-asserted-by":"publisher","unstructured":"Nov\u00e1k, P., Vysko\u010dil, J., Wally, B.: The digital twin as a core component for Industry 4.0 smart production planning. In: Proceedings of the 21st IFAC World Congress. pp. 10803\u201310809 (2020). https:\/\/doi.org\/10.1016\/j.ifacol.2020.12.2865","key":"12_CR33","DOI":"10.1016\/j.ifacol.2020.12.2865"},{"key":"12_CR34","first-page":"2","volume":"2","author":"Object Management Group","year":"2013","unstructured":"Object Management Group: Business process model and notation (BPMN) (2013), 2.0.2","journal-title":"Business process model and notation (BPMN)"},{"issue":"5","key":"12_CR35","first-page":"1","volume":"2","author":"Object Management Group","year":"2017","unstructured":"Object Management Group: OMG unified modeling language (UML) (2017), 2.5.1","journal-title":"OMG unified modeling language (UML)"},{"unstructured":"Object Management Group: OMG meta object facility (MOF) core specification (2019), 2.5.1","key":"12_CR36"},{"key":"12_CR37","first-page":"6","volume":"1","author":"Object Management Group","year":"2019","unstructured":"Object Management Group: OMG systems modeling language (SysML) (2019), 1.6","journal-title":"OMG systems modeling language (SysML)"},{"unstructured":"Plattform Industrie 4.0: Details of the asset administration shell (2020), part 1 - The exchange of information between partners in the value chain of Industrie 4.0 (Version 3.0RC01)","key":"12_CR38"},{"unstructured":"Polczer, P.F.: Towards Model-Driven Vertical Integration \u2013 using IEC 62264 and REA to facilitate real-time data exchange between manufacturing and enterprise systems. Diploma thesis, Faculty of Informatics, TU Wien (2021)","key":"12_CR39"},{"issue":"2","key":"12_CR40","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1080\/07421222.1994.11518044","volume":"11","author":"G Premkumar","year":"1994","unstructured":"Premkumar, G., Ramamurthy, K., Nilakanta, S.: Implementation of electronic data interchange: An innovation diffusion perspective. Journal of Management Information Systems 11(2), 157\u2013186 (1994). https:\/\/doi.org\/10.1080\/07421222.1994.11518044","journal-title":"Journal of Management Information Systems"},{"issue":"1","key":"12_CR41","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1080\/07421222.2002.11045718","volume":"19","author":"A Ragowsky","year":"2002","unstructured":"Ragowsky, A., Somers, T.M.: Enterprise resource planning. Journal of Management Information Systems 19(1), 11\u201315 (2002). https:\/\/doi.org\/10.1080\/07421222.2002.11045718","journal-title":"Journal of Management Information Systems"},{"issue":"2","key":"12_CR42","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s11301-019-00164-7","volume":"70","author":"F Ricciotti","year":"2020","unstructured":"Ricciotti, F.: From value chain to value network: a systematic literature review. Management Review Quarterly 70(2), 191\u2014212 (2020). https:\/\/doi.org\/10.1007\/s11301-019-00164-7","journal-title":"Management Review Quarterly"},{"doi-asserted-by":"publisher","unstructured":"Rosen, R., von Wichert, G., Lo, G., Bettenhausen, K.D.: About the importance of autonomy and digital twins for the future of manufacturing. In: Proceedings of the 15th IFAC Symposium on Information Control Problems in Manufacturing. vol.\u00a048, pp. 567\u2013572 (2015). https:\/\/doi.org\/10.1016\/j.ifacol.2015.06.141","key":"12_CR43","DOI":"10.1016\/j.ifacol.2015.06.141"},{"doi-asserted-by":"publisher","unstructured":"Schleipen, M., Drath, R.: Three-view-concept for modeling process or manufacturing plants with AutomationML. In: Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) (2009). https:\/\/doi.org\/10.1109\/ETFA.2009.5347260","key":"12_CR44","DOI":"10.1109\/ETFA.2009.5347260"},{"unstructured":"UN\/CEFACT: UML Profile for UN\/CEFACT\u2019s Modeling Methodology (UMM), Foundation Module, Version 2.0 (Apr 2011), https:\/\/unece.org\/DAM\/cefact\/umm\/UMM_Foundation_Module_V2.0.pdf","key":"12_CR45"},{"doi-asserted-by":"publisher","unstructured":"Vogel-Heuser, B.: Herausforderungen und Anforderungen aus Sicht der IT und der Automatisierungstechnik. In: Bauernhansl, T., ten Hompel, M., Vogel-Heuser, B. (eds.) Industrie 4.0 in Produktion, Automatisierung und Logistik: Anwendung Technologien Migration, pp. 37\u201348. Springer (2014). https:\/\/doi.org\/10.1007\/978-3-658-04682-8_2","key":"12_CR46","DOI":"10.1007\/978-3-658-04682-8_2"},{"doi-asserted-by":"crossref","unstructured":"Vogel-Heuser, B., Brodbeck, F., Kugler, K., Passoth, J.H., Maasen, S., Reif, J.: BPMN+I to support decision making in innovation management for automated production systems including technological, multi team and organizational aspects. In: Proceedings of the 21st IFAC World Congress (2020)","key":"12_CR47","DOI":"10.1016\/j.ifacol.2020.12.2825"},{"doi-asserted-by":"crossref","unstructured":"Vogel-Heuser, B., Kegel, G., Bender, K., Wucherer, K.: Global information architecture for industrial automation. Automatisierungstechnische Praxis (atp) 51, 108\u2013115 (01 2009)","key":"12_CR48","DOI":"10.17560\/atp.v51i01-02.1948"},{"unstructured":"Wally, B.: Smart Manufacturing Systems: Model-Driven Integration of ERP and MOM. PhD Thesis, Faculty of Informatics, TU Wien (2020)","key":"12_CR49"},{"unstructured":"Wally, B.: Provisioning for MES and ERP. https:\/\/www.automationml.org\/ (2021), Application Recommendation","key":"12_CR50"},{"doi-asserted-by":"publisher","unstructured":"Wally, B., Huemer, C., Mazak, A.: Aligning business services with production services: The case of REA and ISA-95. In: Proceedings of the 10th IEEE International Conference on Service Oriented Computing and Applications (SOCA). pp. 9\u201317 (2017). https:\/\/doi.org\/10.1109\/SOCA.2017.10","key":"12_CR51","DOI":"10.1109\/SOCA.2017.10"},{"doi-asserted-by":"publisher","unstructured":"Wally, B., Huemer, C., Mazak, A.: Entwining plant engineering data and ERP information: Vertical integration with AutomationML and ISA-95. In: Proceedings of the 3rd IEEE International Conference on Control, Automation and Robotics (ICCAR) (2017). https:\/\/doi.org\/10.1109\/ICCAR.2017.7942718","key":"12_CR52","DOI":"10.1109\/ICCAR.2017.7942718"},{"unstructured":"Wally, B., Huemer, C., Mazak, A.: ISA-95 based task specification layer for REA in production environments. In: Proceedings of the 11th International Workshop on Value Modeling and Business Ontologies (VMBO) (2017)","key":"12_CR53"},{"doi-asserted-by":"publisher","unstructured":"Wally, B., Huemer, C., Mazak, A.: A view on model-driven vertical integration: Alignment of production facility models and business models. In: Proceedings of the 13th IEEE International Conference on Automation Science and Engineering (CASE) (2017). https:\/\/doi.org\/10.1109\/COASE.2017.8256235","key":"12_CR54","DOI":"10.1109\/COASE.2017.8256235"},{"doi-asserted-by":"publisher","unstructured":"Wally, B., L\u00fcder, A.: AML-based enterprise control system integration by IEC 62264. In: Drath, R. (ed.) AutomationML \u2013 The Industrial Cookbook, pp. 451\u2013466. De Gruyter Oldenbourg (2021). https:\/\/doi.org\/10.1515\/9783110745979-026","key":"12_CR55","DOI":"10.1515\/9783110745979-026"},{"doi-asserted-by":"publisher","unstructured":"Wally, B., Mazak, A., Kratzwald, B., Huemer, C.: Model-driven retail information system based on REA business ontology and Retail-H. In: Proceedings of the 17th IEEE Conference on Business Informatics (CBI). vol.\u00a01, pp. 116\u2013124 (2015). https:\/\/doi.org\/10.1109\/CBI.2015.49","key":"12_CR56","DOI":"10.1109\/CBI.2015.49"},{"unstructured":"Wally, B., Mazak, A., Kratzwald, B., Huemer, C., Regatschnig, P., Mayrhofer, D.: REAlist \u2013 a tool demo. In: Proceedings of the 9th International Workshop on Value Modeling and Business Ontology (VMBO) (2015)","key":"12_CR57"},{"unstructured":"Wally, B., Schleipen, M., Schmidt, N., D\u2019Agostino, N., Hen\u00dfen, R., Hua, Y.: AutomationML auf h\u00f6heren Automatisierungsebenen. In: Proceedings of AUTOMATION 2017. No.\u00a02293 in VDI-Berichte, VDI-Verlag (2017)","key":"12_CR58"},{"issue":"4","key":"12_CR59","doi-asserted-by":"publisher","first-page":"4062","DOI":"10.1109\/LRA.2019.2929991","volume":"4","author":"B Wally","year":"2019","unstructured":"Wally, B., Vysko\u010dil, J., Nov\u00e1k, P., Huemer, C., \u0160indel\u00e1r, R., Kadera, P., Mazak, A., Wimmer, M.: Flexible production systems: Automated generation of operations plans based on ISA-95 and PDDL. Robotics and Automation Letters 4(4), 4062\u20134069 (2019). https:\/\/doi.org\/10.1109\/LRA.2019.2929991","journal-title":"Robotics and Automation Letters"},{"doi-asserted-by":"publisher","unstructured":"Wally, B., Vysko\u010dil, J., Nov\u00e1k, P., Huemer, C., \u0160indel\u00e1r, R., Kadera, P., Mazak, A., Wimmer, M.: Production planning with IEC 62264 and PDDL. In: Proceedings of the 17th IEEE International Conference on Industrial Informatics (INDIN). pp. 492\u2013499 (2019). https:\/\/doi.org\/10.1109\/INDIN41052.2019.8972050","key":"12_CR60","DOI":"10.1109\/INDIN41052.2019.8972050"},{"issue":"1","key":"12_CR61","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1109\/TASE.2020.3018402","volume":"18","author":"B Wally","year":"2021","unstructured":"Wally, B., Vysko\u010dil, J., Nov\u00e1k, P., Huemer, C., \u0160indel\u00e1\u0159, R., Kadera, P., Mazak-Huemer, A., Wimmer, M.: Leveraging iterative plan refinement for reactive smart manufacturing systems. IEEE Transactions on Automation Science and Engineering 18(1), 230\u2013243 (2021). https:\/\/doi.org\/10.1109\/TASE.2020.3018402","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"unstructured":"Witsch, M.: MES-Modeling Language \u2013 Eine Beschreibungssprache f\u00fcr die interdisziplin\u00e4re Anforderungserhebung und Spezifikation von MES. In: Vogel-Heuser, B. (ed.) Erh\u00f6hte Verf\u00fcgbarkeit und transparente Produktion, pp. 80\u2013101. kassel university press (2011)","key":"12_CR62"},{"issue":"2","key":"12_CR63","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1109\/TII.2012.2186585","volume":"8","author":"M Witsch","year":"2012","unstructured":"Witsch, M., Vogel-Heuser, B.: Towards a formal specification framework for manufacturing execution systems. IEEE Transactions on Industrial Informatics 8(2), 311\u2013320 (2012). https:\/\/doi.org\/10.1109\/TII.2012.2186585","journal-title":"IEEE Transactions on Industrial Informatics"},{"doi-asserted-by":"publisher","unstructured":"Zapletal, M., Schuster, R., Liegl, P., Huemer, C., Hofreiter, B.: The UN\/CEFACT modeling methodology UMM 2.0: Choreographing business document exchanges. In: vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 1, Introduction, Methods, and Information Systems, 2nd Ed, pp. 625\u2013647. International Handbooks on Information Systems, Springer (2015). https:\/\/doi.org\/10.1007\/978-3-642-45100-3_27","key":"12_CR64","DOI":"10.1007\/978-3-642-45100-3_27"}],"container-title":["Digital Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-65004-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,2]],"date-time":"2023-02-02T08:15:43Z","timestamp":1675325743000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-65004-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783662650035","9783662650042"],"references-count":64,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-65004-2_12","relation":{},"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"3 February 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}