A Criterion to Enforce Correctness of Indirectly Cooperating Applications - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Information Sciences Année : 1998

A Criterion to Enforce Correctness of Indirectly Cooperating Applications

Gérôme Canals
  • Fonction : Auteur
  • PersonId : 830484
Claude Godart
  • Fonction : Auteur
  • PersonId : 830462
  • IdRef : 031091733
Pascal Molli
Manuel Munier

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.

Dates et versions

inria-00098608 , version 1 (25-09-2006)

Identifiants

Citer

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

Altmetric

Partager

More