Assistance au test de modèles à composants et services

ISBN 978-2-905267-89-4International audienceDans l'ingénierie des modèles, la correction des modèles est essentielle. Tester le plus tôt possible permet de réduire le coût du processus de véri cation et de validation. Distinguer modèle abstrait et modèle spéci fique réduit la complexité du test et favorise l'évolution du système modélisé. Nous ciblons les modèles à composants et services, ayant un niveau de description su ffisamment précis et détaillé pour pouvoir exécuter les tests. Notre objectif est de tester ces modèles à composants c'est-à-dire de concevoir des cas de tests, de les appliquer sur les modèles mis dans un contexte adéquat pour être exécutés et obtenir un verdict. Pour réduire l'eff ort de construction du harnais de test, nous proposons une méthode qui guide le testeur dans le processus de conception des tests au niveau du modèle. L'assistance à la construction est basée sur (1) la détection d'incohérences et d'incomplétude entre le harnais et le modèle de test ainsi que sur (2) des propositions générant les éléments manquants. Le programme de test est alors transformé vers une plateforme technique dédiée à l'exécution des tests. La mise en oeuvre est réalisée avec des plugins Eclipse dans COSTO, une plateforme dédiée au modèle à composants Kmelia

De l'analyse juridique à l'évaluation économique comparée du droit des contrats publics

International audienceL'article présente les résultats d'une évaluation économique comparée du droit des contrats publics et de l'équilibre financier entre cocontractants . L'étude porte sur cinq pays : quatre pays membres de l'Union européenne (l'Allemagne, l'Espagne, la France, le Royaume-Uni) et les Etats-Unis. A la différence d'autres domaines qui ressortissent de l'activité économique du secteur privé (création d'entreprise, procédures collectives, embauche et licenciement de salariés, exécution des obligations), le droit du contrat public n'a jamais fait l'objet d'études utilisant la méthode des indicateurs. Les comparaisons internationales disponibles dans la littérature académique ou professionnelle sont nombreuses, mais elles sont essentiellement centrées sur l'analyse comparée des procédures de passation des contrats publics, en les étudiant en termes juridiques, alors que la présente étude est centrée, via le problème de l'équilibre financier, sur les règles à la fois de passation et d'exécution du contrat public, et en les étudiant en termes d'efficacité économique. L'équilibre du contrat renvoie essentiellement à la manière dont le texte même du contrat, lors de la passation, traite de ses risques, puis à la façon dont la réglementation, la jurisprudence, et aussi la pratique administrative, traitent des aléas non prévus, qu'ils soient endogènes au contrat ou exogènes, pouvant affecter l'exécution des prestations. L'étude porte plus particulièrement sur les marchés de travaux. La première partie expose différentes possibilités d'évaluation économique appliquées aux contrats publics. Elle met en évidence la pluralité des outils et critères d'évaluation aux niveaux macro puis microéconomiques. Puis elle examine une éventuelle adoption de la méthode des indicateurs dans le domaine de la réglementation des achats publics. Elle se heurte toutefois aux difficultés générales de cette méthode, qui ont été soulignées à propos des rapports « Doing Business » (risques d'arbitraire dans le choix des indicateurs et de subjectivité dans les notations notamment). En outre elle se heurte en l'espèce aux difficultés de mise en équivalence des systèmes réglementaires dans une démarche de classements internationaux, du fait de leur diversité et même de leur hétérogénéité. Une perspective de droit comparé, sensible à la question des équivalents fonctionnels et tenant compte de la réalité des pratiques, s'impose de toute façon comme un préalable à la compréhension et à la comparaison du fonctionnement des dispositifs réglementaires et juridictionnels nationaux. La deuxième partie vise le fonctionnement des dispositifs réglementaires dans la pratique, en partant- de l'idée que c'est moins c'est moins l'énoncé des normes qui importe que leur mise en œuvre, à la fois par les acteurs du contrat public, par les pouvoirs publics, par les tribunaux, voire par les organisations professionnelles. L'article rend d'abord compte des résultats d'une enquête menée auprès d'experts, avec l'appui précieux des institutions suprêmes de contrôle des pays concernés, sur les performances en pratique des différents aspects de la réglementation des marchés publics. Ensuite est présentée une étude du contentieux comparé du contrat public en France et aux Etats-Unis, ainsi que celle des dispositifs qui, sans forcément en porter le nom ni être expressément destinés à cette fin, concourent en pratique à l'équilibre du contrat

