BLAY-FORNARINO , Mireille

Nos travaux de recherche portent sur la composition fiable d'activités logicielles. Ils s'inscrivent dans le cadre général du génie logiciel, et concernent les étapes de conception, implantation et adaptations d'applications logicielles réparties. Le thème central développé est la modélisation des activités et leur composition tout en...

The Service Oriented Architecture (Soa) paradigm supports the assembly of atomic services to create applications that implement complex business processes. Assem- bly is accomplished by service orchestrations defined by Soa architects. The Adore frame- work allows Soa architects to model complex orchestrations of services by composing mod- els...

L'ingénierie dirigée par les modèles est devenue en quelques années une approche pour le développement logiciel de qualité, prisée à la fois par les industriels et les académiques. Cette approche, plus abstraite que l'approche par programmation, permet de se concentrer sur les concepts indépendamment des plates-formes, de se focaliser sur une...

no abstract

National audience

no abstract

Il est aujourd'hui courant d'utiliser une approche «orientée service» pour définir des applications complexes. Dans ce cadre, les services constituent les unités de base, assemblés par des mécanismes de plus haut niveau comme les orchestrations. Nous présentons ici un atelier logiciel construit dans une dé- marche dirigée par les modèles...

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...

L'IDM, généralisation du MDA de l'OMG, est une nouvelle approche qui met les modèles, et non pas les programmes, au centre de la démarche en Génie Logiciel. Les avantages annoncés de l'IDM sont nombreux : indépendance vis à vis des évolutions technologiques, meilleure maîtrise de la complexité, meilleure réutilisation etc. Mais qu'en est-il en...

The Service Oriented Architecture (SOA) paradigm supports the assembly of atomic services to create applications that implement complex business processes. Assembly can be accomplished by service orchestrations defined by Soa architects. The Adore method allows Soa architects to model complex orchestrations of services by composing models of...

The Machine Learning (ML) community is currently blooming with hundreds of new algorithms to implement tasks such as data classification for example. To support data scientists and engineers who have to chose among all these algorithms, we are defining the ROCKFlows platform to automatically create a software product line of workflows...

Web Services Oriented Architecture (WSOA) supports development of high quality applications based on a control–flow between services. The introduction of a loop to deal with a dataset inside an orchestration is a typical evolution use case inside a WSOA, but there is no tool sup- port to perform such refactoring operation. In this paper we...

Experimental and critical systems are two universes that are more and more tangling together in domains such as biotechnologies or aeronautics. Verification, Validation and Accreditation (VV&A) processes are an everyday issue for these domains and the large scale of experiments needed to work out a system leads to overhead issues. All internal...

no abstract

No description

The adaptive software paradigm supports the definition of software systems that are continuously adapted at run-time. An adaptation activates multiple features in the system, according to the current execution context (e.g., CPU consumption, available bandwidth). However, the underlying approaches used to implement adaptation are ordered, i.e.,...

Workflows are increasingly adopted to describe large-scale data- and compute-intensive processes that can take advantage of today's Distributed Computing Infrastructures. Still, most Scientific Workflow formalisms are notoriously difficult to fully exploit, as they entangle the description of scientific processes and their implementation,...

The result of productive processes is commonly accompanied by a set of justifications which can be, depending on the product, process-related qualities , traceability documents, product-related experiments, tests or expert reports, etc. In critical contexts, it is mandatory to substantiate that a product's development has been carried out...

Engineering and reusing feedback control systems face challenging issues, such as structuring control loops to allow for fine-grained reasoning about their architecture. We propose a model-driven approach in which all major parts of the feedback control are uniformly designed as first-class adaptive elements. Expected properties of the approach...

Many software systems require diverse data gathering and handling through processes that manipulate tabular data, often with a spreadsheet orientation. Variability in tabular data cannot be captured in a complete up-front analysis as everything is done at the final user level. She progressively adapts or clones some tabular data organized to...

Services Oriented Architecture are built through the compo- sition of services (e.g. Web Services) to define complex business process (e.g. Orchestrations). Well known methodologies focus on identifying ser- vices and orchestrations at design time. However the orchestration design phase is still a heavy burden, as it induces to deal with both...

De nombreux systèmes sont construits aujourd'hui sur la base d'expérimentations à partir desquelles des connaissances sont apprises et construites. Ces connaissances évoluent en fonction des nouvelles expérimentations, de même que les systèmes qui les exploitent. Comment justifier la confiance dans ces systèmes non pas a posteriori mais au fur...