Ziel
Our aim is to develop declarative coordination programming environments based on the paradigm of shared dataspace communication and the chemical reaction model of execution. Advances will be in the direction of more sophisticated control and modularity, along with corresponding program logics that will allow formal verification of program properties through static analysis of programs, backed by formal execution methods and semantics. We expect that the results of the project will serve as a reference for the next generation of coordination languages.
APPROACH AND METHODS
Work will be carried out in the following key areas:
Coordination Components: The ultimate objective is to design a set of powerful language independent coordination mechanisms, able to offer modular solutions to coordinated control problems. Our methodology to achieve this objective is evolutionary; we will start with a study of our existing languages and develop new mechanisms to overcome perceived difficulties with them.
Compilation and Verification: Practical languages must be implemented efficiently. The development of compile-time optimisation techniques is therefore crucial to the success of our venture. We have considerable experience already in this areas and one of our key deliverables will be a software prototype for analysis of Linear Logic proofs, ie analysis of programs in the LO coordination language. We will be concerned, in the latter part of the project, with generalising this work to develop language independent tools. Of equal importance to program analysis is our ability to reason about and verify programs: to this end we will develop a program logic for coordination languages.
Execution Models and Semantics: While the chemical reaction metaphor provides a unifying framework for much of our work, work on the Chemical Abstract Machine (CHAM) has diverged from our own. We will address this issue by developing new abstract mechanism based on the chemical reaction metaphor capable of supporting our coordination primitives. In addition, we will study other approaches to semantics and establish their relevance to our work on coordination languages.
POTENTIAL
We will deliver four major software prototypes: a prototype implementation of HOP, an object-oriented coordination language; Gamma-log, a coordination language which specialises Gamma and Shared Prolog by putting together features from both; an abstract interpretation system for the analysis of linear logic proofs which will be developed as part of the work on the LO coordination language and will then be generalised as a language-independent tool; and an experimental implementation of the coordination language LO in the more traditional message-passing system provided by Facile.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
- Naturwissenschaften Informatik und Informationswissenschaften Software
- Naturwissenschaften Chemiewissenschaften
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Daten nicht verfügbar
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Daten nicht verfügbar
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Daten nicht verfügbar
Koordinator
LONDON
Vereinigtes Königreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.