A Constrained Object Model for Configuration Based Workflow Composition

Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. Recent research observed that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels . This lead to consider the viability of applying configuration techniques to this problem, which was proven feasible. Constrained based configuration expects a constrained object model as input. The purpose of this document is to formally specify the constrained object model involved in ongoing experiments and research using the Z specification language.Comment: This is an extended version of the article published at BPM'05, Third International Conference on Business Process Management, Nancy Franc

Génération rapide et filtrage de configurations canoniques

La configuration sous contraintes présente une nouvelle difficulté à prendre en compte par les méthodes d'élimination de symétries connues par la communauté CSP car elle y introduit un aspect dynamique. Nous présentons ici une amélioration significative d'un algorithme de génération de configurations canoniques. Cette nouvelle version exploite l'incrémentalité que l'on peut faire ressortir de la génération de solutions canoniques et de l'ordre total sur les arbres sur laquelle elle repose. La complexité du test de canonicité passe ainsi de O(Nlog(N)) à O(N). De plus, une technique de filtrage nous permet d'éliminer à l'avance des configurations non canoniques. Des résultats expérimentaux montrent l'intérêt de cette approche sur des problèmes classiques

Les grammaires de configuration : un cadre grammatical moderne

Ce papier présente une nouvelle approche pour la description de grammaires du langage naturel et pour leur utilisation lors de l'analyse. Nous définissons un modèle objet contraint qui peut être étendu pour implémenter les formalismes grammaticaux et être ensuite exploité par un configurateur pour analyser syntaxiquement des phrases. Le cadre général se nomme Grammaires de Configuration et peut être utilisé pour la description de grammaires de dépendences comme pour celle de grammaires syntagmatiques. Nous proposons un exemple détaillé de cette application à un formalisme génératif à base de contraintes nommé les grammaires de propriétés

Comprendre des Descriptions Simples à l'aide d'un Configurateur

http://www710.univ-lyon1.fr/~csolnonLe but de l'analyse du langage naturel est de construire des représentations traitables par une machine d'un texte donné en entrée. Nous présentons ici une nouvelle approche de ce problème qui combine l'analyse syntaxique (le parsage) et la construction de la sémantique en une unique tâche de configuration. L'utilisation d'un configurateur pour le parsage est possible en décrivant la grammaire comme un modèle objet sous contraintes. Nous étendons cette approche au traitement de la sémantique en introduisant deux nouveaux modèles objets contraints: un pour représenter la sémantique, et l'autre pour lier la syntaxe et la sémantique via la notion de "schémas". Nous mettons en avant les avantages de cette approche et présentons des résultats expérimentaux dans le cadre encore restreint de textes descriptifs simples, mais qui pourra être étendu pour capturer des sémantiques plus riches. Le système objet contraint sous-jacent est présenté formellement en utilisant le langage relationnel Z

Composition de Workflows à l'aide de la Configuration

http://www710.univ-lyon1.fr/~csolnonLa composition automatique ou assistée de workflows est un domaine d'intense recherche avec des applications au "world wide web" et à la modélisation de processus métiers (BPM), traditionnellement envisagée en utilisant des techniques de programmation logique et de démonstration automatique. L'originialité de cette recherche provient de l'observation que la construction d'un workflow composite est un problème de recherche de modèles finis, et que la plupart des languages de workflows peuvent être définis par des métamodèles objets contraints, comme UML ou YAWL. Cela conduit à envisager l'application de techniques de configuration à base de contraintes à ce problème, ce dont nous montrons la faisabilité. Nous présentons un modèle objet contraint pour la composition de workflows, s'appuyant sur un métamodèle contraint ainsi que des ontologies de processus et de flots de données. Des résultats expérimentaux sont donnés pour une implantation qui génère des workflows composites complexes mettant en jeu transformations, synchronisations et tests

Language de Requête Configurable pour la Composition de Services Web Semantiques

La composition est un des principaux challenge pour la communauté des services web sémantiques (SWS). Parmi les approches existantes, il a été montré efficace d'utiliser des techniques à base de contraintes (telle que la configuration) pour créer des orchestrations à partir des choréographies. Des expérimentations supplémentaires ont révélé les limitations et les ambiguités sémantiques qui peuvent survenir à partir de la requête à un composeur. Cet article propose une approche originale où la requête est vue comme un problème en lui-même, et montre comment la configuration peut être utilisée pour le résoudre grâce à un modèle objet contraint

