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

no abstract

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

National audience

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

no abstract

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

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

In the context of Services Oriented Architecture (Soa), com- plex systems are realized through the design of business–driven processes. Since the design of a complete process can be very complex, composi- tion tools such as aspects and features propose to define large systems by composing smaller artifacts (more easy to understand) into a com-...

As Software Product Lines (SPLs) are now more widely ap- plied in new application fields such as IT or Web systems, complex and large-scale configurations have to be handled. In these fields, the strong domain orientation leads to the need to manage interrelated SPLs and multiple instances of configured sub-products, resulting in complex...

SpineFM est un outil issu de travaux de recherche sur l'utilisation de lignes de produits logiciels multiples. TOCSIN est l'interface graphique permettant d'exploiter SpineFM.SpineFM se base sur un modèle du domaine défini en EMF et des feature model exploitables par l'outil FAMILIAR afin de définir une ligne de produits logiciels multiples....

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 Architectures preach loosely-coupled ser- vices and high–level composition mechanisms, using for example Web Services to define services and Orchestrations to compose them. But or- chestration evolutions imply modification at source code level. This arti- cle shows how the orchestration paradigm itself can be used to support...

When Agile development meets critical embedded systems, verification, validation and accreditation activities are impacted. Challenges such as tests increase or accreditation documents production have to be managed in terms of time and resources. In this paper, we highlight these challenges and present a continuous integration ecosystem that...

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

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

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

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

no abstract

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

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

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

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

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