{"id":51766,"date":"2020-07-27T13:24:43","date_gmt":"2020-07-27T11:24:43","guid":{"rendered":"https:\/\/www.um.edu.mt\/projects\/behapi\/?p=51766"},"modified":"2020-07-27T13:24:43","modified_gmt":"2020-07-27T11:24:43","slug":"behapi-members-at-discotec-2020","status":"publish","type":"post","link":"https:\/\/www.um.edu.mt\/projects\/behapi\/behapi-members-at-discotec-2020\/","title":{"rendered":"BehAPI Members at DisCoTec 2020"},"content":{"rendered":"<p>Although this year&#8217;s DisCoTec was not held physically in Malta as originally planned, the online version of the conference was a great success, with a large number of participants registering from around the globe. Apart from a number of tutorials and invited speakers, the week consisted of three concurrent conferences (COORDINATION, FORTE, and DAIS), as well as two concurrent workshops (ICE and FOCODILE). The full programme including links to the presentations given can be found <a href=\"https:\/\/www.discotec.org\/2020\/programme\">here<\/a>.<\/p>\n<p><strong>Ivan Lanese (University of Bologna)<\/strong> has been recently elected chair of IFIP WG6.1, which involved cooperating to the organization of DisCoTec in general (the IFIP WG6.1 chair is part of DisCoTec SC) and FORTE in particular (the IFIP WG6.1 chair is also chair of FORTE SC). Aspects which are directly managed by the WG6.1 chair include the award of the DisCoTec best paper and the storing of the proceedings in the IFIP digital library. Other members of the BehAPI project were involved in the previously mentioned conferences and workshops.<\/p>\n<h2>COORDINATION<\/h2>\n<p><strong>Laura Bocchi (University of Kent)<\/strong> served as a Program Committee Chair for the 22nd International Conference on Coordination Models and Languages (COORDINATION), while <strong>Emilio Tuosto (University of Leicester)<\/strong> was on the steering committee of the same conference, and <strong>Hernan Melgratti (University of Buenos Aires)<\/strong> served as a PC member. Some of the accepted papers at this conference included:<\/p>\n<ul>\n<li><a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-030-50029-0_7\"><em>A Choreography-Driven Approach to APIs: the OpenDXL Case Study<\/em><\/a>, where <strong>Leonardo Frittelli (McAfee)<\/strong>, <strong>Facundo Maldonado (McAfee)<\/strong>, <strong>Hernan Melgratti<\/strong>, and <strong>Emilio Tuosto<\/strong> explored the applicability of some of the project\u2019s conclusions and tools to a use case in a McAfee API that is available for our customers. (<a href=\"https:\/\/www.youtube.com\/watch?v=f4IOcKm1wjs&amp;feature=youtu.be\">video<\/a>)<\/li>\n<li><em><a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-030-50029-0_6\">Choreography Automata<\/a>,\u00a0<\/em>a paper presented by by Franco Barbanera, <strong>Ivan Lanese<\/strong>, and <strong>Emilio Tuosto<\/strong> (<a href=\"https:\/\/www.youtube.com\/watch?v=ukzWeDZGKR0&amp;feature=youtu.be\">video<\/a>)<\/li>\n<li><a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-030-50029-0_12\"><em>Quality of Service ranking by quantifying partial compliance of requirements<\/em><\/a><em>,\u00a0<\/em>authored by two members of <strong>University of Buenos Aires<\/strong>:<strong> Agust\u00edn Eloy Martinez Su\u00f1\u00e9 <\/strong>and <strong>Carlos Gustavo Lopez Pombo<\/strong> (<a href=\"https:\/\/www.youtube.com\/watch?v=-w5h3e8lEgc&amp;feature=youtu.be\">video<\/a>)<\/li>\n<li><em><a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-030-50029-0_9\">GoPi: compiling linear and static channels in Go<\/a>.<\/em> The presentation by <strong>Marco Giunti (University of Bologna)<\/strong> introduced the GoPi compiler, a tool to transform high-level processes into executable Go programs. The tool is available at: <a href=\"https:\/\/github.com\/marcogiunti\/gopi\">https:\/\/github.com\/marcogiunti\/gopi<\/a> . (<a href=\"https:\/\/www.youtube.com\/watch?v=0S6y0MamAnM&amp;feature=youtu.be\">video<\/a>)<\/li>\n<li><a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-030-50029-0_10\"><em>SFJ: An Implementation of Semantic Featherweight Java<\/em> (Tool paper)<\/a> presented by <strong>Ornela Dardha (University of Glasgow)<\/strong> (<a href=\"https:\/\/www.youtube.com\/watch?v=80lTpmNlots&amp;feature=youtu.be\">video 1<\/a>) (<a href=\"https:\/\/www.youtube.com\/watch?v=oTFIjm0A2O8&amp;feature=youtu.be\">video 2<\/a>)<\/li>\n<li><em>On Implementing Symbolic Controllability<\/em><em>,<\/em> presented by <strong>University of Malta <\/strong>members <strong>Adrian Francalanza <\/strong>and <strong>Jasmine Xuereb<\/strong> (video)<\/li>\n<\/ul>\n<h2>FORTE<\/h2>\n<p>As described earlier, Ivan Lanese served as chair for the 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, while Marco Carbone (ITU) formed part of the Programme Committee of the same conference. Furthermore, Christian Bartolo Burlo and Adrian Francalanza, both members of University of Malta, presented the paper entitled <a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-030-50086-3_13\"><em>Towards a Hybrid Verification Methodology for Communication Protocols<\/em><\/a>, along with Alceste Scalas (<a href=\"https:\/\/www.youtube.com\/watch?v=FL_teSjllSE&amp;feature=youtu.be\">video<\/a>).\u00a0<\/p>\n<h2>ICE Workshop<\/h2>\n<p><strong>Julien Lange (University of Kent)<\/strong> served as co-chair of the ICE Workshop. Some of the papers presented by BehAPI members at this workshop included:<\/p>\n<ul>\n<li><em>Typestates to Automata and back: a tool<\/em><em>,\u00a0<\/em>by Jo\u00e3o Mota, Andr\u00e9 Trindade, and <strong>Ant\u00f3nio Ravara (NOVA)\u00a0<\/strong>(<a href=\"https:\/\/www.youtube.com\/watch?v=GCSPPtOgZqw&amp;feature=youtu.be\">video<\/a>)<\/li>\n<li><em>An Abstract Framework for Choreographic Testing,\u00a0<\/em>presented by<strong> Emilio Tuosto<\/strong>, Roberto Guanciale, and Alex Coto (<a href=\"https:\/\/www.youtube.com\/watch?v=4p5cp4YYidg&amp;feature=youtu.be\">video<\/a>)<\/li>\n<li><em><a href=\"https:\/\/www.discotec.org\/2020\/ice-preprints\/TowardsRefChor.pdf\">Towards Refinable Choreographies<\/a>,\u00a0<\/em>by <strong>Ugo de\u2019Liguoro (University of Torino)<\/strong>,<strong> Hernan Melgratti<\/strong>, and <strong>Emilio Tuosto<\/strong> (<a href=\"https:\/\/www.discotec.org\/2020\/slides\/ice\/ICE-2020-RefiningChor-slides.pdf\">slides<\/a>) (<a href=\"https:\/\/www.youtube.com\/watch?v=laWFIji4Eto&amp;feature=youtu.be\">video<\/a>)<\/li>\n<li><em>Microservice Interface Based Deployment Orchestration<\/em> (oral contribution) by Lorenzo Bacchiani, <strong>Mario Bravetti (University of Bologna)<\/strong>, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, and <strong>Gianluigi Zavattaro (University of Bologna)<\/strong> (<a href=\"https:\/\/www.discotec.org\/2020\/slides\/ice\/ICE-2020-MicroservDeployment.pdf\">slides<\/a>) (<a href=\"https:\/\/youtu.be\/sKH_UfwepN0\">video<\/a>)<\/li>\n<\/ul>\n<h2>Tutorials<\/h2>\n<p>The DisCoTec Tutorial Day allowed researchers to promote a <em>mature<\/em> tool that has been under development over the last few years. Two of these tutorials were presented by <strong>Emilio Tuosto<\/strong> on <a href=\"https:\/\/www.discotec.org\/2020\/tutorials#choreographic-development-of-message-passing-applications\"><em>Choreographic Development of Message-Passing Applications<\/em><\/a> and by<strong> Ornela Dardha <\/strong>on\u00a0<em><a href=\"https:\/\/www.discotec.org\/2020\/tutorials#typechecking-java-protocols-with-mungostmungo\">Typechecking Java protocols with Mungo\/StMungo<\/a>.<\/em><\/p>\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Although this year&#8217;s DisCoTec was not held physically in Malta as originally planned, the online version of the conference was a great success, with a large number of participants registering<\/p>\n<div class=\"read-more\"><a class=\"btn read-more-link\" href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/behapi-members-at-discotec-2020\/\">Read More<\/a><\/div>\n","protected":false},"author":18,"featured_media":51771,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[36],"tags":[],"acf":[],"_links":{"self":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51766"}],"collection":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/users\/18"}],"replies":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/comments?post=51766"}],"version-history":[{"count":2,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51766\/revisions"}],"predecessor-version":[{"id":51769,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51766\/revisions\/51769"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media\/51771"}],"wp:attachment":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media?parent=51766"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/categories?post=51766"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/tags?post=51766"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}