Dans le contexte de l'Ingénierie Dirigée par les Modèles, l'utilisation de multiples paradigmes de modélisation pour développer un système complexe est à la fois inévitable et essentielle. Les modèles qui représentent un tel système sont donc hétérogènes, ce qui rend tout raisonnement global sur le système difficile. L'objectif de la modélisation multi-paradigme est de faciliter l'utilisation conjointe de modèles hétérogènes pendant le cycle de développement. Les travaux exposés dans cette thèse concernent l'étude de l'hétérogénéité des modèles et la conception d'une approche pour la modélisation multi-paradigme des systèmes. Nous caractérisons les causes de l'hétérogénéité des modèles par rapport au cycle de développement puis identifions différents types d'hétérogénéité. En nous basant sur ces causes d'hétérogénéité, nous proposons un cadre d'étude pour le domaine de la modélisation multi-paradigme avec différents axes de recherche. La multidisciplinarité de la modélisation multi-paradigme rend applicables des techniques issues de différents domaines. Nous proposons un état de l'art et une classification des techniques dont nous avons étudié la pertinence par rapport à l'hétérogénéité. La gamme des techniques présentées inclut les transformations de modèles, la composition de méta-modèles, la composition de modèles, l'adaptation de composants, la co-simulation ou encore les méga-modèles. Nous présentons ensuite ModHel'X, l'approche de composition de modèles pour la modélisation multi-paradigme que nous avons développée. Elle s'appuie sur le concept de modèle de calcul et permet : 1. de spécifier la sémantique d'un langage de modélisation de manière exécutable à travers la spécialisation opérationnelle d'une sémantique abstraite pour les modèles de calcul ; 2. de spécifier explicitement les mécanismes de composition à utiliser entre des modèles hétérogènes via une structure de modélisation appelée bloc d'interface ; 3. de simuler le comportement global de modèles hétérogènes par un algorithme générique d'exécution que nous avons défini. Une implémentation de ModHel'X a été réalisée sous la forme d'un framework s'appuyant sur EMF (Eclipse Modeling Framework).

