Contrats d’exclusivité et concurrence

Structures algébriques en logique et concurrence

In this work we shall synthesize the research activity we have accomplished since we received the PhD title at the University of Québec in Montréal. These researches have been developed at and made possible through several research institutions that we would like to thank : the BRICS at Aarhus University, the PIMS and the Department of Computer Science of Calgary University, the LaBRI at Bordea...

Formalisation des contrats structurels et de QdS d’une composition de services Web

Etablir et s’assurer de la qualité de service (QdS) d’un composant tel qu’un service Web représente un enjeu crucial puisque ceci permet d’établir une relation de confiance entre le fournisseur d’un service et un client en attente d’une certaine fiabilité. Cependant, contrairement aux spécifications bien établies dans le domaine fonctionnel des services Web (telles que WSDL, SOAP ou UDDI), il n...

Assemblage de composants multivues par contrats

RÉSUMÉ. Cet article propose une approche à base de composants multivues, dans le contexte d'un profil UML appelé VUML. Dans VUML, Un composant multivues est défini comme une extension du composant UML 2.0 doté d'interfaces multivues (requises et/ou fournies). Une interface multivues est un cas particulier d'interface, dont la définition et le comportement dépendent de la vue active. Par suite, ...

Concurrence in collective models

We review the entanglement properties in collective models and their relationship with quantum phase transitions. Focusing on the concurrence, which characterizes the two-spin entanglement, we show that for first-order transitions, this quantity is singular but continuous at the transition point, contrary to the common belief. We also propose a conjecture for the concurrence of arbitrary symmet...

Approche sémantique basée sur les intentions pour la modélisation, la négociation et la surveillance des contrats de qualité de service