Objetivo
The GENESIS project set out to create a meta-system which would generate syntax-directed editors, transformation and proof tools from descriptions of the syntax and semantics of the formalisms used in software development. Metalanguages for the description of projection layouts, proof rules and tactics were to be defined.
The project set out to create a metasystem which would generate syntax directed editors, transformation and proof tools from descriptions of the syntax and semantics of the formalisms used in software development. Metalanguages for the description of projection layouts, proof rules and tactics were defined. The base system consists of the projection language KENSHO and the typed logic programming language JADE. Several kinds of proof in different logicial systems were tried out.
The GENESIS project has now been completed. The base system consists of the projection language KENSHO and the typed logic programming language JADE. Imperial Software Technology built support tools for VDM and Z, and several kinds of proof in different logical systems were tried out. Philips provided editors for the COLD-K and ERAE languages, as well as implementing a constructive logic machine. Imperial College implemented the omega-p logic environment for prototyping and experimenting with logic systems.
Exploitation
GENESIS has already been used as the platform for two formal methods support tools which are sold as products by IST. The VDM tool grew as a commercial development of the tool implemented under the GENESIS project case-study. The Z tool development was financed by a client of IST wishing to have Z tools for its own use. The client subsequently licensed IST to sell the tool commercially. IST has so far sold these tools to nine commercial and four academic organisations. IST intends to continue selling these tools and to seek commercial collaborations with other organisations to develop other tools (eg for CCS, CSP and LOTOS) using the GENESIS platform.
The GENESIS system is available at commercial rates to other organisations wishing to build tools and has been offered to other ESPRIT projects and to academic organisations on favourable terms.
IST has entered into a tool development contract with one client that offers considerable potential for further refinements to, and enhancements of, the GENESIS system itself. This arrangement, and others similar to it, will provide a self-financing routefor the continuing development of GENESIS within IST.
Philips currently releases all their project results together with necessary user documentation to all interested parties. Apart from software development departments within Philips, the results have been licensed to NOKIA research (for the ATMOSPHERE project, number 2565) and the University of Amsterdam.
Interest is mainly on applications, although the generator system has been evaluated within Philips Kommunikations Industrie for contribution to RACE project 1202 (SPECS).
Work on the constructive logic machine and associated publications continues. Proof construction in type theory is currently of great interest.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
Para utilizar esta función, debe iniciar sesión o registrarse
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Datos no disponibles
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Datos no disponibles
Coordinador
CB2 5HA Cambridge
Reino Unido
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.