Traduction automatique de grammaires à base de traits en un problème de configuration syntaxique

Nous présentons un outil effectif de traduction automatique d'une grammaire de propriété en un problème de configuration sous contraintes. Un template Latex (utilisant les AVMs1 standards) est utilisé pour spécifier la grammaire et le générateur prend en entrée les fichiers Latex utilisés pour la documenter. Ainsi, notre contribution propose à la fois une validation syntaxique des grammaires de propriété (l'outil détecte les inconsistances dans la grammaire au niveau de la formulation) et une manière de vérifier la correction et la consistance de la grammaire (en détectant les erreurs et/ou les étiquetages manquant des phrases de test). L'approche pourrait se voir étendue à d'autres théories linguistiques basées sur les contraintes

Optimisation par colonie de fourmis pour la configuration

National audienceUne des difficultés inhérentes à la recherche énumérative est l'explosion combinatoire. Parmi les algorithmes incomplets qui tentent de résoudre ce problème, l'optimisation par colonie de fourmis (ACO - Ant Colony Optmisation), qui combine des méthodes aléatoires et heuristiques avec l'apprentissage par renforcement, a prouvé son efficacité sur de nombreux problèmes de satisfaction de contraintes (CSP). Cet article présente une application d'un algorithme basé sur ACO pour la configuration, ce qui à notre connaissance n'avait pas encore été étudié. Nous décrivons comment la nature des problèmes non-bornés de configuration influe sur l'approche ACO, notamment à cause de la présence de variables ensemblistes et de domaines ouverts. Nous proposons un algorithme et un modèle phéromonal original permettant de traiter ces difficultés. Nous montrons également l'utilisation de l'optimisation par essaim de particules (PSO) pour converger vers des ensembles de paramètres optimaux. Enfin, nous fournissons des résultats expérimentaux, à la fois pour des instances aléatoires et pour le problème d'optimisation des racks

Interactions hôte-pathogènes chez l'ananas (Ananas comosus (L.) Merr.) : Adaptation de deux méthodes d'étude des impacts des populations de ravageurs (symphyles, nématodes) sur le système racinaire

Le système innovant de culture d'ananas, en rotation avec les crotalaires, est testé par le CIRAD afin de trouver une alternative à l'usage des pesticides. Les crotalaires ont en effet des propriétés assainissantes et limitent le développement des parasites telluriques, symphyles et nématodes, importants ravageurs des cultures d'ananas en Martinique. Les populations de type agrégé de ces ravageurs sont réparties de façon très hétérogène sur les parcelles. L'étude de la dynamique des ravageurs se fait de manière indirecte, par l'observation des symptômes des parties aériennes de la plantes (non spécifiques) ou par la mise en place d'échantillonnages périodiques. Le but de cette étude est d'observer les interactions plante-pathogènes directement sur le système racinaire de l'ananas. Pour cela, deux méthodes d'étude sont adaptées à l'ananas. La première méthode, en milieu réel, consiste à comparer, sur des plants infestés ou non, le nombre d'impacts de racines sur une grille placée sur un profil cultural. Un modèle de développement du système racinaire est proposé sous forme d'une équation simplifiée, afin de relier la densité racinaire (RLD) au nombre d'impacts sur le profil (Ni). Pour l'ensemble des racines (grosses et fines), on obtient RLD = 4,40*Ni. Grâce au logiciel Racine² (CIRAD), ce modèle permet par exemple d'obtenir la densité racinaire et le taux d'exploration des racines, également proposés sous forme de cartographies. Cet outils se révèle très " parlant ", tant pour estimer l'importance des dégâts des ravageurs que pour la diffusion des résultats et de techniques chez les producteurs. La seconde méthode d'étude consiste, en conditions contrôlées, à utiliser des rhizobox ou " culture sur couche mince ", entre deux plaques de verre. Ce système a pour but une observation dynamique du développement du système racinaire et des impacts des ravageurs. Ces deux méthodes complémentaires permettent donc de mieux appréhender les interactions plante-pathogènes afin d'en améliorer les connaissances et de proposer des solutions de lutte adaptées et durables aux producteurs. (Résumé d'auteur