Aide à la conception de Système d'Information Collaboratif , support de l'interopérabilité des entreprises

Dans un contexte de collaboration industrielle ou inter-organisationnelle, la qualité de l'intégration des différents partenaires dépend grandement de la capacité de leurs systèmes d'information (SI) à interagir efficacement. C'est pourquoi nous proposons dans ce manuscrit d'aborder cette problématique selon l'angle de l'interopérabilité des systèmes d'information. Dans notre approche, l'interopérabilité des SI des partenaires s'appuie conceptuellement sur deux caractéristiques : (i) la faculté de ces SI à se conformer à une orientation services (SOA pour Service-Oriented Architecture) et (ii) le positionnement au sein du réseau de partenaires d'un système d'information médiateur destiné à assurer l'intégration du "système de systèmes" ainsi créé. Ces travaux de thèse traitent précisément de la conception de ce médiateur selon une démarche MDA (Model Driven Architecture). Notre approche consiste à étudier la traduction d'un modèle des besoins situé au niveau "métier" en un modèle d'architecture spécifique situé au niveau "logique". Pour cela, nous allons considérer que la connaissance contenue dans un modèle de processus collaboratif (formalisé en BPMN, au niveau CIM de l'approche MDA) pourrait permettre d'alimenter une démarche de modélisation de ce SI médiateur (formalisé en UML, au niveau PIM de l'approche MDA). Ce travail comporte et après avoir exposé les fondements théoriques de ces propositions, une présentation des principes de traduction de ces modèles, ainsi que les règles de transformation qui les concrétisent. Enfin, la maquette outil logiciel supportant cette démarche et permettant d'assurer cette modélisation du médiateur a été réalisée. ABSTRACT : In a collaborative context, the integration of industrial partners deeply depends of the ability of their Information Systems (IS) to interact efficiently. In this document we propose to tackle this point according to the point of view of IS interoperability. Interoperability of partners' IS is based on two main aspects: (i) the fact that partners' IS respect SOA (Service-Oriented Approach) concepts and (ii) the support of a Mediation Information System (MIS) able to put IS together in one single merging System of Systems (SoS). We propose to design such a MIS according to MDA (model-Driven Approach) principles. We aim at using business model (the needs) to design a logical model of a solution (logical architecture). The business model is a collaborative business model (in BPMN, at the CIM level), while the logical model is a MIS model (using UML, at the PIM level). This document presents the theoretical aspects of this subject, the mechanisms of transformation and the dedicated translation rules. Finally, we show the prototype of a demonstration tool embedding the transformation rules and running those principle

Modélisation des exigences en UML/SysML

National audienceRésumé L'ingénierie des exigences est une activité primordiale dans tout développement de systèmes. En ingénierie système (IS) tout ingénieur est formé à la capture et à l'ingénierie des exigences. L'INCOSE et l'OMG, quand ils ont développé SysML [3] à partir d'UML [1], ont introduit explicitement la notion d'exigence comme élément de modélisation. Un diagramme ainsi qu'une table des exigences leur sont même dédiés. Nous expliquons dans cet article comment les exigences sont modélisées, et surtout comment elles sont liées avec le reste de la modélisation structurelle et comportementale. Nous apportons notre analyse sur les manques constatés par les industriels et dressons quelques pistes d'améliorations futures

Un cadriciel pour la vérification en ligne, générique, flexible et évolutive de configurations de systèmes communicants complexes

Les systèmes communicants complexes constituent une base fondamentale de la vie d'aujourd'hui. Ils supportent de plus en plus de services et d'usages critiques, essentiels tant aux entreprises et administrations qu'à la société en général. L'exemple-type est celui d'Internet avec l'ensemble de ses services et usages variés, architectures et média allant de petits équipements mobiles comme les smartphones aux systèmes critiques à grande échelle comme les clusters de serveurs et le cloud. Il devient dès lors indispensable d'en garantir le fonctionnement effectif et continu. Pour ce faire, une vision consiste en la mise en œuvre de systèmes de gestion autonomes et adaptifs, capables de reconfigurer dynamiquement et en permanence ces systèmes afin de maintenir un état de fonctionnement désiré face à des conditions opérationnelles, instables et de moins en moins prévisibles. Un frein à l'exploitation effective des solutions de reconfiguration dynamique réside dans le manque de méthodes et de moyens garantissant l'effectivité et la sûreté de ces changements dynamiques de configurations. La contribution générale des travaux de cette thèse fournit des concepts, des méthodes et des outils qui favorisent la mise en œuvre d'une vérification en ligne de configurations. Notre démarche pour construire ce cadriciel a consisté dans un premier temps à définir un langage de haut niveau dédié à la spécification et la vérification de configurations. Nous avons architecturé dans un deuxième temps, un service de vérification générique, flexible et évolutive at runtime capable de manipuler les concepts définis dans ce langage. Enfin, nous avons défini une architecture de composants intermédiaires d'intégration de l'existant. Ce cadriciel permet de supporter un processus de vérification opérationnelle de configurations qui commence, en phase de conception par une spécification rigoureuse de modèles de configurations, puis se poursuit en phase d'exécution du système de gestion à travers une vérification automatique de configurations basée sur ces modèles. Le cadriciel a fait l'objet d'un prototype que nous avons expérimenté sur une série de cas issus de deux contextes applicatifs différents : la vérification de configurations d'un middleware orienté messages dans un environnement JMX et la vérification de configurations de machines virtuelles dans un environnement CIM/WBEM (standards du DMTF). Les résultats ont montré la faisabilité de l'approche ainsi que la capacité du cadriciel à soutenir une vérification en ligne, flexible et évolutive de configurations favorisant l'intégration de l'existant.Complex networked systems are a fundamental basis of today's life. They increasingly sup- port critical services and usages, essential both to businesses and the society at large. The evident example is the Internet with all its services and usages in a variety of forms, architectures and media ranging from small mobile devices such as smartphones to large-scale critical systems such as clusters of servers and cloud infrastructures. It is therefore crucial to ensure their effective and continuous operation. A vision to do this consists in the development of autonomous and adaptive management solutions, capable of dynamically and continuously reconfiguring these systems in order to maintain a desired state of operation in the face of unstable and unpredictable operational conditions. A main obstacle to the effective deployment of dynamic reconfiguration solutions is the lack of methods and means to ensure the effectiveness and safety of these dynamic con- figuration changes. The overall contribution of this thesis is to provide concepts, methods and tools to enable an online configuration verification. Our approach to build this framework was first to define a high-level language dedicated to the specification and verification of configurations. Second, we designed a generic flexible and adaptable runtime verification service, able to manipulate the concepts defined in this language. Finally, we defined an architecture of adapters for integrating existing systems and platforms. This allows our framework to support a runtime configuration verification process that starts at design time with a rigorous specification of configuration models and continues at runtime through automatic checking of configurations based on these models. The framework has been implemented in a prototype that has been experienced on a series of experiments from two different application domains: the verification of a messaging middle- ware's configurations in a JMX environment and the verification of virtual machines' configurations in a CIM/WBEM (DMTF standards) environment. The results showed the feasibility of our approach and the framework's ability to support a flexible and adaptable online verification of configurations that can be integrated with existing management solutions

Modélisation centrée sur les processus métier pour la génération complète de portails collaboratifs

International audienceLes entreprises collaborent pour saisir des opportunités, échanger des documents, des idées, ou toute autre ressource. Cela se fait en suivant des processus métiers pouvant évoluer. Les portails collaboratifs sont une solution orientée web à ce besoin de collaboration. Cependant, la conception et la maintenance d'un portail collaboratif métier n'est pas trivial. La société Ecréall conçoit, génère et maintient des portails collaboratifs à partir d'une modélisation centrée sur les processus métier en suivant une approche IDM. Cet article présente la solution proposée par Ecréall à travers son métamodèle MACoP et sa chaîne de transformation, et compare la solution proposée à d'autres approches

Intégration de la modélisation comportementale dans la conception par points de vue

View-based modeling is the main subject of this thesis. It is a variant of the object oriented modeling approach for the analysis and design of complex systems, focusing on the actors that use the system and decomposing the specification according to their needs. With this prospect, our team developed a UML profile named VUML (View based UML), which allows the elaboration of a unique and sharable model accessible according to the view of each of the system's actors. However the achieved work on the VUML profile does not tackle the behavior aspects of the modeling process. The VUML approach address the structural aspects related to the composition of views and to the sharing of data without dealing with the way these views will react, or how to be able to synchronize them in order to obtain the behavior of multiple-view objects (instances of a multi-view class). The achieved work in this thesis aims to fill this gap by providing new mechanism to the VUML profile that allows expressing the behavioral needs of a system. We will focus on describing the individual behavior of multi-view objects by state-machines that require adjustments of UML modeling concepts. To achieve this objective we introduced the concept of event probes, which allow to specify implicit communication between the view-objects via event observation. This allows decoupling the view specifications that are a priori strongly interconnected, and therefore allows them to be designed separately, in agreement with the VUML method recommendations, and then to be integrated without the need of making modifications. We first define the concept of event monitoring and identified the different types of probes and the appropriate parameters that characterize them. We also define a set of concepts that can extend and manipulate probes. Then we propose a UML-compatible representation of the introduced concepts in form of a profile named VxUML (extension of VUML). In addition to defining the profile elements (stereotypes, tagged value, predefined library classes), we have developed rules for proper formation of the static semantics using OCL to reduce ambiguity in the specification of such concepts. Afterwards, to demonstrate the usefulness of the concepts introduced, we developed a case study through which we sought to provide a full view-based model, addressing both structural and behavioral aspects. At the end, to concretely validate our approach in a model driven engineering setting, we developed a code generator that takes as input a specification developed in VxUML profile. This generator uses the techniques of model transformation related to the code generation, including transformation of platform independent models (PIM) to platform specific models (PSM), and transformation of PSMs to code; the current target language is Java. Finally, another contribution of this thesis is a process associated with VxUML. It is an approach that complements the approach associated with VUML (which deal only with structural aspects) to be able to use in methodical manner the new mechanisms dedicated to behavioral treatment. Now, the VxUML development process offers a complete view based modeling, that is, dealing with both structural and behavioral aspects. Keywords: View based modeling, VUML profile, VxUML profile, event observation, multi-view states machine, behavior composition.La modélisation par points de vue constitue la thématique générale de notre travail de thèse. C'est une approche de modélisation orientée objet, visant l'analyse et la conception des systèmes complexes avec une démarche centrée autour des acteurs interagissant avec le système. Notre équipe a ainsi développé un profil UML appelé VUML (View based UML), qui permet l'élaboration d'un modèle unique partageable à partir de vues associées aux points de vue des acteurs. Cependant, les travaux réalisés sur le profil VUML [Nassar, 05 ; Anwar, 09] ne couvrent pas les aspects comportementaux de la modélisation. En effet, – en proposant la notion de classe multivue – VUML traite les aspects structuraux liés à la composition des vues et au partage des données statiques sans prendre en compte la manière dont ces vues vont réagir, ni comment les synchroniser afin de représenter le comportement des objets multivue (instances d'une classe multivue). Les travaux effectués dans le cadre de cette thèse cherchent à combler ce manque en dotant le profil VUML de nouveaux mécanismes permettant d'exprimer le comportement d'un système. Nous nous sommes concentrés pour cela sur le comportement des objets multivue décrit par des machines à états qui nécessitent des adaptations des concepts de modélisation UML. Pour réaliser cet objectif nous avons introduit la notion de sonde d'événements, qui permet de spécifier des communications implicites entre les vues par observation d'événements. Ceci permet de découpler des spécifications qui sont a priori fortement interconnectées, de les concevoir séparément par points de vue, selon les préconisations de la méthode VUML, puis de les intégrer sans avoir à les modifier. Nous avons tout d'abord défini le concept de sonde d'événements, identifié les différents types de sondes avec les paramètres associés, puis défini un ensemble de concepts permettant d'enrichir et de manipuler les sondes. Nous avons ensuite proposé une représentation compatible avec VUML des concepts introduits sous forme d'un profil nommé VxUML (extension de VUML). En plus de la définition des éléments du profil (stéréotypes, valeurs marquées, classes de librairie prédéfinies), nous avons développé en OCL des règles de bonne formation (sémantique statique). Pour illustrer l'intérêt des concepts introduits, nous avons développé une étude de cas en proposant une modélisation par points de vue complète traitant à la fois les aspects structurel et comportemental. Pour valider concrètement notre approche, nous avons développé, selon une approche IDM, un générateur de code qui prend en entrée une spécification de système en VxUML. Ce générateur utilise les techniques de transformation de modèles liées à la génération de code, et notamment les transformations de modèles indépendants de plate-forme (PIM) vers des modèles spécifiques à une plate-forme (PSM), et des modèles PSM vers le code ; il a été développé dans un premier temps avec le langage cible Java. Sur le plan méthodologique, nous avons défini une démarche associée à VxUML, qui complète celle de VUML, en permettant d'utiliser d'une manière méthodique les mécanismes dédiés au traitement du comportement. Désormais, le processus de développement VxUML permet une modélisation par points de vue complète, traitant à la fois les aspects structurel et comportemental. Mots clés : Conception par points de vue, profil VUML, profil VxUML, sonde d'événements, machine à états multivue, composition du comportement

Réutilisation des processus d'affaires pour le développement de systèmes d'information

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal

Etude de la relation contrôleur/contrôlé : apports des approches collaboratives à la gestion des risques

The current research aims to study collaborative working contributions in risk management control processes. Control is needed in risk management processes facing complexity. Indeed, IT development and risk increase led to increase control complexity. It is now shared between human actors (inspectors, industrialist, OHS department, etc.) and non-human (IT, software, management systems, etc.) including a collaborative working dimension. In order to propose a model of the system of actors and different exchanges allowed by the collaborative approach, three sociological objects are mobilized: the Social Regulation Theory (SRT), introducing the concept of regulation, the actor- Network Theory (ANT), authorizing an asymmetric study of actors, and collaborative working, combining collaboration and software engineering. To verify IT contributions as part of a collaborative approach a field trial and a survey on collaborative work practices were conducted. The novelty of this approach lies in the consideration of the interrelationships between each control sub-process and the confrontation of a field trial with a generalized prospective survey.Le présent travail de recherche a pour objet l'étude des apports des pratiques d'utilisation des outils de gestion collaboratifs par les parties prenantes du processus de contrôle en gestion des risques. Face aux enjeux multiples pour réduire la vulnérabilité des organisations, le contrôle tient une place particulière. Avec le développement de l'informatique et l'accroissement des risques il s'est naturellement complexifié. Il est aujourd'hui partagé entre des acteurs humains (organismes de contrôle, industriels, services de prévention des risques, etc.) et non-humains (systèmes d'information, logiciels, systèmes de management, etc.), incluant ainsi la dimension de travail collaboratif. Afin de proposer une modélisation du système d'acteurs et des différents échanges permis par l'approche collaborative, trois objets sociologiques sont mobilisées : la Théorie de la Régulation Sociale (TRS), introduisant le concept de régulation, la Théorie de l'Acteur-Réseau (TAR), autorisant une étude asymétrique des acteurs et une maitrise de l'a priori, et le travail collaboratif, regroupant la collaboration et l'ingénierie logicielle. La conduite d'une expérimentation terrain et le déploiement d'un questionnaire sur les pratiques du travail collaboratif permettent de vérifier concrètement les apports des systèmes d'information dans le cadre d'une approche collaborative du contrôle. L'originalité de cette démarche réside dans la prise en compte des interrelations entre chacun des sous-processus du contrôle et la confrontation d'une expérimentation terrain avec une enquête prospective généralisée

Conception de Système de Multi-Assistance à Base d'Agents. Application à un Environnement Pédagogique

International audienceLes systèmes multi-agents permettent de coordonner le comportement d'agents interagissant et communiquant dans une société pour réaliser des tâches ou résoudre des problèmes. Il nous semble donc bien adaptés pour concevoir une multi assistance destinée à des utilisateurs de systèmes complexes, coopératifs et distribués – chaque agent représentant un niveau d'assistance. Dans l'intention d'illustrer notre approche, nous présenterons un système d'assistance intégré dans l'environnement d'apprentissage iPédagogique. L'enseignement d'unités de valeurs scientifiques ou techniques est largement fondé sur l'acquisition de connaissances conceptuelles et la validation d'un savoir-faire. Au cours d'une formation, l'apprenant et l'enseignant doivent être efficaces tant du point de vue quantitatif que qualitatif, tout spécialement en surmontant des difficultés organisationnelles et en bénéficiant d'une aide à la synchronisation d'activités. Nous présenterons les orientations de cet environnement utilisé dans une école d'ingénieurs généralistes et dans deux formations Multimédia, puis nous détaillerons notre système d'aide multi-usages, au travers de la gestion de projets d'étudiants