FROGi : Deploiement de composants Fractal sur OSGi

Cet article presente FROGi, une proposition visant a introduire le modele a composants Fractal a l'interieur de la plateforme de services OSGi. La motivation derriere ce travail est double. D'un cote, FROGi offre aux developpeurs de services OSGi un modele a composants extensibles qui facilite le developpement des bundles ; ces derniers restent toutefois compatibles avec les bundles "patrimoniaux". D'un autre cote, FROGi beneficie de l'infrastructure de deploiement que represente OSGi et qui facilite la realisation du conditionnement et du deploiement de composants Fractal. Dans FROGi, une application Fractal est conditionnee sous la forme d'un ou plusieurs bundles et elle peut etre deployee de facon partielle et les activites de deploiement peuvent avoir lieu de facon continue. -- This paper presents FROGi, a proposal to introduce the Fractal component model into the OSGi services platform. There are two motivations for this work. The first one is to offer a flexible component model to the OSGi developers to simplify bundle development. Bundles developed with FROGi are nevertheless compatible with standard bundles. The second motivation is to leverage OSGi's deployment capabilities to package and deploy Fractal components. In FROGi, a Fractal application is packaged and delivered as a set of OSGi bundles; such an application supports partial deployment and additionally, deployment activities can occur continuously

Technique contractuelle et gestion des risques dans les contrats internationaux : les cas de force majeure et d'imprévision

Une multitude d'événements peut perturber le déroulement d'une transaction internationale. La prévention et la répartition des risques revêtent donc une importance primordiale pour les parties au contrat. Les praticiens ont élaboré des clauses sophistiquées permettant d'adapter la relation contractuelle aux circonstances nouvelles. Parmi ces clauses, l'auteur analyse celles qui s'attachent à résoudre les problèmes d'exécution engendrés par les situations de force majeure et d'imprévision. L'insertion de telles clauses apparaît essentielle devant l'inadéquation des solutions juridiques nationales et internationales en la matière.Many events may upset an international transaction. The prevention and sharing of risks are therefore of primary importance for parties to the contract. Practitioners have developed sophisticated clauses to adapt contractual relations to new circumstances. The author analyses those applying to solving problems regarding performance that arise from acts of God and unforeseeable changes in circumstances. The insertion of such clauses appears to be essential owing to the inadequacies of national and international legal solutions in such matters

Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérication de contrats

With Model Driven Engineering models are the heart of software development. Thesemodels evolve through transformations. In this thesis our interest was the validationfor these model transformations by testing, and more precisely the test oracles. Wepropose two approaches to assist the tester to create these oracles. With the first ap-proach this assistance is passive; we provide the tester with a new oracle function.The test oracles created with this new oracle function control only part of the modelproduced by the transformation under test. We defined the notion of partial verdict,described the situations where having a partial verdict is beneficial for the tester andhow to test a transformation in this context. We developed a tool implementing thisproposal, and ran experiments with it. With the second approach, we provide a moreactive assistance about test oracles’ quality. We study the quality of a set of modeltransformation test oracles. We consider that the quality of a set of oracles is linkedto its ability to detect faults in the transformation under test. We show the limits ofmutation analysis which is used for this purpose, then we propose a new approach thatcorrects part of these drawbacks. We measure the coverage of the output meta-modelby the set of oracles we consider. Our approach does not depend on the language usedfor the transformation under test’s implementation. It also provides the tester withhints on how to improve her oracles. We defined a process to evaluate meta-modelcoverage and qualify test oracles. We developed a tool implementing our approach tovalidate it through experimentations.L'utilisation croissante des composants et des services logiciels dans les différents secteursd'activité (télécommunications, transports, énergie, finance, santé, etc.) exige desmoyens (modèles, méthodes, outils, etc.) rigoureux afin de maîtriser leur production etd'évaluer leur qualité. En particulier, il est crucial de pouvoir garantir leur bon fonctionnementen amont de leur déploiement lors du développement modulaire de systèmes logiciels.Kmelia est un modèle à composants multi-services développé dans le but de construiredes composants logiciels et des assemblages prouvés corrects. Trois objectifs principauxsont visés dans cette thèse. Le premier consiste à enrichir le pouvoir d'expression du modèle Kmelia avec un langage de données afin de satisfaire le double besoin de spécificationet de vérification. Le deuxième vise l'élaboration d'un cadre de développement fondé sur lanotion de contrats multi-niveaux. L'intérêt de tels contrats est de maîtriser la constructionprogressive des systèmes à base de composants et d'automatiser le processus de leur véri-fication. Nous nous focalisons dans cette thèse sur la vérification des contrats fonctionnelsen utilisant la méthode B. Le troisième objectif est l'instrumentation de notre approchedans la plate-forme COSTO/Kmelia. Nous avons implanté un prototype permettant deconnecter COSTO aux différents outils associés à la méthode B. Ce prototype permet deconstruire les machines B à partir des spécifications Kmelia en fonction des propriétés à vé-rifier. Nous montrons que la preuve des spécifications B générées garantit la cohérence desspécifications Kmelia de départ. Les illustrations basées sur l'exemple CoCoME confortentnos propositions

