Une approche formelle de l'interopérabilité pour une famille de langages dédiés

In this thesis, we introduce a rigorous formally founded method to address the interoperability of a family of domain specific languages (DSLs). Our approach targets DSLs from the same business domain and consists in constructing a unifying language. The unification is obtained by using a categorical approach. For this, we use the category of algebraic specifications of each language in the family. On this category, we apply the colimit on algebraic specifications of each DSL to generate their unifying. This approach allows us to obtain a set of translators from each family member to the unifying language. Moreover, properties established in the context of a language of the family are transferred to the unifier. The approach experimented in the context of the Specware software for categorical computations and of the Isabelle proof assistant.Dans cette thèse, nous proposons une méthode rigoureuse, formellement fondée pour traiter de l'interopérabilité d'une famille de langages dédiés (DSL) issus d'un même domaine métier. A partir de la sémantique de chacun des DSL, notre démarche construit, par un calcul de co-limite sur des spécifications algébriques, un langage qui unifie les concepts de la famille. L'approche se caractérise notamment par la capacité à traduire automatiquement le code d'un DSL vers le langage unificateur. Un autre bénéfice réside dans la preuve qu'une propriété sur un langage de la famille se décline, par construction, vers l'environnement unifié. La mise en œuvre de la démarche a été outillée ; elle s'appuie principalement sur le logiciel Specware de Kestrel et l'assistant de preuve Isabelle

L'expression numérique du consentement contractuel

Les technologies de l’information et de la communication impactent largement de nombreuses branches du droit. Le droit des obligations n’y fait pas exception et de nombreux contrats sont désormais conclus en ligne, quel que soit le terminal utilisé. Le recours à ce moyen de communication n’est pas sans influence sur la perfection du contrat, en particulier sur les modes d’expression de la volonté dans l’univers numérique. En effet, ce dernier offre de vastes perspectives en termes d’instantanéité, d’immatérialité et d’automatisation de l’expression du consentement contractuel, conduisant à s’interroger sur la validité des contrats formés par voie électronique. L’observation des pratiques qui se sont installées sur l’internet permet de mesurer aujourd’hui le net impact du numérique sur l’expression du consentement contractuel, c’est-à-dire sur les volontés des internautes cocontractants, ainsi que sur le mécanisme de rencontre de celles-ci. Les volontés individuelles se sont ainsi vues soumises à un processus constitué d’une série d’étapes obligatoires, supposées limiter les cas dans lesquels la perfection de la convention interviendrait par erreur. Ce découpage ouvre toutefois la voie à l’automatisation de l’expression des volontés et de leur rencontre, annonçant alors l’ère de contrats conclus voire exécutés en un trait de temps grâce aux récentes avancées de l’intelligence artificielle appliquée au domaine juridique. La traditionnelle dichotomie entre formation et exécution du contrat révèle alors ses limites, et la théorie de l’autonomie de la volonté, envisagée comme seul fondement de la force obligatoire du contrat, se heurte à l’apparition de modes inédits d’expression du consentement.Information and communication technologies largely affect many branches of the law. The contract law is not an exception and many contracts are now concluded online, regardless of the device used. The use of this means of communication is not without influence on the perfection of the contract, in particular on the means of expression of the intention of the parties in the digital environment. Indeed, the latter offers vast prospects in terms of instantaneousness, immateriality and automation of the expression of its contractual agreement, raising questions about the validity of contracts formed by electronic means. Observing the practices that have taken place on the Internet, it is now possible to note the influence of digital means of communication on the expression of contractual agreement, that is to say on the individual intentions of the parties, as well as the meeting of these. Individual intentions have thus been subjected to a process consisting of a series of obligatory steps, supposed to limit the cases in which the conclusion of the agreement would be an error. However, this process opens the way to the automation of the expression of individual intentions and their meeting, announcing then the age of contracts concluded or even executed nearly instantaneously thanks to recent development in artificial intelligence applied to the legal field. The traditional dichotomy between conclusion and execution of the contract thus reveals its limits, and the principle of freedom of choice, considered as the sole basis of the binding force of the contract, runs up against the appearance of new modes of expression of contractual agreement

L'expression numérique du consentement contractuel

