A logic for a coordination model with multiple spaces

Science of Computer Programming

Volumn 31, Issue 2-3, 1998, Pages 231-261

  Ciancarini, P ^a   Mazza, M ^a   Pazzaglia, L ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Coordination model; Distributed programming; Larch prover; PoliS; Software architectures; TLA; Tuple space

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; THEOREM PROVING;

COORDINATION MODELS; DISTRIBUTED PROGRAMMING; LARCH PROVER; SOFTWARE PACKAGE POLIS; TUPLE SPACE;

SOFTWARE ENGINEERING;

EID: 0032120848     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0167-6423(97)00022-1     Document Type: Article

References (27)

1. J. Andreoli, P. Ciancarini, R. Pareschi, Interaction abstract machines, in: G. Agha, P. Wegner, A. Yonezawa (Eds.), Trends in Object-Based Concurrent Computing, MIT Press, Cambridge, MA, 1993, pp. 257-280.
2. J. Andreoli, C. Hankin, D. LeMetayer (Eds.), Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.
3. J. Banatre, D. LeMetayer, Programming by Multiset Transformation, Comm. ACM 36 (1) (1993) 98-111.
4. J. Banatre, D. LeMetayer, Gamma and the chemical reaction model: Ten years after, in: J. Andreoli, C. Hankin, D. LeMetayer (Eds.), Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996, pp. 3-41.
5. M. Banville, Sonia: an adaptation of Linda for coordination of activities in organizations, in: P. Ciancarini, C. Hankin (Eds.), Proc. 1st Internat. Conf. on Coordination Models and Languages, Cesena, Italy, April 1996, Lecture Notes in Computer Science, Vol. 1061, Springer, Berlin, pp. 57-74.
6. N. Brown, Correctness-preserving transformations for the design of parallel programs, in: P. Ciancarini, O. Nierstrasz, A. Yonezawa (Eds.), Object-Based Models and Languages for Concurrent Systems, Lecture Notes in Computer Science, Vol. 924, Springer, Berlin, 1995, pp. 29-48.
7. X. Chen, C. Montangero, Compositional refinements in multiple black board systems, Acta Inform. 32 (5) (1995) 415-458.
8. P. Ciancarini, PoliS: a programming model for multiple tuple spaces, in: C. Ghezzi, G. Roman (Eds.), Proc. 6th IEEE Internat. Workshop on Software Specification and Design, Como, Italy, October 1991, IEEE Computer Society Press, Silver Spring, MD, pp. 44-51.
9. P. Ciancarini, R. Gorrieri, G. Zavattaro, Towards a calculus for generative communication, in: E. Najm, J. Stefani (Eds.), Proc. IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems, Paris, France, 1996, Chapman & Hall, London, pp. 289-306.
10. H. Cunningham, G. Roman, A unity-style programming logic for shared dataspace programs, IEEE Trans. Parallel Distrib. Systems 1 (3) (1990) 365-376.
11. K. DeBosschere, J. Jacquet, m2log: Towards remote coordination, in: P. Ciancarini, C. Hankin (Eds.), Proc. 1st Internat. Conf. on Coordination Models and Languages, Cesena, Italy, April 1996, Lecture Notes in Computer Science, Vol. 1061. Springer, Berlin, pp. 142-159.
12. U. Engberg, Reasoning in the temporal logic of actions, Ph.D. Thesis, CS Dept., Univ. of Aarhus, Denmark, 1995.
13. U. Engberg, P. Gronning, L. Lamport, Mechanical verification of Concurrent Systems with TLA, in: U. Martin, J. Wing (Eds.), First Internat. Workshop on Larch, Workshops in Computing, Springer, Berlin, 1992, pp. 86-97.
14. D. Garlan, M. Shaw, Software Architecture. Perspectives on an Emerging Discipline, Prentice-Hall, Englewood Cliffs, NJ, 1996.
15. S. Garland, J. Guttag, An overview of LP. the Larch Prover, in: Proc. 3rd Internat. Conf. on Rewriting Techniques and Applications, Lecture Notes in Computer Science, Vol. 355, Springer, Berlin, 1989, pp. 137-151.
16. S.J. Garland, J.V. Guttag, A guide to LP, the Larch Prover, Technical Report RR 82, Digital Equipment Corporation, Systems Research Center, Palo Alto, CA, 1991.
17. D. Gelernter, Generative communication in Linda, ACM Trans. Programming Languages and Systems 7 (1) (1985) 80-112.
18. D. Gelernter, Multiple tuple spaces in Linda, in: E. Odijk, M. Rem, J. Syre (Eds.), Proc. Conf. on Parallel Architectures and Languages Europe (PARLE 89), Lecture Notes in Computer Science, Vol. 365, Springer, Berlin, 1989, pp. 20-27.
19. S. Hupfer, Turingware: An integrated approach to collaborative computing, Ph.D. Thesis, Dept, of Computer Science, Yale University, New Haven, CT, 1996.
20. L. Lamport, Verification and specifications of concurrent programs, in: J. deBakker, W. deRoever, and G. Rozenberg (Eds.), A Decade of Concurrency, Lecture Notes in Computer Science, Vol. 803, Springer, Berlin, 1993, pp. 347-374.
21. L. Lamport, The temporal logic of actions. ACM Trans. Programming Languages Systems 16 (3) (1994) pp. 872-923.
22. L. Lamport, TLZ, in: J. Bowen, J. Hall (Eds.), Proc. 8th Z Users Workshop (ZUM94), Workshops in Computing, Cambridge, 1994, Springer, Berlin, pp. 267-268.
23. D. LeMetayer, Software architecture styles as graph grammar, in: D. Garlan (Ed.), Proc. 4th ACM SIGSOFT Conf. on Foundations of Software Engineering, ACM SIGSOFT Software Engineering Notes 21 (6) (1996) 15-23.
24. O. Nierstrasz, Composing active objects, in: G. Agha, P. Wegner, A. Yonezawa (Eds.), Trends in Object-Based Concurrent Computing, MIT Press, Cambridge, MA, 1993, pp. 151-173.
25. M. Reynolds, Temporal semantics for gamma, in: J. Andreoli, C. Hankin, D. LeMetayer (Eds.), Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996, pp. 141-170.
26. M. Shaw, D. Garlan, Formulations and formalisms in software architecture, in: J. vanLeeuwen (Ed.), Computer Science Today, Lecture Notes in Computer Science, Vol. 1000, Springer, Berlin, 1995, pp. 307-323.
27. P. Wegner, Tradeoffs between reasoning and modeling, in: G. Agha, P. Wegner, A. Yonezawa (Eds.), Trends in Object-Based Concurrent Computing, MIT Press, Cambridge, MA, 1993, pp. 22-41.