CORDIS
EU research results

CORDIS

English EN

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

Address

Calle Jordi Girona 31
08034 Barcelona

Spain

Activity type

Higher or Secondary Education Establishments

EU Contribution

€ 357 311

Participants (6)

Sort alphabetically

Sort by EU Contribution

Expand all

STICHTING DELTARES

Netherlands

EU Contribution

€ 328 350

CHALMERS TEKNISKA HOEGSKOLA AB

Sweden

EU Contribution

€ 396 455

FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V.

Germany

EU Contribution

€ 454 702

ASSOCIATION POUR LA RECHERCHE ET LE DEVELOPPEMENT DES METHODES ET PROCESSUS INDUSTRIELS

France

EU Contribution

€ 350 650

KATHOLIEKE UNIVERSITEIT LEUVEN

Belgium

EU Contribution

€ 361 250

STICHTING KATHOLIEKE UNIVERSITEIT

Netherlands

EU Contribution

€ 156 225

Project information

Grant agreement ID: 640954

  • Start date

    1 February 2015

  • End date

    31 January 2018

Funded under:

H2020-EU.1.2.2.

  • Overall budget:

    € 2 404 943,75

  • EU contribution

    € 2 404 943

Coordinated by:

UNIVERSITAT POLITECNICA DE CATALUNYA

Spain