Les technologies de l’information et de la communication impactent largement de nombreuses branches du droit. Le droit des obligations n’y fait pas exception et de nombreux contrats sont désormais conclus en ligne, quel que soit le terminal utilisé. Le recours à ce moyen de communication n’est pas sans influence sur la perfection du contrat, en particulier sur les modes d’expression de la volonté dans l’univers numérique. En effet, ce dernier offre de vastes perspectives en termes d’instantanéité, d’immatérialité et d’automatisation de l’expression du consentement contractuel, conduisant à s’interroger sur la validité des contrats formés par voie électronique. L’observation des pratiques qui se sont installées sur l’internet permet de mesurer aujourd’hui le net impact du numérique sur l’expression du consentement contractuel, c’est-à-dire sur les volontés des internautes cocontractants, ainsi que sur le mécanisme de rencontre de celles-ci. Les volontés individuelles se sont ainsi vues soumises à un processus constitué d’une série d’étapes obligatoires, supposées limiter les cas dans lesquels la perfection de la convention interviendrait par erreur. Ce découpage ouvre toutefois la voie à l’automatisation de l’expression des volontés et de leur rencontre, annonçant alors l’ère de contrats conclus voire exécutés en un trait de temps grâce aux récentes avancées de l’intelligence artificielle appliquée au domaine juridique. La traditionnelle dichotomie entre formation et exécution du contrat révèle alors ses limites, et la théorie de l’autonomie de la volonté, envisagée comme seul fondement de la force obligatoire du contrat, se heurte à l’apparition de modes inédits d’expression du consentement.Information and communication technologies largely affect many branches of the law. The contract law is not an exception and many contracts are now concluded online, regardless of the device used. The use of this means of communication is not without influence on the perfection of the contract, in particular on the means of expression of the intention of the parties in the digital environment. Indeed, the latter offers vast prospects in terms of instantaneousness, immateriality and automation of the expression of its contractual agreement, raising questions about the validity of contracts formed by electronic means. Observing the practices that have taken place on the Internet, it is now possible to note the influence of digital means of communication on the expression of contractual agreement, that is to say on the individual intentions of the parties, as well as the meeting of these. Individual intentions have thus been subjected to a process consisting of a series of obligatory steps, supposed to limit the cases in which the conclusion of the agreement would be an error. However, this process opens the way to the automation of the expression of individual intentions and their meeting, announcing then the age of contracts concluded or even executed nearly instantaneously thanks to recent development in artificial intelligence applied to the legal field. The traditional dichotomy between conclusion and execution of the contract thus reveals its limits, and the principle of freedom of choice, considered as the sole basis of the binding force of the contract, runs up against the appearance of new modes of expression of contractual agreement

Journées Francophones des Langages Applicatifs 2018

National audienceLes 29èmes journées francophones des langages applicatifs (JFLA) se déroulent en 2018 à l'observatoire océanographique de Banyuls-sur-Mer. Les JFLA réunissent chaque année, dans un cadre convivial, concepteurs, développeurs et utilisateurs des langages fonctionnels, des assistants de preuve et des outils de vérification de programmes en présentant des travaux variés, allant des aspects les plus théoriques aux applications industrielles.Cette année, nous avons sélectionné 9 articles de recherche et 8 articles courts. Les thématiques sont variées : preuve formelle, vérification de programmes, modèle mémoire, langages de programmation, mais aussi théorie de l'homotopieet blockchain

La découverte scientifique dans les arts

Ce volume s’attache à l’étude des différentes représentations de la découverte scientifique dans la littérature et les arts du xixe siècle. Le moment même de la découverte peut être considéré comme un récit non scientifique et comme un épisode largement mythifié. Cette mystique de l’« eurêka » occulte pourtant les lenteurs et les tâtonnements plus proches de la réalité des savants. En alliant des approches pluridisciplinaires, cet ouvrage vise à interroger les écarts poétiquement fertiles entre la mise en scène traditionnelle d’une découverte scientifique en forme de jaillissement spontané et le travail souterrain que ce dévoilement nécessite en réalité

Sélection contextuelle de services continus pour la robotique ambiante