Les systèmes embarqués sont de plus en plus intégrés dans les applications temps réel actuelles. Ils sont généralement constitués de composants matériels et logiciels profondément Intégrés mais hétérogènes. Ces composants sont développés sous des contraintes très strictes. En conséquence, le travail des ingénieurs de conception est devenu plus difficile. Pour répondre aux normes de haute qualité dans les systèmes embarqués de nos jours et pour satisfaire aux besoins quotidiens de l'industrie, l'automatisation du processus de développement de ces systèmes prend de plus en plus d'ampleur. Un défi majeur est de développer une approche automatisée qui peut être utilisée pour la vérification intégrée et la validation de systèmes complexes et hétérogènes.Dans le cadre de cette thèse, nous proposons une nouvelle approche compositionnelle pour la modélisation et la vérification des systèmes complexes décrits en langage SystemC. Cette approche est basée sur le modèle des SystemC Waiting State Automata (WSA). Les SystemC Waiting State Automata sont des automates permettant de modéliser le comportement abstrait des systèmes matériels et logiciels décrits en SystemC tout en préservant la sémantique de l'ordonnanceur SystemC au niveau des cycles temporels et au niveau des delta-cycles. Ce modèle permet de réduire la complexité de la modélisation des systèmes complexes due au problème de l'explosion combinatoire tout en restant fidèle au système initial. Ce modèle est compositionnel et supporte le rafinement. De plus, il est étendu par des paramètres temps ainsi que des compteurs afin de prendre en compte les aspects relatifs à la temporalité et aux propriétés fonctionnelles comme notamment la qualité de service. Nous proposons ensuite une chaîne de construction automatique des WSAs à partir de la description SystemC. Cette construction repose sur l'exécution symbolique et l'abstraction des prédicats. Nous proposons un ensemble d'algorithmes de composition et de réduction de ces automates afin de pouvoir étudier, analyser et vérifier les comportements concurrents des systèmes décrits ainsi que les échanges de données entre les différents composants. Nous proposons enfin d'appliquer notre approche dans le cadre de la modélisation et la simulation des systèmes complexes. Ensuite l'expérimenter pour donner une estimation du pire temps d'exécution (worst-case execution time (WCET)) en utilisant le modèle du Timed SystemC WSA. Enfin, on définit l'application des techniques du model checking pour prouver la correction de l'analyse abstraite de notre approche. / Embedded systems are increasingly integrated into existing real-time applications. They are usually composed of deeply integrated but heterogeneous hardware and software components. These components are developed under strict constraints. Accordingly, the work of design engineers became more tricky and challenging. To meet the high quality standards in nowadays embedded systems and to satisfy the rising industrial demands, the automatization of the developing process of those systems is gaining more and more importance. A major challenge is to develop an automated approach that can be used for the integrated verification and validation of complex and heterogeneous HW/SW systems.In this thesis, we propose a new compositional approach to model and verify hardware and software written in SystemC language. This approach is based on the SystemC Waiting State Automata (WSA). The SystemC Waiting State Automata are used to model the abstract behavior of hardware or software systems described in SystemC. They preserve the semantics of the SystemC scheduler at the temporal and the delta-cycle level. This model allows to reduce the complexity of the modeling process of complex systems due to the problem of state explosion during modeling while remaining faithful to the original system. The SystemC waiting state automaton is also compositional and supports refinement. In addition, this model is extended with parameters such as time and counters in order to take into account further aspects like temporality and other extra-functional properties such as QoS.In this thesis, we propose a stepwise approach on how to automatically extract the SystemC WSAs from SystemC descriptions. This construction is based on symbolic execution together with predicate abstraction. We propose a set of algorithms to symbolically compose and reduce the SystemC WSAs in order to study, analyze and verify concurrent behavior of systems as well as the data exchange between various components. We then propose to use the SystemC WSA to model and simulate hardware and software systems, and to compute the worst cas execution time (WCET) using the Timed SystemC WSA. Finally, we define how to apply model checking techniques to prove the correctness of the abstract analysis.

Para lidar com a natureza exploratória da ciência e o processo dinâmico envolvido nas análises científicas, os sistemas de gerência de workflows dinâmicos são essenciais. Entretanto, workflows dinâmicos são considerados como um desafio em aberto, devido à complexidade em gerenciar o workflow em contínua adaptação, em tempo de execução, por eventos externos como a intervenção humana. Apoiar iterações dinâmicas é um passo importante na direção dos workflows dinâmicos uma vez que a interação entre o usuário e o workflow é iterativa. Porém, o apoio existente para iterações em workflows científicos é estático e não permite mudanças, em tempo de execução, nos dados do workflow, como critérios de filtros e margens de erro. Nesta tese, propomos uma abordagem algébrica para dar apoio a iterações centradas em dados em workflows dinâmicos. Propomos o conceito de linhagem da iteração de forma que a gerência dos dados de proveniência seja consistente com as interações com o workflow. A linhagem também possibilita que os cientistas interajam com os dados do workflow por meio de dois algoritmos implementados no sistema de workflows Chiron. Avaliamos a nossa abordagem utilizando workflows reais em ambientes de execução em larga escala. Os resultados mostram melhorias no tempo de execução de até 24 dias quando comparado com uma abordagem tradicional não iterativa. Realizamos consultas complexas aos resultados parciais ao longo das iterações do workflow. A nossa abordagem introduz uma sobrecarga de no máximo 3,63% do tempo de execução. O tempo para executar os algoritmos de interação também é menor que 1 milissegundo no pior cenário avaliado.

