A Criterion to Enforce Correctness of Indirectly Cooperating Applications

Gérôme Canals 1 Claude Godart 1 Pascal Molli 1 Manuel Munier 1
1 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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 de document :
Article dans une revue
Information Sciences, Elsevier, 1998, 110 (3-4), pp.279-302. 〈10.1016/S0020-0255(98)10014-2〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00098608
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:56
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Lien texte intégral

Identifiants

Collections

Citation

Gérôme Canals, Claude Godart, Pascal Molli, Manuel Munier. A Criterion to Enforce Correctness of Indirectly Cooperating Applications. Information Sciences, Elsevier, 1998, 110 (3-4), pp.279-302. 〈10.1016/S0020-0255(98)10014-2〉. 〈inria-00098608〉

Partager

Métriques

Consultations de la notice

158