La modélisation des processus d'entreprise comme un "enchaînement de tâches", sans prise en compte de la problématique de l'estimation des ressources disponibles par rapport à la charge entrante (réelle), conduit à empiler des processus parallèles sur des ressources, en considérant qu’elle seront toujours disponibles. La question de l'accès concurrent de plusieurs processus et instances de proc...

RÉSUMÉ. L'ingénierie des modèles promet une amélioration de la productivité du développement de logiciels, notamment une réduction des temps de développement consacrés à l'adaptation des applicatifs aux technologies permettant leur exécution. Pour atteindre ce but, une modélisation des technologies d'exécution (identifiées sous le terme de plate-forme), ainsi que la définition de transformation...

RÉSUMÉ. Un objectif du projet de recherches IsyCri (ANR-CSOSG) est de définir une architecture de système d’information collaboratif afin d’aider à la résolution d’une crise dans laquelle plusieurs partenaires sont impliqués. L’ambition est de faciliter la coordination des activités entre les partenaires dans un souci d’efficacité. La structure architecturale de la solution repose sur deux conc...

Les solveurs de contraintes maintiennent uniformément le même niveau de cohérence locale (généralement la cohérence d’arc) indépendamment de l’instance du problème à résoudre. Nous proposons le concept de cohérence locale paramétrée, une approche originale qui permet d’ajuster le niveau de cohérence locale en fonction de l’instance du problème à résoudre et en fonction de la partie du problème ...

Classical applications executed on clusters or grids are either rigid/moldable or workflowbased. However, the increase of resource computing and storage capabilities has leveraged more complex applications. For example, some code coupling applications exhibit changing resource requirements without being a workflow. Executing them on current batch schedulers leads to an inefficient resource usag...

Assume that n tasks must be processed by one machine in a fixed sequence. The processing time, the preferred starting time and the earliness and tardiness costs per time unit are known for each task. The problem is to allocate each task a starting time such that the total cost incurred by the early and tardy tasks is minimum. Garey et al. have proposed a nice O(n log n) algorithm for the specia...

The increasing complexity of software development requires rigorously defined domain specific modelling languages (dsml). Model-driven engineering (mde) allows users to define their language’s syntax in terms of metamodels. Several approaches for defining operational semantics of dsml have also been proposed. These approaches allow, in principle, for model execution and for formal analyses of t...

In this paper we present an automatic and language-independent program verification approach based on symbolic execution. The specification formalism we consider is Reachability Logic, a language-independent logic that constitutes an alternative to Hoare logics. Reachability Logic has a sound and relatively complete deduction system, which offers a lot of freedom (but no guidelines) for constru...