The visit to MCF explored the possibility of applying choreographic design to control SDLC in the context of MCF production. The idea is to use global graphs to model distributed
Secondments are a major and systematic means for knowledge sharing inside the project consortium. At a “1-to-1” level, seconded and hosting (groups of) researchers strive for the advancement of knowledge triggered by the interactions between their complementary expertise and background. The secondments of ESRs (Early Stage Researchers) are mentored by the ERs (Experienced Researchers) at the host organisation. Mentors also involve ESRs in the scientific activities locally organised at the host institutions.
I worked with Professors V. Braberman, N. D’Ippolito, and S. Uchitel on the usage of synthesis for software engineering. Particularly, we were studying how can MTS be used as a
This secondment was related to Task 3.5, working towards providing techniques to guide and verify the correct usage of APIs and of their composition. In particular we are planning to
I have met with some members of the consortium I had not spoken with before. We are working towards a testing tool in order to ensure correct refactoring of actor
The parties are developing monitor based implementations to determine deadlocks within the manifest sharing type systems developed at CMU. The implementations are in terms of the Concurrent C0 language. The
The work focussed on understanding how the use of behavioural types for shared objects and concurrency can help in the context of Virtual Machines for sensor networks developed by our
The parties worked on studying Partial Identity Monitors, developed at CMU, as a mechanism for enforcing behavioural API properties at runtime. They also investigated ways for having a hybrid approach,
Hernan Melgratti, Emilio Tuosto and Ugo de’Liguoro have studied a notion of refinement in the context of choreographies, a family of formalisms describing interaction protocols among distributed applications. The issue