4 citations · 7 across the 5 of their papers we have counts for
5 papers
Microservice Interface Based Deployment Orchestration
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo +3
Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component in…
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov +4
We present a type-based analysis ensuring memory safety and object protocol completion in the Java-like language Mungo. Objects are annotated with usages, typestates-like specifica…
Optimal and Automated Deployment for Microservices
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro +2
Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper…
Choreographies and Behavioural Contracts on the Way to Dynamic Updates
Mario Bravetti, Gianluigi Zavattaro
We survey our work on choreographies and behavioural contracts in multiparty interactions. In particular theories of behavioural contracts are presented which enable reasoning abou…
File Managing and Program Execution in Web Operating Systems
Mario Bravetti
Web Operating Systems can be seen as an extension of traditional Operating Systems where the addresses used to manage files and execute programs (via the basic load/execution mecha…