Objective
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences databases
- natural sciences computer and information sciences software software applications system software
- natural sciences mathematics pure mathematics algebra
You need to log in or register to use this function
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
10587 BERLIN
Germany
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.