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.
Tutorials
Christian Bartolo Burlò (GSSI, Italy) – SeTTS: Session Type Test Synthesis for Web-based APIs
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.
Tool here: https://chrisbartoloburlo.github.io/cots/
Slides here: [x]
Emilio Tuosto (GSSI, Italy) – Local-First Principles: a Behavioural Typing Approach
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án Melgratti from UBA & CONICET, Argentina.
Slides here: [x] (solutions found on last slide)
João Mota (NOVA, Portugal) – JaTyC – Java Typestate Checker
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’s protocols; objects’ protocols are completed; null-pointer exceptions are not raised; subclasses’ instances respect the protocol of their superclasses.
Java Typestate Checker: https://github.com/jdmota/java-typestate-checker
Typestate Editor: https://typestate-editor.github.io/
Session Subtyping Tool: https://github.com/LBacchiani/session-subtyping-tool
Slides: [x]
Attendance
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.
Looking Ahead
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.