A criterion to enforce correctness of indirectly cooperating applications

Information Sciences

Volumn 110, Issue 3-4, 1998, Pages 279-302

  Canals, G ^a   Godart, C ^a   Molli, P ^a   Munier, M ^a  

^a LORIA   (France)

Author keywords

Concurrency control; Concurrent programming; Cooperation; Cooperative execution; Cooperative programming; Correctness criterion

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; CONCURRENCY CONTROL; MULTIPROCESSING SYSTEMS;

CONCURRENT PROGRAMMING; COOPERATIVE PROGRAMMING;

COMPUTER SUPPORTED COOPERATIVE WORK;

EID: 0032186992     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0255(98)10014-2     Document Type: Article

References (19)

1. N. Barghouti, Supporting cooperation in the MARVEL process-centered SDE, in: Proceedings of the Fifth ACM SIGSOFT Symposium on Software Development Environments, vol. 17, 5 December 1992, pp. 21-31.
2. N. Belkhatir, J. Estublier, ADELE-TEMPO: An environment to support process modelling and enaction, in: J.K.A. Finkelstein, B. Nuseibeh (Eds.), Software Process Modelling and Technology, Research Study Press, 1994.
3. P. Bernstein, N. Goodman, Concurrency control in distributed database systems, ACM Computing Surveys 13 (2) (1981) 186-221.
4. G. Brose, A Java object request broker, Technical Report B 97-2, Université de Berlin (1997).
5. G. Canals, P. Molli, C. Godart, Concurrency control for cooperating software processes, in: Proceedings of the 1996 Workshop on Advanced Transaction Models and Architecture (ATMA'96), Goa, India, 1996.
6. P. Chrysanthis, K. Ramamritham, ACTA: The SAGA continues, in: A. Elmagarmid (Ed.), Database Transaction Models for Advanced Applications, Morgan Kauffman, Los Altos, CA, 1992.
7. R. Conradi et al., EPOS: object-oriented cooperative process modelling, in: A. Finkelstein, J. Kramer, B. Nuseibeh (Eds.), Software Process Modelling and Technology, Research Study Press, 1994.
8. W. Courington, The Network Software Environment, Technical Report FF197-0, Sun Microsystems (1989).
9. P. Feiler, G. Downey, Transaction Oriented Configuration Management: A Case Study, Technical Report CMU/SEI-90-TR-23 ESD-90/TR-224, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213 (1990).
10. C. Godart, COO: A transaction model to support COOperating software developers Coordination, in: Proceedings of the Fourth European Software Engineering Conference (ESEC4), Garmisch, Lecture Notes in Computer Science, vol. 717, 1993.
11. C. Godart, G. Canals, F. Charoy, P. Molli, H. Skaf, Designing and implementing COO: Design process, architectural style, lessons learned, in: Proceedings of the International Conference on Software Engineering (ICSE18), IEEE Press, New York, 1996.
12. J.A. Gronbaek, O.M. Helm, L. Sloth, Cooperative hypermedia systems: A dexter based approach, Communications of the ACM 37 (2) (1994) 65-74.
13. K. Ramamritham, P. Chrysanthis, In Search of Acceptability Criteria: Database Consistency Requirements and Transaction Correctness Properties, in: Özsu, Dayal, Valduriez (Eds.), Distributed Object Management, Morgan Kauffman, Los Altos, CA, 1993.
14. B. Martin, C. Pedersen, Long-Lived Concurrent Activities, in: Özsu, Dayal, Valduriez (Eds.), Distributed Object Management, Morgan Kauffman, Los Altos, CA, 1992.
15. P. Molli, COO-transaction: Enhancing long transaction model with cooperation, in: Seventh Software Configuration Management Workshop (SCM7), Lecture Notes in Computer Science, Boston, Massachusetts, 1997.
16. M. Nodine, S. Ramaswamy, S. Zdonik, A cooperative transaction model for design databases, in: A. Elmagarmid (Ed.), Database Transaction Models for Advanced Applications, Morgan Kauffman, Los Altos, CA, 1992.
17. C. Pu, G. Kaiser, N. Hutchinson, Split transactions for open-ended activities, in: Proceedings of the 14th international conference on VLDB, Los Angeles, September 1988, pp. 26-37.
18. C. Pu, A. Leff, Replica control in distributed systems: An asynchronous approach, in: Proceedings of the 16th Annual ACM Conference on the Management of Data, Denver, May 1991, pp. 377-386.
19. K. Ramamritham, C. Pu, A formal characterization of epsilon serialisability, IEEE Transactions on Knowledge and Data Engineering 7 (6) (1995) 997-1007.