My secondment at Green by Web was related to Task 3.4 (Static verification of b-APIs consumers) in WP3. We’ve addressed the problem of statically verifying systems of concurrent processes where
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.
During the secondment I gained familiarity with the processes, problems, and technologies involved in Freeland’s work. They develop ah hoc products for their customers, plus a few off-the shelf products
The secondment activities concerned the development of a new connection between databases and business processes declarative languages. Notably, it focused on the static properties of a generic mechanism to orthogonally
The aim of the visit was to work towards completion of task T2.7 on “Inferring behavioural descriptions for b-APIs (O2.3)”. During this visit, initial discussions took place with António Ravara
During my secondment at ITU, we explored different extensions of my previous work of Dynamic Reconfiguration of Business Processes. More in detail, business processes, which are behavioural representations of organization’s