Les prisons ouvertes constituent un modèle pénitentiaire singulier, qui puise son origine dans des expérimentations carcérales de la première moitié du XIXème siècle. Leurs caractéristiques et leurs atouts ont été définis en 1955 par la jeune Organisation des Nations-Unies en même temps que fut encouragé leur usage. Malgré ce soutien, les prisons ouvertes ne trouvèrent pas partout le même espace pénologique, ce que le cas français illustre largement par la faible proportion d'utilisation réservée à ces établissements. De plus, l'ultra-minorité des prisons ouvertes françaises s'accompagne de critères d'emploi qui font figures d'exceptions, en comparaison des autres pays européens utilisateurs de ce modèle.Toutefois, la réforme des modalités d'exécution des peines intervenue récemment dans l'hexagone pourrait entrainer une reconsidération de leurs fonctions. La présente recherche propose donc de situer ces établissements dans les nouvelles inflexions qui touchent la pénologie européenne et française, tout en envisageant la place que pourraient être amenées à y trouver les différentes déclinaisons du modèle ouvert de détention

Les prisons ouvertes constituent un modèle pénitentiaire singulier, qui puise son origine dans des expérimentations carcérales de la première moitié du XIXème siècle. Leurs caractéristiques et leurs atouts ont été définis en 1955 par la jeune Organisation des Nations-Unies en même temps que fut encouragé leur usage. Malgré ce soutien, les prisons ouvertes ne trouvèrent pas partout le même espace pénologique, ce que le cas français illustre largement par la faible proportion d’utilisation réservée à ces établissements. De plus, l’ultra-minorité des prisons ouvertes françaises s’accompagne de critères d’emploi qui font figures d’exceptions, en comparaison des autres pays européens utilisateurs de ce modèle.Toutefois, la réforme des modalités d’exécution des peines intervenue récemment dans l’hexagone pourrait entrainer une reconsidération de leurs fonctions. La présente recherche propose donc de situer ces établissements dans les nouvelles inflexions qui touchent la pénologie européenne et française, tout en envisageant la place que pourraient être amenées à y trouver les différentes déclinaisons du modèle ouvert de détention / Open prisons constitute a unique model prison, which has its origin in prison experiments of the first half of the nineteenth century. Their characteristics and strengths were identified in 1955 by the young United-nations, when was also encouraged their use. Despite this support, open prisons are not found everywhere the same penological space, as the French low rate of utilization illustrated well. In addition, the ultra-minority of French open prisons and their criteria of employment figure as an exception, in comparison with the other European countries witch use this model.However, the reform of the enforcement sentences system recently intervened in the hexagon could lead to a reconsideration of their use. So this research proposes to locate these facilities in new inflections that affect the European and French penology, while considering the role that could be led to find different versions of the open institution model

La régulation du contentieux international des actions de groupe constitue le prolongement dans l'ordre international des fonctions poursuivies par une action de groupe dans l'ordre interne -l'accès en justice, l'efficacité économique et la régulation des marchés - et vise à assurer la sécurité juridique, la prévisibilité et l 'harmonie internationale des solutions ; objectifs également partagés par le droit international privé. Cette régulation s'avère pourtant difficile et complexe, notamment en raison de la concurrence exercée par les ordres juridiques en matière de redressement des dommages de masse, et de l'inadéquation des méthodes et instruments de droit international privé à la résolution d'un contentieux complexe, impliquant une multitude de parties et présentant une forte dimension régulatoire. La globalisation du contentieux international des actions de groupe soulève donc des questions complexes de conflits de juridictions, de conflits de lois, de coordination de procédures ainsi que de reconnaissance et d'exécution des décisions.C'est à ces questions complexes que cette thèse propose de répondre. Les solutions proposées tiennent compte des intérêts enchevêtrés que revêt le contentieux de groupe international, et visent essentiellement à prévenir des hypothèses de sous-régulation et de sur-régulation susceptibles d'empoisonner aujourd'hui le contentieux de masse international. / The regulation of international disputes arising out of group actions consists of safeguarding the functions underlying a domestic group action procedure in the context of international litigation (i.e. access to justice, economic efficiency and market regulation). It also aims to ensure the legal certainty, the predictability and harmony of solutions; the latters are objectives also pursued by the rules of private international law. Such regulation reveals difficult to achieve, in light of the competition arising between the legal systems in relation to the redress of global mass damages and the failure of private international law methods and instruments to address complex disputes putting at stake large number of parties and having a strong regulatory dimension. Thus, the globalisation of group actions disputes raises complex questions of conflicts of jurisdictions, conflicts of laws, coordination of procedures and enforcement of decisions.This PhD dissertation aims at addressing all these complex questions. The suggested solutions take into account the intertwined interests underlying disputes arising out of international group actions and aim essentially to prevent the current intoxication of international mass litigation resulting from the occurrence of situations of under-regulation and overregulation.

