Connector colouring I: Synchronisation and context dependency

Science of Computer Programming

Volumn 66, Issue 3, 2007, Pages 205-225

  Clarke, Dave ^a   Costa, David ^a   Arbab, Farhad ^a  

^a CWI   (Netherlands)

Author keywords

Composition; Coordination; Distributed computing; Reo

Indexed keywords

BOUNDARY CONDITIONS; DATA FLOW ANALYSIS; DISTRIBUTED COMPUTER SYSTEMS; ELECTRIC INSULATION COORDINATION; SEMANTICS; SYNCHRONIZATION;

CONNECTOR COLOURING; COORDINATION MODEL; REO CONNECTOR;

ELECTRIC CONNECTORS;

EID: 34249674964     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.01.009     Document Type: Article

References (26)

1. Papadopoulos G.A., and Arbab F. Coordination models and languages. In: Zelkowitz M. (Ed). The Engineering of Large Systems. Advances in Computers vol. 46 (1998), Academic Press 329-400
2. Arbab F. Reo: a channel-based coordination model for component composition. Math. Structures Comput. Sci. 14 3 (2004) 329-366
3. Arbab F., Baier C., Rutten J., and Sirjani M. Modeling component connectors in Reo by constraint automata. Proceedings of FOCLASA 2003, a Satellite Event of CONCUR 2003. ENTCS vol. 97 (2004), Elsevier Science 25-46
4. Arbab F. Abstract behavior types: a foundation model for components and their composition. Sci. Comput. Programming 55 (2005) 3-52
5. Berry G. The foundations of Esterel. Proof, Language and Interaction: Essays in Honour of Robin Milner (2000), MIT Press 425-454
6. Arbab F., and Rutten J.J. A coinductive calculus of component connectors. Recent Trends in Algebraic Development Techniques: 16th International Workshop. LNCS vol. 2755 (2003), Springer-Verlag GmbH 34-55
7. E.A. Lee, H. Zheng, Y. Zhou, Causality interfaces and compositional causality analysis, Invited paper in Foundations of Interface Technologies (FIT), Satellite to CONCUR 2005
8. Arbab F., de Boer F.S., Guillen-Scholten J., and Bonsangue M.M. MoCha: A middleware based on mobile channels. COMPSAC '02 (2002), IEEE Computer Society, Washington, DC, USA 667-673
9. Snir M., Otto S., Huss-Lederman S., Walker D., and Dongarra J. MPI: The Complete Reference. 2nd ed. vol. 1 (1998), MIT Press
10. Lynch N.A. Distributed Algorithms (1996), Morgan Kaufman Publishers, Inc.
11. D. Clarke, Reolite implementation, http://www.cwi.nl/~dave/reolite (2006)
12. C. Everaars, D. de Oliveira Costa, N. Diakov, F. Arbab, A distributed computational model for Reo, Tech. Report SEN-E0601, CWI, Amsterdam, Netherlands (February 2006)
13. Wright G., and Stevens W. TCP/IP Illustrated Volume 2: The Implementation (1995), Addison Wesley
14. Diakov N., and Arbab F. Software adaptation in integrated tool frameworks for composite services. Proceedings of The Third International Workshop on Coordination and Adaptation of Software Entities, W-CAT'2006 (2006), Nantes, France
15. Bonsangue M.M., Arbab F., de~Bakker J.W., Rutten J.J.M.M., Scutella A., and Zavattaro G. A transition system semantics for the control-driven coordination language Manifold. Theoret. Comput. Sci. 240 1 (2000) 3-47
16. Gelernter D. Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7 1 (1985) 80-112
17. Banatre J., and Métaier D.L. The Gamma model of computation and its discipline of programming. Sci. Comput. Programming 15 (1990) 55-77
18. Mehta N.R., Medvidovic N., and Phadke S. Towards a taxonomy of software connectors. Proceedings of the 22nd International Conference on Software Engineering, ICSE '00 (2000), ACM Press, New York, NY, USA 178-187
19. Cruz J.-C., and Ducasse S. A group based approach for coordinating active objects. COORDINATION. Lecture Notes in Computer Science vol. 1594 (1999), Springer 355-371
20. Ştefǎnescu G. Network Algebra (2000), Springer
21. Bruni R., Lanese I., and Montanari U. Complete axioms for stateless connectors. Algebra and Coalgebra in Computer Science. LNCS vol. 3629 (2005), Springer-Verlag GmbH 98-113
22. Lanese I., and Tuosto E. Synchronized hyperedge replacement for heterogeneous systems. COORDINATION. Lecture Notes in Computer Science vol. 3454 (2005), Springer 220-235
23. Milner R. Calculi for synchrony and asynchrony. Theoret. Comput. Sci. 25 (1983) 267-310
24. Gadducci F., and Montanari U. The tile model. Proof, Language and Interaction: Essays in Honour of Robin Milner (2000), MIT Press 133-165
25. Jensen K. Coloured Petri Nets Vol. 1: Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science (1997), Springer Verlag
26. Appel K., and Haken W. Every planar map is four colorable. Amer. Math. Soc. Bull. 82 5 (1976) 711-712