La robotique ambiante s'intéresse à l'introduction de robots mobiles au sein d'environnements actifs où ces derniers fournissent des fonctionnalités alternatives ou complémentaires à celles embarquées par les robots mobiles. Cette thèse étudie la mise en concurrence des fonctionnalités internes et externes aux robots, qu'elle pose comme un problème de sélection de services logiciels. La sélection de services consiste à choisir un service ou une combinaison de services parmi un ensemble de candidats capables de réaliser une tâche requise. Pour cela, elle doit prédire et évaluer la performance des candidats. Ces performances reposent sur des critères non-fonctionnels comme la durée d'exécution, le coût ou le bruit. Ce domaine applicatif a pour particularité de nécessiter une coordination étroite entre certaines de ses fonctionnalités. Cette coordination se traduit par l'échange de flots de données entre les fonctionnalités durant leurs exécutions. Les fonctionnalités productrices de ces flots sont modélisées comme des services continus. Cette nouvelle catégorie de services logiciels impose que les compositions de services soient hiérarchiques et introduit des contraintes supplémentaires pour la sélection de services. Cette thèse met en évidence la présence d'un important couplage non-fonctionnel entre les performances des instances de services de différents niveaux, même lorsque les flots de données sont unidirectionnels. L'approche proposée se concentre sur la prédiction de la performance d'une instance de haut-niveau sachant son organigramme à l'issue de la sélection. Un organigramme regroupe l'ensemble des instances de services sollicitées pour réaliser une tâche de haut-niveau. L'étude s'appuie sur un scénario impliquant la sélection d'un service de positionnement en vue de permettre le déplacement d'un robot vers une destination requise. Pour un organigramme considéré, la prédiction de performance d'une instance de haut-niveau de ce scénario introduit les exigences suivantes : elle doit (i)être contextuelle en tenant compte, par exemple, du chemin suivi pour atteindre la destination requise, (ii) prendre en charge le remplacement d'une instance de sous-service suite à un échec ou, par extension, de façon opportuniste. En conséquence, cette sélection de services est posée comme un problème de prise de décision séquentielle formalisé à l'aide de processus de décision markoviens à horizon fini. La dimensionnalité importante du contexte en comparaison à la fréquence des déplacements du robot rend inadaptées les méthodes consistant à apprendre directement une fonction de valeur ou une fonction de transition. L'approche proposée repose sur des modèles de dynamique locaux et exploite le chemin de déplacement calculé par un sous-service pour estimer en ligne les valeurs des organigrammes disponibles dans l'état courant. Cette estimation est effectuée par l'intermédiaire d'une méthode de fouille stochastique d'arbre, Upper Confidence bounds applied to TreesAmbient robotics aims at introducing mobile robots in active environments where the latter provide new or alternative functionalities to those shipped by mobile robots. This thesis studies the competition between robot and external functionalities, which is set as a service selection problem. Service selection consists in choosing a service or a combination of services among a set of candidates able to fulfil a given request. To do this, it has to predict and evaluate candidate performances. These performances are based on non-functional requirements such as execution time, cost or noise. This application domain requires tight coordination between some of its functionalities. Tight coordination involves setting data streams between functionalities during their execution. In this proposal, functionalities producing data streams are modelled as continuous services. This new service category requires hierarchical service composition and adds some constraints to the service selection problem. This thesis shows that an important non-functional coupling appears between service instances at different levels, even when data streams are unidirectional. The proposed approach focuses on performance prediction of an high-level service instance given its organigram. This organigram gathers service instances involved in the high-level task processing. The scenario included in this study is the selection of a positioning service involved in a robot navigation high-level service. For a given organigram, performance prediction of an high-level service instance of this scenario has to: (i) be contextual by, for instance, considering moving path towards the required destination, (ii) support service instance replacement after a failure or in an opportunist manner. Consequently, this service selection is set as a sequential decision problem and is formalized as a finite-horizon Markov decision process. Its high contextual dimensionality with respect to robot moving frequency makes direct learning of Q-value functions or transition functions inadequate. The proposed approachre lies on local dynamic models and uses the planned moving path to estimate Q-values of organigrams available in the initial state. This estimation is done using a Monte-Carlo tree search method, Upper Confidence bounds applied to TreesPARIS-EST-Université (770839901) / SudocSudocFranceF