GRACeFUL
Global systems Rapid Assessment tools through Constraint FUnctional Languages
Total Cost €
0EC-Contrib. €
0Partnership
0Views
0GRACeFUL project word cloud
Explore the words cloud of the GRACeFUL project. It provides you a very rough idea of what is the project "GRACeFUL" about.
Project "GRACeFUL" data sheet
The following table provides information about the project.
| Coordinator |
UNIVERSITAT POLITECNICA DE CATALUNYA
Organization address contact info |
| Coordinator Country | Spain [ES] |
| Project website | http://www.graceful-project.eu |
| Total cost | 2˙404˙943 € |
| EC max contribution | 2˙404˙943 € (100%) |
| Programme |
1. H2020-EU.1.2.2. (FET Proactive) |
| Code Call | H2020-FETPROACT-2014 |
| Funding Scheme | RIA |
| Starting year | 2015 |
| Duration (year-month-day) | from 2015-02-01 to 2018-01-31 |
Partnership
Take a look of project's partnership.
| # | ||||
|---|---|---|---|---|
| 1 | UNIVERSITAT POLITECNICA DE CATALUNYA | ES (BARCELONA) | coordinator | 357˙311.00 |
| 2 | FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V. | DE (MUNCHEN) | participant | 454˙702.00 |
| 3 | CHALMERS TEKNISKA HOEGSKOLA AB | SE (GOETEBORG) | participant | 396˙455.00 |
| 4 | KATHOLIEKE UNIVERSITEIT LEUVEN | BE (LEUVEN) | participant | 361˙250.00 |
| 5 | ASSOCIATION POUR LA RECHERCHE ET LE DEVELOPPEMENT DES METHODES ET PROCESSUS INDUSTRIELS | FR (PARIS) | participant | 350˙650.00 |
| 6 | STICHTING DELTARES | NL (DELFT) | participant | 328˙350.00 |
| 7 | STICHTING KATHOLIEKE UNIVERSITEIT | NL (NIJMEGEN) | participant | 156˙225.00 |
Map
Project 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.
Deliverables
| Testing and Verification Framework | Demonstrators, pilots, prototypes | 2019-03-08 17:51:40 |
| Concept Maps to System Dynamics | Documents, reports | 2019-03-08 17:51:38 |
| Minutes of Project Meeting 6 | Documents, reports | 2019-03-08 17:51:34 |
| Evaluation Report CRUD RATs | Documents, reports | 2019-03-08 17:51:41 |
| Education and Training Plan | Documents, reports | 2019-03-08 17:51:41 |
| Constraint Checkers Synthesizer | Other | 2019-03-08 17:51:41 |
| CRUD RAT Prototype | Demonstrators, pilots, prototypes | 2019-03-07 16:20:00 |
| Geometrical Constraints for CRUD | Documents, reports | 2019-03-07 16:19:53 |
| Visual Analytics EDA Tool Prototype | Demonstrators, pilots, prototypes | 2019-03-06 12:11:00 |
| Final Dissemination & Communication Report | Documents, reports | 2019-01-09 15:33:31 |
| Minutes of Project Meeting 7 | Documents, reports | 2019-01-09 15:33:31 |
| Scientific Publications and Initiatives | Documents, reports | 2019-01-09 15:33:31 |
| CRUD Analysis Report | Documents, reports | 2019-02-12 12:38:26 |
| Data Management Plan | Documents, reports | 2019-02-12 12:38:20 |
| Minutes of Project Meeting 3 | Documents, reports | 2019-02-12 12:38:24 |
| Minutes of Project Meeting 2 | Documents, reports | 2019-03-05 09:35:18 |
| Visual Analytics EDA Requirements & Specifications Rev.2 | Documents, reports | 2019-03-05 09:35:43 |
| Minutes of Project Meeting 1 | Documents, reports | 2019-03-05 09:35:23 |
| Dissemination Plan | Documents, reports | 2019-02-12 12:38:14 |
| Minutes of Project Meeting 4 | Documents, reports | 2019-05-30 11:31:56 |
| Constraints Composition Ops Library | Other | 2019-02-12 12:38:06 |
| DSL for the CFP Platform | Other | 2019-02-12 12:38:06 |
| CRUD RATs Key Requirements | Documents, reports | 2019-03-05 09:35:58 |
| Minutes of Project Meeting 5 | Documents, reports | 2019-02-12 12:38:24 |
| Dissemination Plan (rev.2) | Documents, reports | 2019-02-12 12:38:22 |
| DSL for Concept Map Description | Other | 2019-03-07 17:30:57 |
| Prototype Status Report | Documents, reports | 2019-05-30 11:32:00 |
| GRACeFUL Project Website | Websites, patent fillings, videos etc. | 2019-02-12 12:38:13 |
| Visual Analytics EDA Requirements & Specifications Rev.1 | Documents, reports | 2019-03-07 17:30:55 |
| Formal Concept Maps Elements Description | Documents, reports | 2019-03-05 09:35:37 |
Take a look to the deliverables list in detail: detailed list of GRACeFUL deliverables.
Publications
| year | authors and title | journal | last update |
|---|---|---|---|
| 2018 |
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis Deriving generic bounds for time-series constraints based on regular expressions characteristics published pages: 44-86, ISSN: 1383-7133, DOI: 10.1007/s10601-017-9276-z |
Constraints 23/1 | 2019-05-29 |
| 2017 |
NICOLA BOTTA, PATRIK JANSSON, CEZAR IONESCU Contributions to a computational theory of policy advice and avoidability published pages: , ISSN: 0956-7968, DOI: 10.1017/S0956796817000156 |
Journal of Functional Programming 27 | 2019-05-29 |
| 2017 |
Nicola Botta, Patrik Jansson, Cezar Ionescu The impact of uncertainty on optimal emission policies published pages: 1-24, ISSN: 2190-4995, DOI: 10.5194/esd-2017-86 |
Earth System Dynamics Discussions | 2019-05-29 |
| 2018 |
Sadie McEvoy, Frans H.M. van de Ven, Michiel W. Blind, Jill H. Slinger Planning support tools and their effects in participatory urban adaptation workshops published pages: 319-333, ISSN: 0301-4797, DOI: 10.1016/j.jenvman.2017.10.041 |
Journal of Environmental Management 207 | 2019-05-29 |
| 2016 |
Neil Sculthorpe, Paolo Torrini, Peter D. Mosses A Modular Structural Operational Semantics for Delimited Continuations published pages: 63-80, ISSN: 2075-2180, DOI: 10.4204/EPTCS.212.5 |
Electronic Proceedings in Theoretical Computer Science 212 | 2019-05-27 |
| 2015 |
Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud\'Homme A Modelling Pearl with Sortedness Constraints published pages: 27-11, ISSN: , DOI: 10.29007/b4dz |
EPiC Series in Computing volume 36 | 2019-05-27 |
| 2016 |
Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis Using finite transducers for describing and synthesising structural time-series constraints published pages: 22-40, ISSN: 1383-7133, DOI: 10.1007/s10601-015-9200-3 |
Constraints 21/1 | 2019-05-27 |
| 2015 |
BENOIT DESOUTER, MARKO VAN DOOREN, TOM SCHRIJVERS Tabling as a library with delimited control published pages: 419-433, ISSN: 1471-0684, DOI: 10.1017/S1471068415000137 |
Theory and Practice of Logic Programming 15/4-5 | 2019-05-27 |
| 2017 |
Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud?homme, Andreas Schutt, Peter J. Stuckey Range-Consistent Forbidden Regions of Allen’s Relations published pages: 21-29, ISSN: 1611-3349, DOI: 10.1007/978-3-319-59776-8_2 |
Lecture Notes in Computer Science (LNCS) Vol. 10335 | 2019-05-27 |
| 2015 |
Paolo Torrini, Tom Schrijvers Reasoning about modular datatypes with Mendler induction published pages: 143-157, ISSN: 2075-2180, DOI: 10.4204/EPTCS.191.13 |
Electronic Proceedings in Theoretical Computer Science 191 | 2019-05-27 |
| 2016 |
Anna Keilbach Solving Complex Problems Collaboratively: The Role of Design in Inter- and Transdisciplinary Teams Referring to Climate Resilient Urban Design published pages: , ISSN: , DOI: |
2019-05-27 | |
| 2017 |
Botta, Nicola and Jansson, Patrik and Ionescu, Cezar and Christiansen, David R. and Brady, Edwin Sequential decision problems, dependent types and generic solutions published pages: 1-23, ISSN: 1860-5974, DOI: 10.23638/LMCS-13(1:7)2017 |
Logical Methods in Computer Science Volume 13, Issue 1 | 2019-05-27 |
| 2016 |
Pearson, Justin; Simonis, Helmut; Beldiceanu, Nicolas; RodrÃguez, MarÃa AndreÃna Francisco; Carlsson, Mats; Douence, Rémi; Francisco RodrÃguez, MarÃa AndreÃna; Flener, Pierre Global Constraint Catalog, Volume II, Time-Series Constraints published pages: , ISSN: , DOI: |
Global Constraint Catalog | 2019-05-27 |
| 2016 |
Tatiana von Landesberger, Felix Brodkorb, Philipp Roskosch, Natalia Andrienko, Gennady Andrienko, Andreas Kerren MobilityGraphs: Visual Analysis of Mass Mobility Dynamics via Spatio-Temporal Graphs and Clustering published pages: 11-20, ISSN: 1077-2626, DOI: 10.1109/TVCG.2015.2468111 |
IEEE Transactions on Visualization and Computer Graphics 22/1 | 2019-05-27 |
Are you the coordinator (or a participant) of this project? Plaese send me more information about the "GRACEFUL" project.
For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.
Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.
Thanks. And then put a link of this page into your project's website.
The information about "GRACEFUL" are provided by the European Opendata Portal: CORDIS opendata.