Objectif
The objective of REPLAY was to provide evidence of the feasibility of reusing development plans and their component modules within the process of creating industrial software. The project aimed to advance the rather poorly understood domain of reusability.
Beside building on progressive generalisation of case studies, REPLAY explored both top-down replay of developments and bottom-up assembly of components. The possibilities of continually controlling these development plans was investigated by means of abstract interpretation and modelling of operational properties.
This project made extensive use of the DEVA language defined in the TOOL-USE project (510).
The objective was to provide evidence of the feasibility of reusing development plans and their component modules within the process of creating industrial software. Current domains under analysis are replays of development through several different technical approaches: the transformational style of developments; proof steps for data type representations or rectification in the Vienna development method (VDM) context; and composition of programs from components through a graphical connection language. The examples used for the observation and experimentation of these techniques are different development scenarios of a common problem extracted from a large application in biology; human leucocyte antigen (HLA) typing. This problem has been analysed using a symbolic approach with a different implementation target. This case study has been used to show the integration of techniques of the project, namely: transformationdevelopments driven by propogation of operational properties; an integrated top down and bottom up style of development using functional and relational styles for the composition of development parts; integration of methods (VDM algebraic methods) and support of these methods. A set of tools was designed and implemented for the support of the various approaches: the DEVA environment has been modified to support specific operations for reusing formal developments; the LPG environment has been modified and extended by an information system to support the reuse of algebraic components; and a library interconnection language (LIL) has been implemented, offering a graphical interface with facilities for the bottom up relational assembly of components.
Current domains under analysis are replays of development through several different technical approaches:
-transformational style of developments
-proof steps for data type representations or rectification in the VDM context
-composition of programs from components through a graphical connection language.
The examples used for the observation and experimentation of these techniques are different development scenarios of a common problem extracted from a large application in biology: Human Leucocyte Antigen (HLA) typing. It is presently tackled on large computers by statistical techniques. This problem has been analysed in the REPLAY context using a symbolic approach with a different implementation target.
This case-study has been used to show the integration of techniques of the project, namely:
-transformation developments driven by propagation of operational properties
-integrated top-down and bottom-up style of development using functional and relational styles for the composition of development parts
-integration of methods (VDM algebraic methods) and support of these methods.
During the final period of the project, a set of tools was designed and implemented for the support of the various approaches:
-the DEVA environments, coming from the companion project TOOL-USE, has been modified to support specific operations for reusing formal developments
-the LPG environment, designed by LIFIA, has been modified and extended by an information system (F1) to support the reuse of algebraic components
-a Library Interconnection Language (LIL) has been implemented, offering a graphical interface with facilities for the bottom-up relational assembly of components.
Exploitation
Although no industrial product has stemmed from the project, the knowledge gained should be valuable in achieving reusability in the longer-term and brings nearer the dramatic improvements of productivity and quality that could follow.
The project also helped to start the industrialisation of the software related to the HLA case study by a new project launched in the SPRINT research programme.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles informatique et science de l'information logiciel développement logiciel
- sciences sociales économie et affaires économie économie de la production productivité
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Nous sommes désolés... Une erreur inattendue s’est produite.
Vous devez être authentifié. Votre session a peut-être expiré.
Merci pour votre retour d'information. Vous recevrez bientôt un courriel confirmant la soumission. Si vous avez choisi d'être informé de l'état de la déclaration, vous serez également contacté lorsque celui-ci évoluera.
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Données non disponibles
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Données non disponibles
Coordinateur
31029 Toulouse
France
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.