Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/85958
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bartolo Burlò, Christian | - |
dc.contributor.author | Francalanza, Adrian | - |
dc.contributor.author | Scalas, Alceste | - |
dc.date.accessioned | 2021-12-22T09:39:05Z | - |
dc.date.available | 2021-12-22T09:39:05Z | - |
dc.date.issued | 2021 | - |
dc.identifier.citation | Bartolo Burlò, C., Francalanza, A., & Scalas, A. (2021). On the monitorability of session types, in theory and practice. 35th European Conference on Object-Oriented Programming (ECOOP 2021), Aarhus. 1-30. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar/handle/123456789/85958 | - |
dc.description.abstract | Software components are expected to communicate according to predetermined protocols and APIs. Numerous methods have been proposed to check the correctness of communicating systems against such protocols/APIs. Session types are one such method, used both for static type-checking as well as for run-time monitoring. This work takes a fresh look at the run-time verification of communicating systems using session types, in theory and in practice. On the theoretical side, we develop a formal model of session-monitored processes. We then use this model to formulate and prove new results on the monitorability of session types, defined in terms of soundness (i.e., whether monitors only flag ill-typed processes) and completeness (i.e., whether all ill-typed processes can be flagged by a monitor). On the practical side, we show that our monitoring theory is indeed realisable: we instantiate our formal model as a Scala toolkit (called STMonitor) for the automatic generation of session monitors. These executable monitors can be used as proxies to instrument communication across black-box processes written in any programming language. Finally, we evaluate the viability of our approach through a series of benchmarks. | en_GB |
dc.description.sponsorship | This work has been partly supported by: the project MoVeMnt (No: 217987-051) under the Icelandic Research Fund; the BehAPI project funded by the EU H2020 RISE under the Marie Skłodowska-Curie action (No: 778233); the EU Horizon 2020 project 830929 CyberSec4Europe; the Danish Industriens Fonds Cyberprogram 2020-0489 Security-by-Design in Digital Denmark. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Software engineering | en_GB |
dc.subject | Computer communication systems | en_GB |
dc.subject | Programming languages (Electronic computers) | en_GB |
dc.subject | Computer logic | en_GB |
dc.subject | Computer science | en_GB |
dc.subject | Scala (Computer program language) | en_GB |
dc.title | On the monitorability of session types, in theory and practice | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder. | en_GB |
dc.bibliographicCitation.conferencename | 35th European Conference on Object-Oriented Programming (ECOOP 2021) | en_GB |
dc.bibliographicCitation.conferenceplace | Aarhus, Denmark, 11-17/07/2021 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.4230/LIPIcs.ECOOP.2021.20 | - |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
On the Monitorability of Session Types.pdf | Primary version of the article | 1.28 MB | Adobe PDF | View/Open |
On the Monitorability of Session Types (extended version).pdf | Extended version of the article. | 1.44 MB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.