Ziel
The major aim of COMPUGRAPH II is to demonstrate the potential of graph transformation as a uniform framework for the development of modern software systems. In order to reach this aim, objectives have been established under the headings of foundations, concurrent computing, and graph transformation for specification and programming.
Within the area of foundations, research is directed towards the unification, extension, and completion of existing graph transformation theories.
In concurrent computing, the aim is to elaborate a graph transformation-based approach which can provide operation semantics for various models of concurrent computing (including Petri-nets and process description languages) and enhances correct and comprehensive specifications.
The graph transformation for specification and programming area considers graph transformation as the kernel of a rule-based specification language and aims at extending this kernel by typing mechanism, module and transformation concepts, applicability constraints, transactions, and concepts developed within concurrent computing in order to improve the feasibility of graph rewriting as a system specification method.
The research is working towards a unification and extension of the theory of graph transformation so that it can provide a uniform paradigm for computing, that is, for the specification, implementation, programming, and analysis of sequential, parallel and distributed systems.
A Hybrid Query Language for extended entity relationship databases has been developed. The language integrates graphical and textual notations. Its semantics is based on graph transformations. There is an ongoing research of applying high level replacement systems to different kinds of petri-nets. This has already lead to important new results for net transformation systems with interesting applications to specification of distributed systems.
A suitable variant of graph grammars has been used to specify the operational behaviour of an abstract machine that implements narrowing.
The notion of an actor grammar has been generalized to the more natural notion of an electronic support measure (ESM) system for which a compositional semantics has been presented. A different graph transformation model of actor systems has motivated the investigation of transformations dealing with consistent graph structures only.
A new framework for attributed graph transformations has been proposed. The manipulation of values taken from a suitably specified algebra is smoothly integrated into the framework of single pushout graph transformations.
Investigations about a new, truly concurrent semantics for graph grammars has been started. The first relevant result is the definition of an original notion of equivalence among graph derivations, which relates derivations which are essentially the same from the truly concurrent point of view.
Collage grammars have been introduced as a rule based device for picture generation. Collages consist of geometric objects together with entities 'hyperedges' that are repeatedly replaced by collages during the generation process.
ACTIVITIES
The work within COMPUGRAPH II is structured around three research areas: foundations; concurrent computing; graph transformation for specification and programming. Smaller teams have been established to tackle area-based issues.
This work will be organised by joint research and several meetings of two or more partners in each team in cooperation with European and international experts; for this reason the Group has drawn up an non-exclusive list of 11 scientific correspondents.
Three international workshops - including one in the USA in 1994 (for which an additional joint ESPRIT/NSF proposal has just been accepted) - will be used to demonstrate and integrate the results of the research areas. Moreover results will also be presented in scientific journals and at European and international conferences. COMPUGRAPH II will participate in and contribute to workshops of ESPRIT groups investigating related issues, including SEMAGRAPH II (6345), COMPASS II (6112), and workshops and conferences in the area of theoretical and applied Computer Science.
POTENTIAL
COMPUGRAPH II should provide a solid semantic foundation for new system specification and programming paradigms based on unified graph transformation models and the necessary theoretical background for initiating languageand CASE-based projects centered around these paradigms.
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 Datenbank
- Naturwissenschaften Informatik und Informationswissenschaften Software Anwendungssoftware Systemsoftware
- Naturwissenschaften Mathematik reine Mathematik Algebra
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
10587 BERLIN
Deutschland
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.