Detalhes
Nome
José Paiva ProençaCluster
InformáticaCargo
Investigador Colaborador ExternoDesde
01 março 2013
Nacionalidade
PortugalCentro
Laboratório de Software ConfiávelContactos
+351253604440
jose.p.proenca@inesctec.pt
2022
Autores
Proença, J; Lumpe, M;
Publicação
Sci. Comput. Program.
Abstract
2022
Autores
Proença, J; Borrami, S; de Nova, JS; Pereira, D; Nandi, GS;
Publicação
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings
Abstract
2022
Autores
Cledou, G; Edixhoven, L; Jongmans, SS; Proença, J;
Publicação
36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany.
Abstract
Construction and analysis of distributed systems is difficult. Multiparty session types (MPST) constitute a method to make it easier. The idea is to use type checking to statically prove deadlock freedom and protocol compliance of communicating processes. In practice, the premier approach to apply the MPST method in combination with mainstream programming languages has been based on API generation. In this paper (pearl), we revisit and revise this approach. Regarding our “revisitation”, using Scala 3, we present the existing API generation approach, which is based on deterministic finite automata (DFA), in terms of both the existing states-as-classes encoding of DFAs as APIs, and a new states-as-type-parameters encoding; the latter leverages match types in Scala 3. Regarding our “revision”, also using Scala 3, we present a new API generation approach that is based on sets of pomsets instead of DFAs; it crucially leverages match types, too. Our fresh perspective allows us to avoid two forms of combinatorial explosion resulting from implementing concurrent subprotocols in the DFA-based approach. We implement our approach in a new API generation tool. © Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, and Jos Proena; licensed under Creative Commons License CC-BY 4.0
2022
Autores
Cledou, G; Edixhoven, L; Jongmans, SS; Proença, J;
Publicação
Dagstuhl Artifacts Ser.
Abstract
2022
Autores
Jongmans, SS; Proença, J;
Publicação
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
Abstract
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.