De l’objet trace en génie logiciel

Résumé En Fr

On Trace Object in Software Engineering. Traces play a fundamental role in knowledge discovery. Often they are a preliminary indispensable to any discovery by a prior accumulation of observational data. But if considerable attention is given to the realization of traces for specific studies, we attach little importance to the general process that leads ultimately to develop an object named trace, i. e. the way in which traces are designed. Most of the formal approaches about traces are focused on properties of sets of traces, but they do not directly address the issues raised by the gradual construction of these sets, their evolution and manipulation. This paper proposes a formal approach to the design of traces by exploring the relationship between their production and their use in the context of software engineering. It introduces a trace object and some of its properties, as well as some possible transformations during its development. This article shows that this so depicted “ trace object” can have a status of knowledge in its most noble meaning, and that it has all the qualities of the traces in their most general senses. It is suggested that the various concepts of trace used in very different contexts correspond more or less to some “ trace object”.

Les traces jouent un rôle fondamental dans la découverte de connaissances. Bien souvent elles constituent un préliminaire incontournable à toute découverte, par une accumulation préalable de données d’observations. Mais, si une attention considérable est donnée à la réalisation de traces en vue d’études spécifiques, on attache peu d’importance en général au processus qui conduit à élaborer un objet finalement nommé trace, c’est-à-dire à la manière dont les traces sont conçues. La plupart des approches formelles concernant les traces ont toutes en commun de ne s’intéresser qu’aux propriétés d’ensembles de traces, mais elles ne traitent pas directement des questions soulevées par la construction progressive de ces ensembles, leur évolution ou leur manipulation. Cet article propose une approche formelle de la conception de traces en explorant les rapports entre leur production et leur utilisation dans le cadre du génie logiciel. Il introduit un objet trace et quelques unes de ses propriétés, ainsi que quelques transformations possibles au cours de son élaboration. Cet article montre que l’objet trace ainsi mis en évidence, peut avoir un statut de connaissance dans son sens le plus noble, et qu’il a toutes les qualités propres aux traces dans leur acceptation la plus générale. Il est ainsi suggéré que les différents concepts de trace utilisés dans des contextes très différents correspondent tous plus ou moins à un même “ objet trace”.