{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T11:19:33Z","timestamp":1765279173568,"version":"3.37.3"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,7]],"date-time":"2021-09-07T00:00:00Z","timestamp":1630972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,7]],"date-time":"2021-09-07T00:00:00Z","timestamp":1630972800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,7]],"date-time":"2021-09-07T00:00:00Z","timestamp":1630972800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002347","name":"German Federal Ministry of Education and Research (BMBF) through the project BaSys 4.2","doi-asserted-by":"publisher","award":["01IS19022N"],"award-info":[{"award-number":["01IS19022N"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,7]]},"DOI":"10.1109\/etfa45728.2021.9613327","type":"proceedings-article","created":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:13:36Z","timestamp":1638317616000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["Towards Service Deployment and Composition in Industry 4.0"],"prefix":"10.1109","author":[{"given":"Tarik","family":"Terzimehic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kirill","family":"Dorofeev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Bergemann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alois","family":"Zoitl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Voss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","article-title":"SMT-Based Deployment Calculation in Industrial Automation Domain","author":"terzimehi?","year":"0","journal-title":"Proc IEEE Int Conf Emerging Technol Factory Autom"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP.2019.00022"},{"journal-title":"The Factory Succeeded in Cutting Downtime by 25 % through the Introduction of IoT","year":"2013","key":"ref31"},{"key":"ref30","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2258165"},{"key":"ref11","article-title":"System requirements in industrial automation: A Review of Modeling Methodologies for Control Software Architectures","author":"insaurralde","year":"0","journal-title":"Proc IEEE Int Conf Ind Informat (INDIN)"},{"journal-title":"Basic Real-Time Reconfiguration Services for Zero Down-Time Automation Systems","year":"2007","author":"zoitl","key":"ref12"},{"journal-title":"Evaluation of Downtimeless System Evolution in Automation and Control Systems","year":"2008","author":"s\u00fcnder","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.900670"},{"journal-title":"IEC 61131-3 Programmable Controllers Part 3 Programming Languages","year":"2003","key":"ref15"},{"journal-title":"IEC 61499-1 Function Blocks for Industrial Process Measurement and Control Systems Part 1 Architecture","year":"2005","key":"ref16"},{"key":"ref17","article-title":"Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based Systems","author":"terzimehi?","year":"0","journal-title":"14th IEEE International Conference on Automation Science and Engineering (CASE)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.299"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2805320"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/OJIES.2021.3055461"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2018.1510558"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005222"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-019-00589-y"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2010.2059012"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2016.7733729"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.18"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-013-0744-z"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2014.75041"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005213"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.14"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2018.8471955"},{"journal-title":"Proc 8th IEEE Int Conf Emerging Technologies and Factory Automation (ETFA)","year":"0","author":"weser","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jprocont.2013.03.010"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2017.8247599"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2004.1377749"},{"key":"ref26","article-title":"Verification of hierarchical iec 61499 component systems with behavioral event contracts","author":"pr\u00e4hofer","year":"0","journal-title":"11th IEEE International Conference on Industrial Informatics (INDIN)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA45728.2021.9613728"}],"event":{"name":"2021 IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2021,9,7]]},"location":"Vasteras, Sweden","end":{"date-parts":[[2021,9,10]]}},"container-title":["2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9613137\/9613141\/09613327.pdf?arnumber=9613327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:52:35Z","timestamp":1652201555000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9613327\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,7]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/etfa45728.2021.9613327","relation":{},"subject":[],"published":{"date-parts":[[2021,9,7]]}}}