{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:56:23Z","timestamp":1750308983627,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,11,7]],"date-time":"2017-11-07T00:00:00Z","timestamp":1510012800000},"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":[[2017,11,7]]},"DOI":"10.1145\/3167020.3167056","type":"proceedings-article","created":{"date-parts":[[2018,3,28]],"date-time":"2018-03-28T12:19:35Z","timestamp":1522239575000},"page":"235-242","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Verifiable and Resource-Aware Component Model for IoT Devices"],"prefix":"10.1145","author":[{"given":"Arthur","family":"Gatouillat","sequence":"first","affiliation":[{"name":"Univ Lyon, INSA-Lyon, LIRIS"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youakim","family":"Badr","sequence":"additional","affiliation":[{"name":"Univ Lyon, INSA-Lyon, LIRIS"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 1st Workshop on Model-driven Software Adaptation","author":"Ballagny Cyril","year":"2007","unstructured":"Cyril Ballagny , Nabil Hameurlain , and Franck Barbier . 2007 . Endowing PauWare Components with Autonomic Capabilities . In Proceedings of the 1st Workshop on Model-driven Software Adaptation . Berlin, Germany, 55--60. Cyril Ballagny, Nabil Hameurlain, and Franck Barbier. 2007. Endowing PauWare Components with Autonomic Capabilities. In Proceedings of the 1st Workshop on Model-driven Software Adaptation. Berlin, Germany, 55--60."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1083592.1083664"},{"volume-title":"Business Process Management.","author":"Bhattacharya Kamal","key":"e_1_3_2_1_3_1","unstructured":"Kamal Bhattacharya , Cagdas Gerede , Richard Hull , Rong Liu , and Jianwen Su. 2007. Towards Formal Analysis of Artifact-Centric Business Process Models . In Business Process Management. Vol. 4714 . Springer , 288--304. Kamal Bhattacharya, Cagdas Gerede, Richard Hull, Rong Liu, and Jianwen Su. 2007. Towards Formal Analysis of Artifact-Centric Business Process Models. In Business Process Management. Vol. 4714. Springer, 288--304."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997384"},{"key":"e_1_3_2_1_5_1","volume-title":"Ericsson Mobility Report. (June","author":"Cerwall Patrik","year":"2017","unstructured":"Patrik Cerwall . 2017. Ericsson Mobility Report. (June 2017 ). Patrik Cerwall. 2017. Ericsson Mobility Report. (June 2017)."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 1st International Workshop on the Globalization of Modeling Languages","volume":"1102","author":"Combemale Benoit","year":"2013","unstructured":"Benoit Combemale , Julien Deantoni , Robert France , Fr\u00e9d\u00e9ric Boulanger , S\u00e9bastien Mosser , Marc Pantel , Bernhard Rumpe , Rick Salay , and Martin Schindler . 2013 . Report on the First Workshop on the Globalization of Modeling Languages . In Proceedings of the 1st International Workshop on the Globalization of Modeling Languages , Vol. Vol- 1102 . Miami, Florida, USA, 3--13. Benoit Combemale, Julien Deantoni, Robert France, Fr\u00e9d\u00e9ric Boulanger, S\u00e9bastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, and Martin Schindler. 2013. Report on the First Workshop on the Globalization of Modeling Languages. In Proceedings of the 1st International Workshop on the Globalization of Modeling Languages, Vol. Vol-1102. Miami, Florida, USA, 3--13."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICEBE.2014.62"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 14th Australasian Database Conference","author":"Hamadi Rachid","year":"2003","unstructured":"Rachid Hamadi and Boualem Benatallah . 2003 . A Petri Net-Based Model for Web Service Composition . In Proceedings of the 14th Australasian Database Conference . Adelaide, Australia, 191--200. Rachid Hamadi and Boualem Benatallah. 2003. A Petri Net-Based Model for Web Service Composition. In Proceedings of the 14th Australasian Database Conference. Adelaide, Australia, 191--200."},{"volume-title":"Web Services and Formal Methods.","author":"Hull Richard","key":"e_1_3_2_1_10_1","unstructured":"Richard Hull , Elio Damaggio , Fabiana Fournier , Manmohan Gupta , Fenno Heath , Stacy Hobson , Mark Linehan , Sridhar Maradugu , Anil Nigam , Piyawadee Sukaviriya , and Roman Vaculin . 2011. Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles . In Web Services and Formal Methods. Vol. 6551 . Springer , Berlin, Heidelberg , 1--24. Richard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno Heath, Stacy Hobson, Mark Linehan, Sridhar Maradugu, Anil Nigam, Piyawadee Sukaviriya, and Roman Vaculin. 2011. Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles. In Web Services and Formal Methods. Vol. 6551. Springer, Berlin, Heidelberg, 1--24."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.423.0428"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2011.18"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31223-6_25"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/960322.960404"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 1st International Conference on Web Services. 3--9.","author":"Rao Jinghai","year":"2003","unstructured":"Jinghai Rao , Peep K\u00fcngas , and Mihhail Matskin . 2003 . Application of Linear Logic to Web Service Composition . In Proceedings of the 1st International Conference on Web Services. 3--9. Jinghai Rao, Peep K\u00fcngas, and Mihhail Matskin. 2003. Application of Linear Logic to Web Service Composition. In Proceedings of the 1st International Conference on Web Services. 3--9."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009386.1010186"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICIW.2007.71"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2011.11"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/NWeSP.2011.6088212"}],"event":{"name":"MEDES '17: The 9th International Conference on Management of Digital EcoSystems","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Bangkok Thailand","acronym":"MEDES '17"},"container-title":["Proceedings of the 9th International Conference on Management of Digital EcoSystems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167020.3167056","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167020.3167056","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:41:07Z","timestamp":1750282867000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167020.3167056"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,7]]},"references-count":19,"alternative-id":["10.1145\/3167020.3167056","10.1145\/3167020"],"URL":"https:\/\/doi.org\/10.1145\/3167020.3167056","relation":{},"subject":[],"published":{"date-parts":[[2017,11,7]]},"assertion":[{"value":"2017-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}