{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T18:45:39Z","timestamp":1764873939870,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T00:00:00Z","timestamp":1636329600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,11,8]]},"DOI":"10.1145\/3494322.3494336","type":"proceedings-article","created":{"date-parts":[[2022,3,8]],"date-time":"2022-03-08T22:23:32Z","timestamp":1646778212000},"page":"102-109","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Business Process Models for Analysis of Industrial IoT Applications"],"prefix":"10.1145","author":[{"given":"Ajay","family":"Krishna","sequence":"first","affiliation":[{"name":"Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gwen","family":"Sala\u00fcn","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,3,8]]},"reference":[{"volume-title":"Introduction to the standard for business process modeling","author":"Allweyer Thomas","key":"e_1_3_2_1_1_1","unstructured":"Thomas Allweyer . 2016. BPMN 2.0 : Introduction to the standard for business process modeling . BoD\u2013Books on Demand. Thomas Allweyer. 2016. BPMN 2.0: Introduction to the standard for business process modeling. BoD\u2013Books on Demand."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2016.2610185"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.23919\/ICCAS.2017.8204485"},{"volume-title":"All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Vol.\u00a04350","author":"Clavel Manuel","key":"e_1_3_2_1_4_1","unstructured":"Manuel Clavel , Francisco Dur\u00e1n , Steven Eker , Patrick Lincoln , Narciso Mart\u00ed-Oliet , Jos\u00e9 Meseguer , and Carolyn Talcott . 2007. All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Vol.\u00a04350 . Springer . Manuel Clavel, Francisco Dur\u00e1n, Steven Eker, Patrick Lincoln, Narciso Mart\u00ed-Oliet, Jos\u00e9 Meseguer, and Carolyn Talcott. 2007. All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Vol.\u00a04350. Springer."},{"volume-title":"IoT automation: Arrowhead framework","author":"Delsing Jerker","key":"e_1_3_2_1_5_1","unstructured":"Jerker Delsing . 2017. IoT automation: Arrowhead framework . CRC Press . Jerker Delsing. 2017. IoT automation: Arrowhead framework. CRC Press."},{"key":"e_1_3_2_1_6_1","volume-title":"Semantics and analysis of business process models in BPMN. Information and Software technology 50, 12","author":"Dijkman M","year":"2008","unstructured":"Remco\u00a0 M Dijkman , Marlon Dumas , and Chun Ouyang . 2008. Semantics and analysis of business process models in BPMN. Information and Software technology 50, 12 ( 2008 ), 1281\u20131294. Remco\u00a0M Dijkman, Marlon Dumas, and Chun Ouyang. 2008. Semantics and analysis of business process models in BPMN. Information and Software technology 50, 12 (2008), 1281\u20131294."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/OJIES.2021.3056400"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570732"},{"key":"e_1_3_2_1_9_1","volume-title":"Seamless Reconfiguration of Rule-Based IoT Applications. In SEAMS 2021-16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Vol.\u00a01. 142\u2013148","author":"Dur\u00e1n Francisco","year":"2021","unstructured":"Francisco Dur\u00e1n , Ajay Krishna , Michel Le\u00a0Pallec , Radu Mateescu , and Gwen Sala\u00fcn . 2021 . Seamless Reconfiguration of Rule-Based IoT Applications. In SEAMS 2021-16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Vol.\u00a01. 142\u2013148 . Francisco Dur\u00e1n, Ajay Krishna, Michel Le\u00a0Pallec, Radu Mateescu, and Gwen Sala\u00fcn. 2021. Seamless Reconfiguration of Rule-Based IoT Applications. In SEAMS 2021-16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Vol.\u00a01. 142\u2013148."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.08.007"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.102303"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678427"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.857614"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2019.8869501"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.09.007"},{"key":"e_1_3_2_1_16_1","first-page":"61","article-title":"OPC UA\u2013service-oriented architecture for industrial applications","volume":"48","author":"Leitner Stefan-Helmut","year":"2006","unstructured":"Stefan-Helmut Leitner and Wolfgang Mahnke . 2006 . OPC UA\u2013service-oriented architecture for industrial applications . ABB Corporate Research Center 48 (2006), 61 \u2013 66 . Stefan-Helmut Leitner and Wolfgang Mahnke. 2006. OPC UA\u2013service-oriented architecture for industrial applications. ABB Corporate Research Center 48 (2006), 61\u201366.","journal-title":"ABB Corporate Research Center"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Robert Lewis. 2001. Modelling control systems using IEC 61499: Applying function blocks to distributed systems. Number\u00a059. Iet.  Robert Lewis. 2001. Modelling control systems using IEC 61499: Applying function blocks to distributed systems. Number\u00a059. Iet.","DOI":"10.1049\/PBCE059E"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00357-7"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2014.6945553"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/JCSSE.2016.7748885"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.2978527"},{"key":"e_1_3_2_1_22_1","unstructured":"Gideon Rose. 2016. The Fourth Industrial Revolution: A Davos Reader. Foreign Affairs.  Gideon Rose. 2016. The Fourth Industrial Revolution: A Davos Reader. Foreign Affairs."},{"volume-title":"The Future of Productivity and Growth in Manufacturing Industries","author":"R\u00fc\u00dfmann Michael","key":"e_1_3_2_1_23_1","unstructured":"Michael R\u00fc\u00dfmann , Markus Lorenz , Philipp Gerbert , Manuela Waldner , Pascal Engel , Michael Harnisch , and Jan Justus . 2015. Industry 4.0 : The Future of Productivity and Growth in Manufacturing Industries . Boston Consulting Group . Michael R\u00fc\u00dfmann, Markus Lorenz, Philipp Gerbert, Manuela Waldner, Pascal Engel, Michael Harnisch, and Jan Justus. 2015. Industry 4.0: The Future of Productivity and Growth in Manufacturing Industries. Boston Consulting Group."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)30775-9"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2004.1417414"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2009.934796"},{"key":"e_1_3_2_1_27_1","volume-title":"The 5th International Workshop on Model-driven Robot Software Engineering (MORSE","author":"Walter J\u00f6rg","year":"2018","unstructured":"J\u00f6rg Walter , Kim Gr\u00fcttner , and Wolfgang Nebel . 2018 . Using IEC 61499 and OPC-UA to implement a self-organising plug and produce system . In The 5th International Workshop on Model-driven Robot Software Engineering (MORSE 2018). J\u00f6rg Walter, Kim Gr\u00fcttner, and Wolfgang Nebel. 2018. Using IEC 61499 and OPC-UA to implement a self-organising plug and produce system. In The 5th International Workshop on Model-driven Robot Software Engineering (MORSE 2018)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00757-6"},{"volume-title":"Model-Driven Design Using IEC 61499","author":"Yoong Li\u00a0Hsien","key":"e_1_3_2_1_30_1","unstructured":"Li\u00a0Hsien Yoong , Partha\u00a0 S Roop , Zeeshan\u00a0 E Bhatti , and Matthew\u00a0 MY Kuo . 2015. Model-Driven Design Using IEC 61499 . Springer . Li\u00a0Hsien Yoong, Partha\u00a0S Roop, Zeeshan\u00a0E Bhatti, and Matthew\u00a0MY Kuo. 2015. Model-Driven Design Using IEC 61499. Springer."}],"event":{"name":"IoT '21: 11th International Conference on the Internet of Things","acronym":"IoT '21","location":"St.Gallen Switzerland"},"container-title":["Proceedings of the 11th International Conference on the Internet of Things"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3494322.3494336","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3494322.3494336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:42Z","timestamp":1750193322000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3494322.3494336"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,8]]},"references-count":29,"alternative-id":["10.1145\/3494322.3494336","10.1145\/3494322"],"URL":"https:\/\/doi.org\/10.1145\/3494322.3494336","relation":{},"subject":[],"published":{"date-parts":[[2021,11,8]]},"assertion":[{"value":"2022-03-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}