DCR Solutions provides adaptive case management (ACM) solutions. In WP2, DCR Solutions is involved in the development of traceability mechanisms (with IT University of Copenhagen, University of Leicester, NOVA and
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
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
IT University of Copenhagen carries out research in many areas of computer science. Two of our research groups, the programming, logic and semantics group and the process and system models
Aalborg University has world-leading researchers in the areas of structural operational semantics and type- and logic-based techniques for the analysis of software. Aalborg University has collaborated with other BEHAPI partners
This secondment was related to Task 2.5 in WP2. A characterisation of multiparty session types in intuitionistic linear logic was explored.