Channel-based coordination via constraint satisfaction

Science of Computer Programming

Volumn 76, Issue 8, 2011, Pages 681-710

  Clarke, Dave ^a   Proena, José ^b   Lazovik, Alexander ^c   Arbab, Farhad ^b  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b CWI   (Netherlands)

^c UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Connector colouring; Constraint automata; Constraint satisfaction; Coordination; Reo

Indexed keywords

CONNECTOR COLOURING; CONSTRAINT AUTOMATA; CONSTRAINT SATISFACTION; COORDINATION; REO;

SEMANTICS;

AUTOMATA THEORY;

EID: 79955001062     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2010.05.004     Document Type: Conference Paper

References (52)

1. J.-M. Andreoli, S. Freeman, and R. Pareschi The coordination language facility: coordination of distributed objects Theory and Practice of Object Systems 2 2 1996 77 94
2. J.-M. Andreoli, and R. Pareschi Linear objects: logical processes with built-in inheritance New Generation Computing 1990 495 510
3. K. Apt Principles of Constraint Programming 2003 Cambridge University Press New York, NY, USA
4. F. Arbab Reo: a channel-based coordination model for component composition Mathematical Structures in Computer Science 14 3 2004 329 366 (Pubitemid 38729561)
5. F. Arbab Abstract behavior types: a foundation model for components and their composition Science of Computer Programming 55 13 2005 3 52 (Pubitemid 40178259)
6. F. Arbab Composition of interacting computations D. Goldin, S. Smolka, P. Wegner, Interactive Computation: The New Paradigm 2006 Springer-Verlag New York, Inc Secaucus, NJ, USA 277 321
7. F. Arbab, C. Baier, F.S. deBoer, and J.J.M.M. Rutten Models and temporal logical specifications for timed component connectors Software and System Modeling 6 1 2007 59 82 (Pubitemid 46403949)
8. F. Arbab, R. Bruni, D. Clarke, I. Lanese, and U. Montanari Tiles for Reo Proceedings of Recent Trends in Algebraic Development Techniques WADT Lecture Notes In Computer Science vol. 5486 2008 Springer-Verlag Berlin, Heidelberg 37 55
9. F. Arbab, T. Chothia, S. Meng, and Y.-J. Moon Component connectors with QoS guarantees A.L. Murphy, J. Vitek, COORDINATION Lecture Notes in Computer Science vol. 4467 2007 Springer 286 304 (Pubitemid 350259732)
10. F. Arbab, C. Koehler, Z. Maraikar, Y. Moon, J. Proena, Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools, in: International Workshop on Formal Aspects of Component Software, FACS. Electronic Notes in Theoretical Computer Science (ENTCS), Malaga, 2008.
11. F. Arbab, N. Kokash, and S. Meng Towards using Reo for compliance-aware business process modeling T. Margaria, B. Steffen, ISoLA Communications in Computer and Information Science vol.17 2008 Springer 108 123
12. F. Arbab, and E. Monfroy Coordination of heterogeneous distributed cooperative constraint solving SIGAPP Applied Computing Review 6 2 1998 4 17
13. F. Arbab, M. Sun, and C. Baier Synthesis of Reo circuits from scenario-based specifications Electronic Notes in Theoretical Computer Science 229 2 2009 21 41
14. C. Baier, M. Sirjani, F. Arbab, and J. Rutten Modeling component connectors in Reo by constraint automata Science of Computer Programming 61 2 2006 75 113 (Pubitemid 44308198)
15. C. Baier, and V. Wolf Stochastic reasoning about channel-based component connectors P. Ciancarini, H. Wiklicky, COORDINATION Lecture Notes in Computer Science vol. 4038 2006 Springer 1 15 (Pubitemid 44098375)
16. L. Bettini, V. Bono, R.D. Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto, and B. Venneri The Klaim project: theory and practice Global Computing: Programming Environments, Languages, Security and Analysis of Systems Lecture Notes in Computer Science vol. 2874 2003 Springer-Verlag 88 150
17. M.M. Bonsangue, D. Clarke, and A. Silva Automata for context-dependent connectors J. Field, V.T. Vasconcelos, COORDINATION Lecture Notes in Computer Science vol. 5521 2009 Springer 184 203
18. D. Clarke Coordination: Reo, nets, and logic F.S. deBoer, M.M. Bonsangue, S. Graf, W.P. deRoever, FMCO Lecture Notes in Computer Science vol. 5382 2007 Springer 226 256
19. D. Clarke A basic logic for reasoning about connector reconfiguration Fundamenta Informaticae 82 4 2008 361 390 (Pubitemid 351533782)
20. D. Clarke, D. Costa, and F. Arbab Connector colouring I: synchronisation and context dependency Science of Computer Programming 66 3 2007 205 225 (Pubitemid 46824153)
21. D. Clarke, J. Proena, Coordination via interaction constraints i: Local logic. CoRR abs/0911.5445, 2009.
22. D. Clarke, J. Proena, A. Lazovik, and F. Arbab Deconstructing Reo Electronic Notes in Theoretical Computer Science 229 2 2009 43 58
23. D. Costa, Formal models for component connectors. Ph.D. Thesis, 2010 (in press).
24. C.T.H. Everaars, D.F. de Oliveira Costa, N.K. Diakov, F. Arbab, A distributed computational model for Reo, Tech. Rep. SEN-E0601, CWI, Amsterdam, The Netherlands, February 2006.
25. J.L. Fiadeiro, A. Lopes, and L. Bocchi A formal approach to service component architecture M. Bravetti, M. Nez, G. Zavattaro, WS-FM Lecture Notes in Computer Science vol. 4184 2006 Springer 193 213 (Pubitemid 44849760)
26. E. Freeman, K. Arnold, and S. Hupfer JavaSpaces Principles, Patterns, and Practice 1999 Addison-Wesley Longman Ltd. Essex, UK
27. S. Frølund Coordinating Distributed Objects 1996 The MIT Press Cambridge, Massachusetts, USA
28. D. Gelernter Generative communication in Linda ACM Transactions on Programming Languages and Systems 7 1 1985 80 112
29. J.V. Guillen Scholten, Mobile channels for exogenous coordination of distributed systems : semantics, implementation and composition, Ph.D. Thesis, LIACS, Faculty of Mathematics and Natural Sciences, Leiden University, January 2007.
30. R. Khosravi, M. Sirjani, N. Asoudeh, S. Sahebi, and H. Iravanchi Modeling and analysis of Reo connectors using alloy D. Lea, G. Zavattaro, COORDINATION Lecture Notes in Computer Science vol. 5052 2008 Springer 169 183
31. D. Kitchin, W.R. Cook, J. Misra, A language for task orchestration and its semantic properties, in: CONCUR, 2006, pp. 477491. (Pubitemid 44532594)
32. S. Klppelholz, and C. Baier Symbolic model checking for channel-based component connectors Electronic Notes in Theoretical Computer Science 175 2 2007 19 37 (Pubitemid 46891384)
33. C. Koehler, and D. Clarke Decomposing port automata SAC'09: Proceedings of the 2009 ACM symposium on Applied Computing 2009 ACM New York, NY, USA 1369 1373
34. C. Koehler, A. Lazovik, and F. Arbab Connector rewriting with high-level replacement systems Electronic Notes in Theoretical Computer Science 194 4 2008 77 92 (Pubitemid 351508486)
35. A. Lazovik, M. Aiello, and R. Gennari Choreographies: Using constraints to satisfy service requests AICT-ICIW'06: Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services 2006 IEEE Computer Society Washington, DC, USA p. 150
36. Z. Maraikar, A. Lazovik, and F. Arbab Building mashups for the enterprise with SABRE A. Bouguettaya, I. Krger, T. Margaria, ICSOC Lecture Notes in Computer Science vol. 5364 2008 70 83
37. S. Meng, and F. Arbab On resource-sensitive timed component connectors M.M. Bonsangue, E.B. Johnsen, FMOODS Lecture Notes in Computer Science vol. 4468 2007 Springer 301 316 (Pubitemid 350259409)
38. S. Meng, and F. Arbab Web services choreography and orchestration in Reo and constraint automata SAC'07: Proceedings of the 2007 ACM symposium on Applied computing 2007 ACM New York, NY, USA 346 353 (Pubitemid 47568312)
39. R. Milner Communicating and Mobile Systems: The Pi-Calculus 1999 Cambridge University Press
40. N.H. Minsky, and V. Ungureanu Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems ACM Transactions on Software Engineering and Methodology 9 3 2000 273 305
41. U. Montanari, F. Rossi, Modeling process coordination via tiles, graphs, and constraints, in: 3rd Biennial World Conference on Integrated Design and Process Technology, vol. 4, 1998, pp. 18.
42. M.R. Mousavi, M. Sirjani, and F. Arbab Formal semantics and analysis of component connectors in Reo Electronic Notes in Theoretical Computer Science 154 1 2006 83 99
43. G.A. Papadopoulos, and F. Arbab Coordination models and languages M. Zelkowitz, The Engineering of Large Systems Advances in Computers vol.46 1998 Academic Press 329 400
44. J. Proenca, and D. Clarke Coordination models Orc and Reo compared Proceedings of the International Workshop on the Foundations of Coordination Languages and Software Architecture FOCLASA 2007 Elsevier
45. J.J.M.M. Rutten Universal coalgebra: a theory of systems Theoretical Computer Science 249 1 2000 3 80
46. V.A. Saraswat Concurrent constraint programming 1993 MIT Press Cambridge, MA, USA
47. V.A. Saraswat, R. Jagadeesan, and V. Gupta Timed default concurrent constraint programming Journal of Symbolic Computation 22 56 1996 475 520 (extended abstract appeared in the Proceedings of the 22nd ACM Symposium on Principles of Programming Languages, San Francisco, January 1995) (Pubitemid 126164723)
48. H.M. Sheini, and K.A. Sakallah From propositional satisfiability to satisfiability modulo theories A. Biere, C.P. Gomes, SAT Lecture Notes in Computer Science vol. 4121 2006 Springer 1 9 (Pubitemid 44531737)
49. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros Workflow patterns Distributed and Parallel Databases 14 1 2003 5 51
50. K.N. Venkataraman Decidability of the purely existential fragment of the theory of term algebras Journal of ACM 34 2 1987 492 510 (Pubitemid 17602841)
51. P. Wegner Coordination as constrained interaction (extended abstract) Coordination Languages and Models Lecture Notes in Computer Sciences vol. 1061 1996 28 33 (Pubitemid 126063050)
52. M. Xie, Specification of E-Business Process Model For PayPal Online Payment Process Using Reo. Master's Thesis, Leiden University, the Netherlands, 2005.