Actuellement les smartphones possèdent un grand éventail de fonctionnalités. Ces objets tout en un, sont constamment connectés. Il est l'appareil favori plébiscité par les utilisateurs parmi tous les dispositifs de communication existants. Les applications actuelles développées pour les smartphones doivent donc faire face à une forte augmentation de la demande en termes de fonctionnalités tandis que - dans un même temps - les smartphones doivent répondre à des critères de compacité et de conception qui les limitent en énergie et à un environnement d'exécution pauvre en ressources. Utiliser un système riche en ressource est une solution classique introduite en informatique dans les nuages mobiles (Mobile Cloud Computing), celle-ci permet de contourner les limites des appareils mobiles en exécutant à distance, toutes ou certaines parties des applications dans ces environnements de nuage. Certaines architectures émergent, mais peu d'algorithmes existent pour traiter les propriétés dynamiques de ces environnements. Dans cette thèse, nous focalisons notre intérêt sur la conception d'ACOMMA (Ant-inspired Collaborative Offloading Middleware for Mobile Applications), un interlogiciel d'exécution déportée collaborative inspirée par le comportement des fourmis, pour les applications mobiles. C'est une architecture orientée service permettant de décharger dynamiquement des partitions d'applications, de manière simultanée, sur plusieurs clouds éloignés ou sur un cloud local créé spontanément, incluant les appareils du voisinage. Les principales contributions de cette thèse sont doubles. Si beaucoup d'intergiciels traitent un ou plusieurs défis relatifs à l'éxecution déportée, peu proposent une architecture ouverte basée sur des services qui serait facile à utiliser sur n'importe quel support mobile sans aucun exigence particulière. Parmi les principaux défis il y a les questions de quoi et quand décharger dans cet environnement très dynamique. A cette fin, nous développons des algorithmes de prises de décisions bio-inspirées : un processus de prise de décision bi-objectif dynamique avec apprentissage et un processus de prise de décision en collaboration avec les autres dispositifs mobiles du voisinage. Nous définissons un mécanisme de dépôt d'exécution avec une méthode de partitionnement grain fin de son graphe d'appel. Nous utilisons les algorithmes des colonies de fourmis pour optimiser bi-objectivement la consommation du CPU et le temps total d'exécution, en incluant la latence du réseau. Nous montrons que les algorithmes des fourmis sont plus facilement re-adaptables face aux modifications du contexte, peuvent être très efficaces en ajoutant des algorithmes de cache par comparaison de chaîne (string matching caching) et autorisent facilement la dissémination du profil de l'application afin de créer une exécution déportée collaborative dans le voisinage. / Not bounded by time and place, and having now a wide range of capabilities, smartphones are all-in-one always connected devices - the favorite devices selected by users as the most effective, convenient and neces- sary communication tools. Current applications developed for smartphones have to face a growing demand in functionalities - from users, in data collecting and storage - from IoT device in vicinity, in computing resources - for data analysis and user profiling; while - at the same time - they have to fit into a compact and constrained design, limited energy savings, and a relatively resource-poor execution environment. Using resource- rich systems is the classic solution introduced in Mobile Cloud Computing to overcome these mobile device limitations by remotely executing all or part of applications to cloud environments. The technique is known as application offloading. Offloading to a cloud - implemented as geographically-distant data center - however introduces a great network latency that is not acceptable to smartphone users. Hence, massive offloading to a centralized architecture creates a bottleneck that prevents scalability required by the expanding market of IoT devices. Fog Computing has been introduced to bring back the storage and computation capabilities in the user vicinity or close to a needed location. Some architectures are emerging, but few algorithms exist to deal with the dynamic properties of these environments. In this thesis, we focus our interest on designing ACOMMA, an Ant-inspired Collaborative Offloading Middleware for Mobile Applications that allowing to dynamically offload application partitions - at the same time - to several remote clouds or to spontaneously-created local clouds including devices in the vicinity. The main contributions of this thesis are twofold. If many middlewares dealt with one or more of offloading challenges, few proposed an open architecture based on services which is easy to use for any mobile device without any special requirement. Among the main challenges are the issues of what and when to offload in a dynamically changing environment where mobile device profile, context, and server properties play a considerable role in effectiveness. To this end, we develop bio-inspired decision-making algorithms: a dynamic bi-objective decision-making process with learning, and a decision-making process in collaboration with other mobile devices in the vicinity. We define an offloading mechanism with a fine-grained method-level application partitioning on its call graph. We use ant colony algorithms to optimize bi-objectively the CPU consumption and the total execution time - including the network latency.

