Papers by Mireille Blay-Fornarino
HAL (Le Centre pour la Communication Scientifique Directe), May 28, 2018
La création d'un produit, que cela soit un objet matériel ou un service, s'accompagne de la produ... more La création d'un produit, que cela soit un objet matériel ou un service, s'accompagne de la production de justifications qui peuvent être, suivant les cas, des éléments de conformité dans le cadre de la qualité, des documents de traçabilité, des rapports d'expérimentations, des rapports d'experts, etc. Dans des contextes critiques, comme le médical, le ferroviaire ou l'aéronautique, il est obligatoire de convaincre une autorité certificatrice, que le développement d'un produit a été correctement réalisé. Cette obligation entraîne une inflation des documents justificatifs, inflation qui rend la lecture et la compréhension de cet ensemble de justifications difficile. Pour structurer ces justifications, il peut être utile d'utiliser des diagrammes de justification. Cependant, ces diagrammes, bien qu'utiles, ne sont qu'une notation graphique informelle. Dans cet article, nous définissons une sémantique formelle du diagramme de justification et nous donnons les premières pistes de ce que pourrait être un logiciel d'aide à la conception de tels diagrammes. ABSTRACT. The creation of a product, whether it is an object or a service, is accompanied by the production of justifications which may be, depending on the case, elements of conformity in the context of quality, traceability documents, experimental reports, expert reports, etc. In critical contexts, such as medical, railway or aeronautics, it is mandatory to convince a certifying authority that the development of a product has been carried out correctly. This obligation leads to an inflation of justification documents, which makes it difficult to read and to understand this set of justifications. To structure these justifications, it may be useful to use Justification Diagrams. However, these diagrams, while useful, are only an informal graphical notation. In this article, we define a formal semantics of the Justification Diagram and we give the first hints of what could be a software to support the design of such diagrams.
Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A
In Machine Learning (ML), the resolution of anomaly detection problems in time series presents a ... more In Machine Learning (ML), the resolution of anomaly detection problems in time series presents a great diversity of practices as it can correspond to many different contexts. These practices cover both grasping the business problem and designing the solution itself. By practice, we designate explicit and implicit steps toward resolving a problem, while a solution corresponds to a combination of algorithms selected for their performance on a given problem. Two related issues arise. The first one is that the practices are individual and not explicitly mutualized. The second one is that choosing one solution over another is all the more difficult to justify because the space of solutions and the evaluation criteria are vast and evolve rapidly with the advances in ML. To solve these issues and tame the evolving diversity in ML, a Software Product Line (SPL) approach can be envisaged to represent the variable set of solutions. However, this requires characterizing an ML business problem through an explicit set of criteria and justifying one ML solution over all others. The resolution of anomaly detection problems is thus different from finding the best configuration workflow from past configurations but lies more in guiding the configuration towards a solution that may never have been studied before. This paper proposes an SPL approach that capitalizes on past practices by exploiting a variability-aware representation to detect new criteria and constraints when practices adopt different solutions to seemingly similar problems. We report on the evaluation of our approach using a set of applications from the literature and an ML software company. We show how the analysis of practices makes it possible to consolidate the knowledge contained in the SPL.
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
The Machine Learning (ML) world is in constant evolution, as the amount of different algorithms i... more The Machine Learning (ML) world is in constant evolution, as the amount of different algorithms in this context is evolving quickly. Until now, it is the responsibility of data scientists to create ad-hoc ML pipelines for each situation they encounter, gaining knowledge about the adequacy between their context and the chosen pipeline. Considering that it is not possible at a human scale to analyze the exponential number of potential pipelines, picking the right pipeline that combines the proper preprocessing and algorithms is a hard task that requires knowledge and experience. In front of the complexity of building a right ML pipeline, algorithm portfolios aim to drive algorithm selection, learning from the past in a continuous process. However, building a portfolio requires that (i) data scientists develop and test pipelines and (ii) portfolio maintainers ensure the quality of the portfolio and enrich it. The firsts are the developers, while the seconds are the operators. In this paper, we present a set of criteria to be respected, and propose a pipeline-based meta-model, to support a DevOps approach in the context of Machine Learning Pipelines. The exploitation of this meta-model, both as a graph and as a logical expression, serves to ensure continuity between Dev and Ops. We depict our proposition through the simplified study of two primary use cases, one with developer's point-of-view, the other with ops'.
Management des systèmes d'information, Manuel et Applications Michelle Gillet, Patrick Gillet DSC... more Management des systèmes d'information, Manuel et Applications Michelle Gillet, Patrick Gillet DSCG 6 • Épreuve orale d'économie se déroulant partiellement en anglais, Manuel et Applications François Coulomb, jean Longatte, Pascal Vanhove La collection Expert Sup propose tous les outils de la réussite • Les Manuels clairs, complets et régulièrement actualisés, présentent de nombreuses rubriques d'exemples, de définition, d'illustration ainsi que des énoncés d'application. • Les Corrigés sont disponibles en fin d'ouvrage ou dans un ouvrage publié à part. • Les Cas pratiques avec corrigés commentés et rappel de cours détaillés permettent de travailler toutes les difficultés du programme. MANUEL ET APPLICATIONS DSCG 5 Management des systèmes d'information Michelle GILLET Enseignante en management des systèmes d'information et en gestion de projets en Master 2 à l'IAE de Poitiers et en modélisation des systèmes d'information et génie logiciel au CNAM Poitou-Charentes Patrick GILLET Enseignant en programmation et architecture des systèmes en Master 2 à l'IAE de Poitiers et en programmation orientée objet, programmation système et Web, méthodologie de déploiement au CNAM Poitou-Charentes Corrigés inclus
ion (du monde r#el) [11]. Cette approche permet de proposer une architecture originale dans des m... more ion (du monde r#el) [11]. Cette approche permet de proposer une architecture originale dans des mondes homog#nes o# tout composant peut #tre d#crit par des d#pendances ou en mondes h#t#rog#nes o# l'int#gration d'un gestionnaire de dialogue devient n#cessaire. Ces travaux ont donn# lieu # plusieurs pr#sentations dans le cadre des GDR et # un d#but de collaboration avec une #quipe du CNET Sophia. A Controler P C P C graphical object 1 graphical object 2 constraints rules P P C graphical object 1 graphical object 2 A PAC Hierarchy The FLO Implementation A Controler C C constraints rules C A PAC Hierarchy The FLO Implementation A A application object 1 application object 2 application object 1 application object 2 A A Figure 5: Mod#lisation FLO de PAC 2.3.5 Contraintes r#actives pour les interfaces graphiques L'utilisation de contraintes pour la r#alisation d'interfaces graphiques constitue une extension au mod#le propos# par P. Franchi, dans les ann#es 88-92, pour g#n#r...
Type information is a crucial information to support object-oriented reengineering.
L'evolution du developpement logiciel vers une vision centree modeles exige des avancees en m... more L'evolution du developpement logiciel vers une vision centree modeles exige des avancees en matiere a la fois de formalismes et d'outils supports aux transformations de modeles, d'evolution dans l'usage des modeles, d'adequation entre les langages de modelisation et les applications elles-memes, de prise en compte de l'heterogeneite et des compositions des modeles et egalement dans la definition de processus de developpement a base de modeles. Ces differents aspects sont l'objet de recherches aussi bien dans le domaine du genie logiciel, des systemes et reseaux que des systemes d'informations. Afin de creer une synergie resultante de la complementarite de ces travaux, de maniere transversale plusieurs groupes de recherches du CNRS, l'Action IDM (Ingenierie Dirigee par les Modeles) a pour objectif de favoriser et de provoquer les echanges entre des communautes issues de domaines technologiques differents. L'absolue necessite de developper les applications differemment pour repondre aux besoins croissants de production logicielle et d'adaptation aux equipements informatiques de l'espace ambiant force une collaboration etroite entre chercheurs et industriels. Ces relations sont soulignees par l'existence de nombreux projets coinmuns en cours, nationaux et europeens, afferant a l'lDM et mettant enjeu principalement de grands groupes. Les activites d'animation de l'Action IDM visent egalement a promouvoir les rencontres entre les academiques et les industriels du domaine et ainsi a provoquer et faciliter les partenariats y compris avec des PME. En repertoriant les informations relatives aux differents partenaires oeuvrant a rendre productive l'ingenierie des modeles, l'Action remplit son role informatif. Les auteurs du present article enoncent les differentes facettes de la communaute francaise de recherche autour de l'IDM du point de vue de l'Action. Ils exposent des actions qui peuvent conduire a de reelles collaborations et laissent la porte ouverte aux lecteurs pour des propositions d'actions qui permettraient d'atteindre cet objectif.
This paper is based on our experience of integrating the in- teractions to several object-oriente... more This paper is based on our experience of integrating the in- teractions to several object-oriented languages and on our conclusion: interactions should be viewed as an "extensible" aspect of object-oriented languages.
Uploads
Papers by Mireille Blay-Fornarino