A criterion to enforce correctness of indirectly cooperating applications

1 septembre 1998·
Gérôme Canals
,
Pascal Molli
Manuel Munier
Manuel Munier
,
Claude Godart
· 0 min. de lecture
Résumé
Cooperative applications are expected to become commonplace in the future. We are concerned here with a special case of cooperation called indirect cooperation. The idea of the paper is that a Concurrency Control approach better fits to indirect cooperation than a Concurrent Programming one. In other words, it does exist syntactic correctness criteria which defines a large sphere of security in which application programmers are released from the burden of interaction explicit programming. This paper arguments this point of view and describes such a criterion: the COO-Serializability. It applies for a class of applications which cooperate indirectly.
Type
Publication
In Information Sciences
publication

SCImago Journal & Country Rank

Manuel Munier
Auteurs
Manuel Munier
Maître de Conférences HC en Informatique

Manuel Munier a obtenu son doctorat d’informatique à l’Université de Nancy en janvier 1999. Ses travaux de thèse portaient sur les systèmes coopératifs, les modèles de transactions avancés et les systèmes distribués. Il a ensuite effectué un postdoc à l’INRIA Lorraine en collaboration avec le XRCE (Xerox Research Centre Europe) à Grenoble.

En septembre 1999 il a rejoint l’Université de Pau et des Pays de l’Adour en tant qu’enseignant-chercheur à l’IUT des Pays de l’Adour dans le département Réseaux & Télécommunications, site de Mont de Marsan. Manuel Munier est membre de l’équipe ISI-Know (Ingénierie et Sécurité de l’Information par la gestion des connaissances) du LIUPPA (Laboratoire d’Informatique de l’Université de Pau et des Pays de l’Adour).

Recherche   Publications   Enseignements