Etude de l'approche de l'interopérabilité par médiation dans le cadre d'une dynamique de collaboration appliquée à la gestion de crise

Les collaborations inter-organisationnelles relèvent généralement de circonstances opportunistes et s’avèrent par conséquent éphémères. Les organisations doivent alors être disposées à s’intégrer dans ce type de collaboration tout en gardant leur identité propre. Ce constat est le point de départ du projet MISE (Mediation Information System Engineering), qui aborde cette notion de collaboration d’organisations selon l’angle du système d’information, en proposant une démarche de conception d’un SIM (système d’information de médiation). Ce SIM constitue un système tiers, médiateur des SI des diverses organisations, destiné à prendre en charge, d’une part la coordination des actions des partenaires (orchestration de la dynamique collective) et d’autre part, de gérer la circulation de l’information au sein de la collaboration (acheminement et traduction des données). La conception du SIM repose sur une démarche d’ingénierie dirigée par les modèles (IDM). Par ailleurs, la notion de crise, reposant par définition sur la sollicitation d’acteurs hétérogènes concernés par une collaboration opportuniste (qui plus est dans le cadre d’un phénomène évolutif d’une durée indéterminée), fait du domaine de la gestion de crise un parfait cas d’étude pour le projet MISE. Ces travaux de thèse, liés au projet ANR-CSOSG ISyCri, présentent cette démarche de conception du SIM appliqué au domaine de la gestion de crise. Le manuscrit parcourt la démarche MISE appliquée au domaine de la gestion de crise depuis la définition conceptuelle jusqu’à la réalisation technique selon les trois étapes de cette démarche IDM : (i) au niveau « métier » : l’utilisation d’une base de connaissance, représentée par une ontologie, permet, à partir des caractéristiques de la situation de crise et du savoir-faire des partenaires de la collaboration, de définir le processus collaboratif représentatif de la succession des activités à exécuter dans le cadre de la réponse à la crise. (ii) au niveau « logique » : une transformation de modèle permet de construire, à partir du modèle de processus collaboratif obtenu au niveau « métier », une architecture logique du SIM (orientée service, selon les préceptes SOA). (iii) au niveau « technique » : une deuxième transformation de modèles permet de générer les éléments nécessaires à la configuration du SIM, notamment le fichier BPEL. L’agilité du SIM ainsi déployé constitue une exigence incontournable. Les travaux présentés dans ce manuscrit proposent donc d’intégrer ces différentes étapes de conception du SIM sous la forme de composants logiciels indépendants, sollicités à loisir au sein d’une architecture orientée service. Cette solution apporte une grande flexibilité structurelle à la démarche, en autorisant la reconfiguration partielle du SIM à partir du niveau adapté à la situation. ABSTRACT : organizations should be able to take part into opportunistic and brief collaborative networks. However, they should also control their identity. The MISE project (Mediation Information System Engineering) aims at dealing with that issue from the information system point of view. The main principle is to design a specific third part mediation information system (MIS) in charge of, first, orchestrating the collaborative workflow of the collaborative network and, second, managing information (carrying and translating data). Designing such a MIS is based on a model-driven engineering approach (MDE). Considering crisis management field, it is obvious that such a domain requires opportunistic collaboration of heterogeneous partners involved in the crisis response (furthermore, crisis management is a very dynamic process where agility is a crucial point). Directly linked to the French funded ISyCri project, this PhD research work presents the overall approach for MIS design in a crisis management context. That MDE approach is based on three steps: (i) “Business” level: a collaborative process model is deduced from a knowledge base represented through an ontology. (ii) “Logical” level: an abstract service-oriented architecture of MIS is built, based on a model transformation from the previously obtained collaborative process model. (iii) “Technical” level: all the required deployment files are generated (including BPEL file), based on another model transformation, from the logical architecture. Besides, agility is a strong requirement for such a MIS. Therefore, these three steps are integrated, as independent software components, in a service-oriented architecture of a MIS-design tool. This solution brings structural flexibility to the overall approach by allowing partial redesign of the MIS (at the expected step

La conception de jeux vidéo éducatifs : une méthodologie de recherche/création

De façon générale, cette thèse identifie et définit l'ensemble des concepts théoriques et pratiques nécessaires à l'exercice de la conception de jeux vidéo éducatifs en tenant compte des aspects d'intention, d'information, d'interface et d'interactivité. Elle répond à la question suivante : comment outiller et assister efficacement un artiste ou un créateur dans la démarche complexe de la conception de jeux vidéo éducatifs? En effet, les personnes abordant la conception multimédia se sentent souvent dépourvues lorsqu'il est question de développer ou de conceptualiser ce type d'œuvre. C'est d'abord parce qu'il s'agit d'un champ d'étude relativement nouveau qui cherche encore ses codes langagiers. Ensuite, il s'agit de se référer aux niveaux de complexité générés par des projets ludiques et pédagogiques intégrant à la fois des notions de science de l'information (gestion de la connaissance, bases de données), des notions d'esthétique et de forme (arts visuels, design graphique) et des notions d'informatique (langage de programmation, vie et intelligence artificielles). Les résultats de la recherche se présentent sous la forme d'une méthodologie de recherche/création systémique appuyée par une intervention prenant la forme d'une série de quatre capsules multimédias interactives couvrant l'ensemble des résultats générés. Ces capsules s'adressent à des professionnels œuvrant tant dans le domaine de la culture, de l'éducation, de la science, des arts et des communications que dans ceux de la recherche et de l'expérimentation. Elles décrivent, illustrent et démontrent les potentialités expressives, narratives, cognitives et interactives du langage multimédia; elles présentent le champ d'intervention dans son ensemble, incluant les concepts, les théories, les méthodes et les outils nécessaires à sa compréhension, à son élaboration et à sa pratique esthétique, ludique, pédagogique et communicationnelle. De façon plus précise, une première capsule présente des notions définissant le multimédia, ses multiples applications ainsi que les différents contextes de production dans lesquels elles se déploient. Une deuxième capsule expose ensuite des notions de langage cinématographique et hypermédia qui seront utiles pour la conception multimédia. Une troisième capsule aborde des notions relatives à la pédagogie, et comment celles-ci peuvent s'appliquer à la conception de jeux vidéo éducatifs. Enfin, la dernière capsule présente un modèle de devis de conception multimédia adapté aux productions culturelles ludo-éducatives. À travers l'ensemble de ces capsules, des exemples permettront de visualiser et d'expérimenter l'ensemble des concepts répondant aux énoncés théoriques et pratiques exposés par la recherche.\ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : jeux vidéo éducatifs, design multimédia, scénarisation multimédia, conception multimédia, conception hypermédia, loisir éducatif, jeu éducatif, enseignement par le jeu, apprentissage par le jeu, interface graphique, méthodologie de conception

Actes des 2èmes journées sur l’Ingénierie Dirigée

National audienceL’ingénierie dirigée par les modèles (IDM), appelée en anglais MDE (Model-Driven Engineering) ou aussi MDD (Model-Driven Development) place le modèle au centre du processus de conception et permet à cette notion de modèle de passer d’un rôle contemplatif à un rôle unificateur vis-à-vis des autres activités du cycle de développement du logiciel. L’IDM doit alors être vu non pas comme une révolution, mais comme un moyen d’intégrationde différents espaces techniques pour aller vers une production automatisée des logiciels.L’ingénierie dirigée par les modèles apporte alors des solutions à la construction de ces nouveaux logiciels en proposant des approches de modélisation, de métamodélisation, de détermination du domaine, de transformation et de prise en compte des plates-formes. Ces approches sont accompagnées de démarches de conception et de moyens de génération de code, mais également de validation et de vérification de la conformité des modèles produits vis-à-vis des métamodèles. Elles sont proches des idées actuelles comme la programmation générative, les langages spécifiques de domaine (DSL), le MIC (Model Integrating Computing) ou encore les usines à logiciels (Software factories). Après le succès des journées IDM à Paris en 2005, la seconde édition de ces journées se déroule à Lille et a pour objectif de rassembler les chercheurs francophones intéressés par ce domaine et souhaitant participer à la structuration de cette communauté scientifique émergente

Une nouvelle architecture distribuée pour la reconnaissance d’activités au sein d’une maison intelligente

L’espérance de vie humaine n’a cessé de croître durant les dernières décennies. Ce phénomène, quoique bénéfique d’un certain point de vue, cause l’apparition de divers types de dégénérescences physiques et mentales au fur et à mesure du vieillissement. Ces dernières peuvent même entraîner la démence sénile dont la principale cause est la maladie d’Alzheimer dont une des conséquences est une perte de l’autonomie. Malgré celle-ci, les individus touchés désirent plus que tout rester chez eux. Cette situation force la mise en place d’une aide à domicile, onéreuse, donnée par la famille ou du personnel médical. Depuis une trentaine d’années, les domaines de l’informatique et de la microélectronique ont connu un âge d’or sans précédent. On assiste à une augmentation exponentielle de la puissance des appareils pour un prix, une taille et une consommation énergétique qui baisse au même rythme permettant notamment l’émergence de l’Intelligence Ambiante (Amb.I) dont une des applications est l’habitat intelligent où l’environnement tente de reconnaître les activités réalisées par le résident afin d’aider ce dernier si le besoin s’en fait sentir. Malheureusement, la reconnaissance des dites activités, la fiabilité ainsi que le coût des installations restent, encore aujourd’hui, des défis majeurs auxquels il convient de répondre. Dans cette thèse, nous apportons des réponses au problème de la fiabilité de ces environnements en introduisant une nouvelle façon de concevoir ceux-ci. Ainsi, en utilisant les transducteurs déjà présents dans l’environnement, nous avons réussi à construire une infrastructure distribuée, peu onéreuse, extrêmement fiable et permettant, autant que les anciennes architectures, de reconnaître les activités. Afin d’atteindre cet objectif, nous avons réalisé trois contributions principales dans différents domaines. La première est un nouveau protocole de communication appelé « Light Node Communication Framework » permettant de communiquer au sein d’un environnement intelligent sans aucun point central, travail publié dans un journal spécialisé. La seconde, objet principal d’un article soumit dans un journal, est une architecture, facile à reproduire et assurant trois points importants qui sont la fiabilité, la mise à l’échelle et le faible coût. Pour finir, nous introduisons dans cette thèse, une nouvelle façon de reconnaître les activités de manière distribuée qui est le coeur d’un papier de conférence soumis. Toutes ces contributions mises ensemble répondant au problème de fiabilité dont souffraient les précédents travaux dans le domaine

Contribution à la Spécification et à la Vérification des Exigences Temporelles (Proposition d'une extension des SRS d'ERTMS niveau 2)

Les travaux développés dans cette thèse visent à assister le processus d ingénierie des exigences temporelles pour les systèmes complexes à contraintes de temps. Nos contributions portent sur trois volets : la spécification des exigences, la modélisation du comportement et la vérification. Pour le volet spécification, une nouvelle classification des exigences temporelles les plus communément utilisées a été proposée. Ensuite, afin de cadrer l utilisateur durant l expression des exigences, une grammaire de spécification à base de motifs prédéfinis en langage naturel est développée. Les exigences générées sont syntaxiquement précises et correctes quand elles sont prises individuellement, néanmoins cela ne garantie pas la cohérence de l ensemble des exigences exprimées. Ainsi, nous avons développé des mécanismes capables de détecter certains types d incohérences entre les exigences temporelles. Pour le volet modélisation du comportement, nous avons proposé un algorithme de transformation des state-machine avec des annotations temporelles en des automates temporisés. L idée étant de manipuler une notation assez intuitive et de générer automatiquement des modèles formels qui se prêtent à la vérification. Finalement, pour le volet vérification, nous avons adopté une technique de vérification à base d observateurs et qui repose sur le model-checking. Concrètement, nous avons élaboré une base de patterns d observation (ou observateurs) ; chacun des patterns développés est relatif à un type d exigence temporelle dans la nouvelle classification. Ainsi, la vérification est réduite à une analyse d accessibilité des états correspondants à la violation de l exigence associéeThe work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three phases: the specification, the behaviour modelling and the verification. For the specification of temporal requirements, a new temporal properties typology taking into account all the common requirements one may meet when dealing with requirements specification, is introduced. Then, to facilitate the expression, we have proposed a structured English grammar. Nevertheless, even if each requirement taken individually is correct, we have no guarantee that a set of temporal properties one may express is consistent. Here we have proposed an algorithm based on graph theory techniques to check the consistency of temporal requirements sets. For the behaviour modelling, we have proposed an algorithm for transforming UML State Machine with time annotations into Timed Automata (TA). The idea is to allow the user manipulating a quite intuitive notation (UML SM diagramsduring the modelling phase and thereby, automatically generate formal models (TA) that could be used directly by the verification process. Finally, for the verification phase, we have adopted an observer-based technique. Actually, we have developed a repository of observation patterns where each pattern is relative to a particular temporal requirement class in our classification. Thereby, the verification process is reduced to a reachability analysis of the observers KO states relatives to the requirements violationVILLENEUVE D'ASCQ-ECLI (590092307) / SudocSudocFranceF

La mise à disposition des œuvres et des informations sur les réseaux : régulation juridique et régulation technique

Technological developments lead to an exponential increase of the spread of works and information on the networks. Regulatory models from the analogical era based on physical medium scarcity and exclusivity are questioned by digital technology paradigms of copying, remixing and sharing. Copyright has been developed and adaptated at the same time than reproduction and dissemination technologies innovation, as an artificial corrective granting a limited monopoly of exploitation. But copyright can also lead to commons. We analyse how law and technology were conceptualised independently. Technical standards production process and the extension of exclusive rights are creating tensions between cultural industries and the public. This conception led to an intrication between regulation by law and technical protection measures, for the benefit of regulation by technology. Following research on lex informatica, we thus introduce a model based on the mutual influence between regulation by law and regulation by technology, toward legal categorisation redesign and an improved technical rights expression. The development of applications, ontologies and legal metadata allow to automate information and works exchanges management. Integrating regulation by law and regulation by technology, this model was built on the systematic analysis of various licensing models emerging on the networks, between access control and the constitution of Commons.Les développements techniques entraînent une croissance exponentielle de la circulation des œuvres et informations sur les réseaux. Les modèles de régulation de l'ère analogique élaborés sur la rareté du support sont remis en question par le numérique, fondé sur les paradigmes de la copie, de la réappropriation et du partage. Le droit d'auteur a été développé et adapté au rythme des innovations techniques de reproduction et de diffusion des œuvres, comme un correctif artificiel accordant une exclusivité temporaire d'exploitation. Il peut aussi conduire aux biens communs. Nous analysons comment droit et technique ont d'abord été pensés de manière indépendante. Les processus d'élaboration des normes et standards techniques et l'extension des droits exclusifs entraînent des tensions entre les industries culturelles et le public. Cette conception conduit à un enchevêtrement de lois et mesures techniques de protection au profit de la régulation technique. Nous proposons donc, dans la lignée de la lex informatica, un modèle fondé sur l'influence réciproque entre les disciplines, vers la reconception des catégories juridiques du droit d'auteur et vers une meilleure expression technique des droits. Le développement d'applications, d'ontologies et de métadonnées juridiques permet une automatisation de la régulation des échanges d'œuvres et d'informations. Mettant en œuvre une intégration plus équilibrée du droit et de la technique, ce modèle est notamment fondé sur l'analyse de licences et modèles contractuels qui se développent sur Internet, entre contrôle d'accès et biens communs

Conférence Nationale d'Intelligence Artificielle Année 2020

National audienc

L'AIS : une donnée pour l'analyse des activités en mer

4 pages, session "Mer et littoral"International audienceCette contribution présente des éléments méthodologiques pour la description des activités humaines en mer dans une perspective d'aide à la gestion. Différentes procédures, combinant l'exploitation de bases de données spatio-temporelles issue de données AIS archivées à des analyses spatiales au sein d'un SIG, sont testées afin de caractériser le transport maritime en Mer d'Iroise (Bretagne, France) sur les plans spatiaux, temporels et quantitatifs au cours d'une année

Traces numériques. De la production à l'interprétation

Relié à des inconnus par des technologies numériques simplifiant l’accès à l’information et à la communication, l’humain du XXIe siècle, même le moins tenté par les nouvelles technologies, laisse partout des traces de ses actions. Relevant de la sphère publique ou privée, les traces numériques de ce Nouveau Monde sont manipulables et susceptibles de ressurgir dans des contextes imprévisibles. Chaque jour, ce fonctionnement inquiète d’autant plus que le numérique gagne progressivement toutes les pratiques contemporaines. Issus de champs disciplinaires variés (sciences de la communication, informatique, linguistique, sociologie, etc.), les universitaires de renom, réunis ici, non seulement lèvent le voile sur la façon dont se fabriquent et s’utilisent les traces numériques, mais aussi analysent les réponses aux risques encourus, qu’elles relèvent d’une protection passive (« le droit à l’oubli ») ou active (la performance dans la gestion des traces numériques)