A criterion to enforce correctness of indirectly cooperating 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.

Publication
In Information Sciences
Ranking
SCImago  Q1  
Pages
110/3-4:279-302, September 1998

Keywords

cooperation, concurrency control, concurrent programming, correctness criterion, cooperative programming, cooperative execution

SCImago Journal & Country Rank

Manuel Munier
Manuel Munier
Associate Professor in Computer Science

My research interests include information security, risk management, and privacy.