Skip to main content

Global systems Rapid Assessment tools through Constraint FUnctional Languages

Objective

The making of policies coping with Global Systems is a process that necessarily involves stakeholders from diverse disciplines, each with their own interests, constraints and objectives. People play a central role in such collective decision making and the quest for solutions to a problem generally intertwines its very specification.
Simulators can assist in this process provided they employ adequate high-level modelling to separate the political question from the underlying scientific details. Domain-specific Languages (DSL) embedded in Functional Programming (FP) languages offer a promising way to implement scalable and verifiable simulators. But the use of simulators is essentially a trial-and-error process too tedious for execution in a group session. A paradigm shift is needed towards active problem solving where stakeholders’ objectives can be taken along from the very beginning. Constraint Programming (CP) has demonstrated to enable such a shift for e.g. managed physical systems like water and power networks.
This project lays the base for a DSL aimed at building scalable Rapid Assessment Tools for collective policy making in global systems. This can be achieved through foundational scientific work at different levels: from the high-level, political modelling, adapting the social discipline of Group Model Building (as used in business organizations), through visual forms of CP as well as gamification aspects, down to the needs for a host language, combining CP and FP. Special emphasis is put on domain-specific constraints, constraint composition, and composable solvers and heuristics.
Results are applied and validated for the problem case of Climate-Resilient Urban Design, but the ambition is a general framework applicable to many other systems. The case study is assessed by an external multi-disciplinary Advisory Board of Stakeholders that guides the specification process and evaluates needs and usability of the tools.

Coordinator

UNIVERSITAT POLITECNICA DE CATALUNYA
Net EU contribution
€ 357 311,00
Address
Calle Jordi Girona 31
08034 Barcelona
Spain

See on map

Region
Este Cataluña Barcelona
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,25

Participants (7)

STICHTING DELTARES
Netherlands
Net EU contribution
€ 328 350,00
Address
Boussinesqweg 1
2629 HV Delft

See on map

Region
West-Nederland Zuid-Holland Delft en Westland
Activity type
Research Organisations
Non-EU contribution
€ 0,00
CHALMERS TEKNISKA HOGSKOLA AB
Sweden
Net EU contribution
€ 396 455,00
Address
-
412 96 Goteborg

See on map

Region
Södra Sverige Västsverige Västra Götalands län
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
FRAUNHOFER GESELLSCHAFT ZUR FORDERUNG DER ANGEWANDTEN FORSCHUNG EV
Germany
Net EU contribution
€ 454 702,00
Address
Hansastrasse 27c
80686 Munchen

See on map

Region
Bayern Oberbayern München, Kreisfreie Stadt
Activity type
Research Organisations
Non-EU contribution
€ 0,50
ASSOCIATION POUR LA RECHERCHE ET LE DEVELOPPEMENT DES METHODES ET PROCESSUS INDUSTRIELS
France
Net EU contribution
€ 193 275,00
Address
Boulevard Saint Michel 60
75272 Paris

See on map

Region
Ile-de-France Ile-de-France Paris
Activity type
Research Organisations
Non-EU contribution
€ 0,00
Third-party

Legal entity other than a subcontractor which is affiliated or legally linked to a participant. The entity carries out work under the conditions laid down in the Grant Agreement, supplies goods or provides services for the action, but did not sign the Grant Agreement. A third party abides by the rules applicable to its related participant under the Grant Agreement with regard to eligibility of costs and control of expenditure.

INSTITUT MINES-TELECOM
France
Net EU contribution
€ 157 375,00
Address
19 Place Marguerite Perey
91120 Palaiseau

See on map

Region
Ile-de-France Ile-de-France Essonne
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium
Net EU contribution
€ 361 250,00
Address
Oude Markt 13
3000 Leuven

See on map

Region
Vlaams Gewest Prov. Vlaams-Brabant Arr. Leuven
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
STICHTING RADBOUD UNIVERSITEIT
Netherlands
Net EU contribution
€ 156 225,00
Address
Houtlaan 4
6525 XZ Nijmegen

See on map

Region
Oost-Nederland Gelderland Arnhem/Nijmegen
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00