Objetivo
The objectives of CONCUR 2 are to:
- Extend process algebra and related logical calculi in the three directions that emerged as the most promising during CONCUR 1: real-time and probabilistic non-determinism, abstract datatypes and value passing, and infinite state spaces. For these extensions a wide range of potential applications exists.
- Obtain a unified view of process algebra at an advanced level. This means a unified view of the application of the different styles and mathematical approaches (CCS, MEIJE - operational semantics; CSP - model-based semantics; ACP - axiomatic semantics) as well as a coherent picture of the family of extensions that is being developed.
- Design, specify and implement common formats and interfaces that allow parallel and consistent tool development of many sites.
- Design, specify and implement prototype tools that allow construction and analysis of process algebra descriptions involving the three directions of extension mentioned above.
Concurrency theory is important for the specification and verification of concurrent and distributed systems. The research extends process algebra and logical calculi to incorporate real time aspects, probabilistic nondeterminism, value passing and infinite state spaces.
Extensions of process algebra and logical calculi that incorporate real time aspects, probabilistic nondeterminism, value passing, message passing, and infinite state spaces and further developed.
In order to unify different approaches, there is new work on the general theory of structural operational semantics (SOS) and its connection to axiomatizations; also, new work on general process algebra (especially in the real time area) that has a wide range of tailor made subcalculi. A first version of the toolset is available. Through a fixed exchange format based on transition systems, a wide range of tools supporting the design, specification and verification of concurrent and distributed systems can work together. Updates and extensions of the different tools are also achieved.
APPROACH AND METHODS
The project should deliver both a significant extension of theory and notation of process algebras and related calculi, exemplified by a substantial range of case studies, as well as some de facto software standards concerning tool design and tool interfacing. To this end, three lines of research will be pursued:
- theoretical research, on the extension and unification of process algebras and calculi
- tool development, ie the design, specification and implementation of prototype software tools, plus common formats and interfaces for them
- the application of the theory and tools in relevant case-studies.
POTENTIAL
The strength of the consortium derives from its combination of the largest academic teams working on process algebra, as well as on the fact that all the partners have long-standing experience in tool design for process algebra. In addition, each partner has access to industrial groups who can suggest or evaluate realistic case-studies. The partners share the ambition to see process algebra and calculi becoming a realistic tool for industrial system designers within the next five years.
Á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..
- ciencias naturales informática y ciencias de la información software
- ciencias naturales matemáticas matemáticas puras álgebra
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
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
5600 MB EINDHOVEN
Países Bajos
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.