L’ouverture de l’amont pétrolier à des compagnies privées. Un cadre d’analyse en termes d’économie des coûts de transaction

Cahier de recherche EDDEN n° 2bis/2014National audienceBy drawing on transaction cost economics, this article identifies the coordination problems and contractual hazards resulting from the upstream oil transaction between oil states and private companies. It contributes to a better understanding of the different functions of a national oil company in the governance of transaction. Public companies can complement or replace coordination through contractual arrangements. We therefore propose and discuss the idea that the functional effectiveness of an oil governance structure depends on the consistency between the place of the public company in this structure and the state’s capacity to ensure effective regulation through contracts.Cet article mobilise le cadre théorique de l’économie des coûts de transaction pour identifier les problèmes de coordination et les aléas contractuels de la transaction d’ouverture de l’amont pétrolier aux compagnies privées. Cela nous permet d’affiner la compréhension des fonctions de la compagnie pétrolière publique dans la gouvernance de la transaction. Cette dernière assure une fonction de complément et de substitut à la coordination contractuelle. Nous pouvons alors avancer l’idée selon laquelle la viabilité de la structure de gouvernance pétrolière dépend de la cohérence qui existe entre le positionnement de la compagnie publique dans la structure, d’un côté, et la capacité de régulation contractuelle de l’État, de l’autre

Adaptation des processus collaboratifs par coordination des changements et migration des instances

Le changement en entreprise a toujours été une réalité. De ce fait, les processus d'affaires subissent des altérations régulièrement. La flexibilité des systèmes de gestion des processus est donc cruciale. Puisque les processus d'affaires s'exécutent habituellement sur une longue période, la capacité des systèmes d'effectuer ces changements aux processus lorsqu'ils sont en cours d'exécution est quasi indispensable. Grâce aux architectures fondées sur les services, plusieurs organisations indépendantes peuvent contribuer à la réalisation d'une chorégraphie de processus. La complexité de gestion du changement augmente alors en fonction du nombre de participants. Des changements dans de telles chorégraphies doivent être coordonnés au niveau des contrats, des schémas des processus et des instances actives en collaboration. Notre approche de gestion du changement tient compte de tous ces aspects. Nous proposons un protocole pour coordonner le changement dans des chorégraphies de processus, le Change Protocol for Collaboration (CPC). Il assure que les changements soient traités par tous les participants. Nous proposons en plus une méthode d'adaptation dynamique des processus collaboratifs par migration des instances, et ce, de manière semi-automatisée. Aucune solution d'adaptation dynamique n'avait encore été proposée tenant compte de la collaboration d'instances actives. \ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : architecture fondée sur les services, processus d'affaires, processus collaboratifs, chorégraphie, évolution des processus, coordination du changement, changement dynamique, migration des instances

La formation et l'emploi : nouveaux défis, pour quels changements ?

L'article montre que les dirigeants de PME-PMI se représentent les actions de formation continue dans un cadre fortement marqué par la théorie économique néo classique de l'offre et de la demande. L'innovation rendue possible par les NTIC en matière de formation continue doit davantage prendre en compte les potentiels individuels, mais aussi collectifs