L’acceptation et l’utilisation des services Web en industrie se développent de par leursupport au développement d’application distribuées comme compositions d’entitéslogicielles plus simples appelées services. En complément à la vérification, le testpermet de vérifier la correction d’une implémentation binaire (code source nondisponible) par rapport à une spécification. Dans cette thèse, nous proposons uneapproche boîte-noire du test de conformité de compositions de services centralisées(orchestrations). Par rapport à l’état de l’art, nous développons une approchesymbolique de façon à éviter des problèmes d’explosion d’espace d’état dus à la largeutilisation de données XML dans les services Web. Cette approche est basée sur desmodèles symboliques (STS), l’exécution symbolique de ces modèles et l’utilisationd’un solveur SMT. De plus, nous proposons une approche de bout en bout, quiva de la spécification à l’aide d’un langage normalisé d’orchestration (ABPEL) etde la possible description d’objectifs de tests à la concrétisation et l’exécution enligne de cas de tests symboliques. Un point important est notre transformation demodèle entre ABPEL et les STS qui prend en compte les spécifications sémantiquesd’ABPEL. L’automatisation de notre approche est supportée par un ensemble d’outilsque nous avons développés. / Web services are gaining industry-wide acceptance and usage by fostering the developmentof distributed applications out of the composition of simpler entities calledservices. In complement to verification, testing allows one to check for the correctnessof a binary (no source code) service implementation with reference to a specification.In this thesis, we propose black box conformance testing approach for centralizedservice compositions (orchestrations). With reference to the state of the art, wedevelop a symbolic approach in order to avoid state space explosion issues due to theXML data being largely used in Web services. This approach is based on symbolicmodels (STS), symbolic execution, and the use of a satisfiability modulo theory(SMT) solver. Further, we propose a comprehensive end-to-end approach that goesfrom specification using a standard orchestration language (ABPEL), and the possibledescription of test purposes, to the online realization and execution of symbolic testcases against an implementation. A crucial point is a model transformation fromABPEL to STS that we have defined and that takes into account the peculiarities ofABPEL semantics. The automation of our approach is supported by a tool-chainthat we have developed.

