A transition system semantics for the control-driven coordination language MANIFOLD

Theoretical Computer Science

Volumn 240, Issue 1, 2000, Pages 3-47

  Bonsangue, M M ^a   Arbab, F ^a   De Bakker, J W ^a   Rutten, J J M M ^a   Scutellaoe A ^a   Zavattaro, G ^b  

^a CWI   (Netherlands)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Coordination languages; Models of communication; Operational semantics; Parallel computing; Transition system semantics

Indexed keywords

EID: 0011219866     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(99)00226-1     Document Type: Article

References (42)

1. P. America, J.J.M.M. Rutten, A layered semantics for a parallel object-oriented language, Formal Aspects Comput. 4 (1992) 376-408.
2. J.-M. Andreoli, P. Ciancarini, R. Pareschi, Interaction abstract machines, in: Trends in Object-Based Concurrent Computing, MIT Press, Cambridge, MA, 1993, pp. 257-280.
3. F. Arbab, Coordination of massively concurrent activities, Tech. Rep. CS-R9565, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1995. Available on-line at http://www. cwi.nl/ftp/CWIreports/IS/CS-R9565.ps.Z.
4. F. Arbab, The IWIM model for coordination of concurrent activities, in: P. Ciancarini, C. Hankin (Eds.), Coordination Languages and Models, Proc. 1st Internat. Conf. COORDINATION'96, Lecture Notes in Computer Science, vol. 1061, Springer, Berlin, 1996, pp. 34-56.
5. F. Arbab, Manifold version 2: Language reference manual, Tech. Rep., Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1996. Available on-line at http://www.cwi.nl/ftp/manifold/ refman.ps.Z.
6. F. Arbab, What do you mean, coordination? Bull. Dutch Assoc. Theoret. Comput. Sci. NVTI (1998) 11-22. Available on-line at http://www.cwi.nl/NVTI/Nieuwsbrief/nieuwsbrief.html.
7. F. Arbab, C.L. Blom, F.J. Burger, C.T.H. Everaars, Reusable coordinator modules for massively concurrent applications, Software: Practice and Experience 28(7) (1998) 703-735. Extended version.
8. F. Arbab, P. Ciancarini, C. Hankin, Coordination languages for parallel programming, Parallel Comput. 24(7) (1998) 989-1004, special issue on Coordination Languages for Parallel Programming, July 1998.
9. F. Arbab, I. Herman, P. Spilling, An overview of Manifold and its implementation, Concurrency: Practice and Experience 5(1) (1993) 23-70.
10. F. Arbab, E. Monfroy, Using coordination for cooperative constraint solving, in: Proc. ACM Symp. on Applied Computing; Special Track on Coordination Models, Languages and Applications, ACM Press, New York, 1998, pp. 139-148.
11. M.M. Bonsangue, J.N. Kok, M. Boasson, E. de Jong, A software architecture for distributed control systems and its transition system semantics, in: Proc. ACM Symp. on Applied Computing; Special Track on Coordination Models, Languages and Applications, ACM Press, New York, 1998, pp. 159-168.
12. M.M. Bonsangue, J.N. Kok, G. Zavattaro, Comparing coordination models based on shared distributed replicated data, in: Proc. ACM Symp. on Applied Computing; Special Track on Coordination Models, Languages and Applications, ACM Press, New York, 1999, pp. 146-155.
13. P. Bouvry, F. Arbab, Visifold: a visual environment for a coordination languages, in: P. Ciancarini, C. Hankin (Eds.), Coordination Languages and Models, Proc. 1st Internat. Conf. COORDINATION'96, Lecture Notes in Computer Science, vol. 1061, Springer, Berlin, 1996, pp. 403-406.
14. N. Busi, R. Gorrieri, G. Zavattaro, Three semantics of the output operation for generative communication, in: D. Garlan, D. Le Métayer (Eds.), Coordination Languages and Models, Proc. 2nd Internat. Conf. COORDINATION'97, Lecture Notes in Computer Science, vol. 1282, Springer, Berlin, 1997, pp. 205-219.
15. N. Busi, R. Gorrieri, G. Zavattaro, A process algebraic view of Linda coordination primitives, Theoret. Comput. Sci. 192(2) (1998) 167-199.
16. P. Butcher, A behavioral semantics for Linda-2, IEEE Software Eng. J. 4(6) (1991) 196-204.
17. P. Ciancarini, R. Gorrieri, G. Zavattaro, An alternative semantics for the parallel operator of the calculus of Gamma programs, in: Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996, pp. 232-248.
18. P. Ciancarini, C. Hankin (Eds.), Coordination Languages and Models, Proc. 1st Internat. Conf. COORDINATION'96, Lecture Notes in Computer Science, vol. 1061, Springer, Berlin, 1996.
19. P. Ciancarini, K. Jensen, D. Yankelevich, On the operational semantics of a coordination language, 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.
20. R. De Nicola, R. Pugliese, An observational semantics for Linda, in: Structures in Concurrency Theory, Workshops in Computing, Springer, Berlin, 1995, pp. 129-143.
21. R. De Nicola, R. Pugliese, A process algebra based on Linda, in: P. Ciancarini, C. Hankin (Eds.), Coordination Languages and Models, Proc. 1st Internat. Conf. COORDINATION'96, Lecture Notes in Computer Science, vol. 1061, Springer, Berlin, 1996, pp. 160-178.
22. J.-Y.V. Dury, L. Bellissard, V. Marangozov, A component calculus for modelling the Olan configuration language, in: D. Garlan, D. Le Métayer (Eds.), Coordination Languages and Models, Proc. 2nd Internat. Conf. COORDINATION'97, Lecture Notes in Computer Science, vol. 1282, Springer, Berlin, 1997, pp. 392-409.
23. C.T.H. Everaars, F. Arbab, Coordination of distributed/parallel multiple-grid domain decomposition, in: A. Ferreira, J. Rolim, Y. Saad, T. Yang (Eds.), Proc. Irregular'96, Lecture Notes in Computer Science, Springer, Berlin, 1996, pp. 131-144.
24. C.T.H. Everaars, F. Arbab, F.J. Burger, Restructuring sequential Fortran code into a parallel/distributed application, in: Proc. Internat. Conf. on Software Maintenance'96, IEEE, New York, November 1996, pp. 13-22.
25. C.T.H. Everaars, B. Koren, Using coordination to parallelize sparse-grid methods for 3D CFD problems, Parallel Comput. 24(7) (1998) 1081-1106, special issue on Coordination Languages for Parallel Programming, 1998.
26. C.T.H. Everaars, B. Lisser, Coordination of a parallel proposition solver, Proc. 3rd Internat. Conf. on Coordination, COORDINATION'99, Lecture Notes in Computer Science, Springer, Berlin, April 1999.
27. I. Foster, S. Taylor, Strand: New Concepts in Parallel Programming, Prentice-Hall, Englewood chiffs, NJ, 1990.
28. D. Garlan, D. Le Métayer (Eds.), Coordination Languages and Models, Proc. 2nd Internat. Conf. COORDINATION'97, Lecture Notes in Computer Science, vol. 1282, Springer, Berlin, 1997.
29. D. Gelernter, Generative communication in Linda, ACM Trans. Programm. Languages Systems 7(1) (1985) 80-112.
30. C.L. Hankin, D. Le Métayer, D. Sands, A calculus of Gamma programs, in: Proc. 5th Workshop on Languages and Compilers for Parallel Computing, Lecture Notes in Computer Science, vol. 757, Springer, Berlin, 1996.
31. P. Inverardi, A.L. Wolf, D. Yankelevich, Checking assumption in component dynamics at the architectural level, in: D. Garlan, D. Le Métayer (Eds.), Coordination Languages and Models, Proc. 2nd Internat. Conf. COORDINATION'97, Lecture Notes in Computer Science, vol. 1282, Springer, Berlin, 1997, pp. 46-63.
32. B. Jacobs, J.J.M.M. Rutten, A tutorial on (co)algebras and (co)induction, Bull. EATCS 62 (1997) 222-259. Available on-line at http://www.cs.kun.nl/~bart/PAPERS/JR.ps.Z.
33. J.-M. Jacquet, K. De Bosschere. On the semantics of μlog, Future Generation Comput. Systems 10(1) (1994) 93-136.
34. J. Kramer, Configuration programming - a framework for the development of distributable systems, in: Proc. IEEE Internat. Conf. on Computer Systems and Software Engineering (CompuEuro '90), 1990, pp. 374-384.
35. A. Mazurkiewicz, Concurrent program schemes and their interpretations, Tech. Rep. DAIMI 113-78, Aarhus University, 1977.
36. G. Papadopoulos, F. Arbab, Control-based coordination of human and other activities in cooperative information systems, in: D. Garlan, D. Le Métayer (Eds.), Coordination Languages and Models, Proc. 2nd Internat. Conf. COORDINATION'97, Lecture Notes in Computer Science, vol. 1282, Springer, Berlin, 1997, pp. 422-425.
37. G.A. Papadopoulos, F. Arbab, Modelling activities in information systems using the coordination language Manifold, in: Proc. 1998 ACM Symp. on Applied Computing; Special Track on Coordination Models, Languages and Applications, ACM Press, New York, 1998, pp. 185-193.
38. G.D. Plotkin, A structural approach to operational semantics, Tech. Rep. DAIMI FN-19, Aarhus University, 1981.
39. E.P.B.M. Rutten, F. Arbab, I. Herman, Formal specification of Manifold: a preliminary study, Tech. Rep. CS-R9215, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1992.
40. J.J.M.M. Rutten, Universal coalgebra: a theory of systems, Tech. Rep. CS-R9652, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1996. Available on-line at http://www.cwi.nl/ ftp/CWIreports/AP/CS-R9652.ps.Z.
41. F. Seredynski, P. Bouvry, F. Arbab, Parallel and distributed evolutionary computation with Manifold, in: V. Malyshkin (Ed.), Proc. PaCT '97, Lecture Notes in Computer Science, Springer, Berlin, 1997, pp. 94-108.
42. P. Wegner, Interactive foundations of computing, Theoret. Comput. Sci. 192(2) (1998) 20, 315-351.