{"id":51917,"date":"2023-07-03T09:18:40","date_gmt":"2023-07-03T07:18:40","guid":{"rendered":"https:\/\/www.um.edu.mt\/projects\/behapi\/?p=51917"},"modified":"2023-07-06T08:15:14","modified_gmt":"2023-07-06T06:15:14","slug":"tutorial-day-at-discotec-2023","status":"publish","type":"post","link":"https:\/\/www.um.edu.mt\/projects\/behapi\/tutorial-day-at-discotec-2023\/","title":{"rendered":"Tutorial Day at DisCoTec 2023"},"content":{"rendered":"\n

This year’s BehAPI Tutorial Day, which was held on Friday 23rd June, took place in Lisbon, Portugal, in conjunction with DisCoTec 2023. Three researchers from GSSI and NOVA delivered tutorials on their respective areas of expertise. It was attended by a good number of researchers from varying universities and institutes, both from within and outside of the BehAPI consortium.<\/p>\n\n\n\n

Tutorials<\/h2>\n\n\n\n

Christian Bartolo Burl\u00f2 (GSSI, Italy) – SeTTS: Session Type Test Synthesis for Web-based APIs <\/h3>\n\n\n\n

This tutorial presented an approach for testing REST APIs, utilizing session types and an OpenAPI-based DSL to specify correct message exchanges\/API usages. A tool called SeTTS was created, which is able to generate randomized test executions to detect specification violations on open-source applications, requiring less code than handwritten tests.<\/p>\n\n\n\n

Tool here:<\/strong> https:\/\/chrisbartoloburlo.github.io\/cots\/<\/a>
Slides here:<\/strong> [x<\/a>]<\/p>\n\n\n\n

\n
\"\"<\/figure>\n\n\n\n
\"\"<\/figure>\n<\/figure>\n\n\n\n

Emilio Tuosto (GSSI, Italy) – Local-First Principles: a Behavioural Typing Approach<\/h3>\n\n\n\n

This tutorial covered distributed coordination using local-first principles, including a formal model of the Actyx platform and an approach utilizing behavioural types to analyze systems with distributed components. A prototype implementation of this formal framework was showcased, which was developed in collaboration with Roland Kuhn from Actyx AG, Germany, and Hern\u00e1n Melgratti from UBA & CONICET, Argentina.<\/p>\n\n\n\n

Slides here: [x<\/a>] (solutions found on last slide)<\/p>\n\n\n\n

\n
\"\"<\/figure>\n\n\n\n
\"\"<\/figure>\n<\/figure>\n\n\n\n

Jo\u00e3o Mota (NOVA, Portugal) – JaTyC – Java Typestate Checker<\/h3>\n\n\n\n

JaTyC, a tool that verifies JAVA code, was presented in this tutorial. In particular, the tool statically verifies that when a Java program runs: sequences of method calls obey to object\u2019s protocols; objects\u2019 protocols are completed; null-pointer exceptions are not raised; subclasses\u2019 instances respect the protocol of their superclasses.

Java Typestate Checker: <\/strong>https:\/\/github.com\/jdmota\/java-typestate-checker<\/a>
Typestate Editor:<\/strong> https:\/\/typestate-editor.github.io\/<\/a>
Session Subtyping Tool:<\/strong> https:\/\/github.com\/LBacchiani\/session-subtyping-tool<\/a>
Slides<\/strong>: [x]<\/a><\/p>\n\n\n\n

\n
\"\"<\/figure>\n\n\n\n
\"\"<\/figure>\n<\/figure>\n\n\n\n

Attendance<\/h2>\n\n\n\n

The tutorial day was well attended by researches both from within and outside of the BehAPI consortium. The majority of attendees were Early Stage Researchers, that is, PhD students and post-doc researchers.
<\/p>\n\n\n\n

\n
\"\"<\/figure>\n\n\n\n
\"\"<\/figure>\n\n\n\n
\"\"<\/figure>\n<\/figure>\n\n\n\n

Looking Ahead<\/h2>\n\n\n\n

The tutorial day for the BehAPI project was a resounding success, thanks to the continued support and funding from EU H2020 RISE programme, as well as the sustained dedication of project members. Attendees had the opportunity to gain insights into the work currently being produced within and alongside the project. This event marked another milestone in the BehAPI project’s journey, fostering collaboration, knowledge sharing, and paving the way for future advancements in the field.<\/p>\n","protected":false},"excerpt":{"rendered":"

This year’s BehAPI Tutorial Day, which was held on Friday 23rd June, took place in Lisbon, Portugal, in conjunction with DisCoTec 2023. Three researchers from GSSI and NOVA delivered tutorials<\/p>\n

Read More<\/a><\/div>\n","protected":false},"author":1,"featured_media":51946,"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\/51917"}],"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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/comments?post=51917"}],"version-history":[{"count":9,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51917\/revisions"}],"predecessor-version":[{"id":51962,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51917\/revisions\/51962"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media\/51946"}],"wp:attachment":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media?parent=51917"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/categories?post=51917"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/tags?post=51917"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}