La multiplication des pactes d’actionnaires dans les sociétés anonymes non cotées françaises et libanaises ne permet plus de reléguer leur efficacité au second plan, comme cela se faisait fréquemment dans la plupart des études consacrées aux pactes d’actionnaires. A la lumière des développements législatifs et jurisprudentiels rappelant ou affirmant la primauté de l’exécution en nature des obligations, cette thèse tente d’analyser les obstacles qui gênent l’exécution des pactes d’actionnaires et les moyens de les éviter ou de les contrer en vue d’assurer une efficacité optimale aux pactes. Ce faisant, les diverses limites qui sont systématiquement invoquées contre l’efficacité des pactes d’actionnaires seront passées en revue pour s’assurer de leur opportunité et de leur portée ; ceci aidera à affirmer la particularité des pactes d’actionnaires par rapport aux statuts sociaux, notamment pour ce qui se rapporte à l’ordre public sociétaire qui leur est applicable. Le but ultime se révélera être celui de rapprocher les solutions des droits français et libanais de celles des droits anglo-américains pour éviter, d’une part, l’abandon des lois françaises et libanaises et leur remplacement par les lois anglo-américaines, et, d’autre part, les problèmes de compatibilité qui pourraient survenir lorsque le pacte d’actionnaires est régi par une loi autre que la lex societatis. / The increase of the number of shareholders’ agreements in French and Lebanese unlisted joint-stock companies does not allow to relegate their efficiency to a second rank anymore, as it was frequently the case in most of the studies dedicated to shareholders’ agreements. In light of the legislative and judicial developments reminding or asserting the predominance of the specific performance of obligations, this thesis attempts to analyse the hurdles that hinder the enforcement of shareholders’ agreements and the means to avoid or overcome them in order to ensure an optimal efficiency of shareholders’ agreements. In doing so, the various limits to the efficiency of shareholders’ agreements that are systematically invoked shall be examined to verify their relevance and scope; this shall help to assert the particular nature of shareholders’ agreements in comparison to the by-laws of the company, especially in relation to the public policy in corporate matters that is applicable to them.The ultimate goal shall be to bring the solutions of the French and Lebanese laws closer to those of the Anglo-American laws to avoid, first, the laying aside of the French and Lebanese laws and their replacement by the Anglo-American laws, and second, the compatibility issues which may arise in case the shareholders’ agreement is governed by a law other than the one governing the company.

La pathologisation du criminel n’est pas un fait nouveau, pas plus que ne l’est la tendance latente à considérer le délinquant comme un malade. Pourtant, la sanction pénale semble avoir dépassé progressivement l’association symbolique en distillant progressivement au cœur de son fonctionnement le principe d’une réponse médicale à l’acte infractionnel. Ce faisant elle s’inscrit progressivement dans un mouvement plus vaste, celui décrit par les sociologues du milieu du XXème siècle : le processus de médicalisation. L’étude de la médicalisation de la sanction pénale démontre d’une mutation inédite prenant appui sur une catégorie à définir, celle des soins pénalement ordonnés. Elle tend alors à mesurer les différentes mutations opérées par une série de législations marquée par l’accélération et l’expansion d’un processus longtemps associé à des problématiques addictives. Le soin a t-il vocation à se substituer à la sanction, à devenir sanction ? Telles sont désormais les nouvelles problématiques qui innervent la matière. Dans ce qui se profile comme une redéfinition de l’architecture de la sanction pénale, pour les responsables comme les irresponsables pénaux le système pénal n’admet plus de culpabilité sans sanction, ni de sanction sans traitement. La tangibilité du processus de médicalisation de la sanction pénale naît alors du déplacement progressif et à dessein des fondements traditionnels de la sanction pénale tandis que, dans un mouvement inverse, ses finalités se resserrent, depuis leur réception théorique jusque dans leur mise en œuvre, autour d’un objectif thérapeutique / Pathologising the criminal is nothing new, no more than is the latent trend to consider the offender as a patient. Yet criminal sanction appears to have gradually exceeded this symbolic association, progressively distilling the principle of a medical response to the unlawful act into the core of its operation. In doing so it gradually falls within a broader movement, that described by sociologists from the middle of the twentieth century: the medicalisation process.The study of the medicalisation of criminal punishments demonstrates an unprecedented mutation based on taking a class yet to be defined, that of care as a criminal punishment. It tends to measure different mutations carried by a series of laws marked by the acceleration and expansion of a process long associated with addictive problems. Has care become a substitute for punishment, or even a punishment in itself ? These are now the new problems that are stirring things up. In what is emerging as a redefinition of the architecture of punishment, for those responsible just like those who are criminally irresponsible, the penal system no longer recognises guilt without punishment, nor punishment without treatment. The tangibility of the process of medicalisation of criminal punishment was born of the progressive and intentional movement away from the traditional foundations of criminal punishment while, in a reverse movement, tightening its purposes, hence their theoretical reception right through to its implementation, around a therapeutic target