Decoupled execution of synchronous coordination models via behavioural automata

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 58, Issue , 2011, Pages 65-79

  Proença, José ^a   Clarke, Dave ^a   De Vink, Erik ^b   Arbab, Farhad ^c  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^c CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE;

AUTOMATA MODELS; COORDINATION LANGUAGE; COORDINATION MODEL; COORDINATION SYSTEMS; GLOBAL ACTIONS; LINDA COORDINATION MODEL; SCALABLE IMPLEMENTATION; SYNCHRONOUS MODELS;

AUTOMATA THEORY;

EID: 84856590153     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.58.5     Document Type: Conference Paper

References (18)

1. Farhad Arbab (2004): Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), pp. 329-366, doi:10.1017/S0960129504004153.
2. Farhad Arbab (2005): Abstract Behavior Types: a foundation model for components and their composition. Science of Computer Programming 55, pp. 3-52, doi:10.1016/j.scico.2004.05.010.
3. Farhad Arbab (2006): Composition of Interacting Computations, chapter 12, pp. 277-321. Springer-Verlag New York, Inc., Secaucus, NJ, USA, doi:10.1007/3-540-34874-3-12.
4. Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese & Ugo Montanari (2009): Tiles for Reo. In: Recent Trends in Algebraic Development Techniques, LNCS 5486, Springer, pp. 37-55, doi:10.1007/978-3-642-03429-9-4.
5. Farhad Arbab, Christian Koehler, Ziyan Maraikar, Young-Joo Moon & José Proença (2008): Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools. In: Proceedings of FACS, SCP.
6. Christel Baier, Marjan Sirjani, Farhad Arbab & Jan J. M. M. Rutten (2006): Modeling component connectors in Reo by constraint automata. Science of Computer Programming 61(2), pp. 75-113, doi:10.1016/j.scico.2005.10.008.
7. Gérard Berry (2000): The foundations of Esterel. In Gordon D. Plotkin, Colin Stirling & Mads Tofte, editors: Proof, Language, and Interaction, The MIT Press, pp. 425-454.
8. Marcello M. Bonsangue, Dave Clarke & Alexandra Silva (2009): Automata for Context-Dependent Connectors. In: COORDINATION, LNCS 5521, Springer, pp. 184-203.
9. D. M. Chapiro (1984): Globally-Asynchronous Locally-Synchronous Systems. Ph.D. thesis, Standford University.
10. P. Ciancarini, K.K. Jensen & D. Yankelevich (1995): On the Operational Semantics of a Coordination Language. In: Object-Based Models and Languages for Concurrent Systems, LNCS 924, pp. 77-106.
11. Dave Clarke, David Costa & Farhad Arbab (2007): Connector colouring I: Synchronisation and context dependency. Science of Computer Programming 66(3), pp. 205-225, doi:10.1016/j.scico.2007.01.009.
12. Régis Cridlig & Eric Goubault (1993): Semantics and Analysis of Linda-Based Languages. In Patrick Cousot, Moreno Falaschi, Gilberto Filé & Antoine Rauzy, editors: WSA, LNCS 724, Springer, pp. 72-86.
13. Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta & Jean-Pierre Talpin (2006): A Verification Approach for GALS Integration of Synchronous Components. ENTCS 146(2), pp. 105-131.
14. Fabio Gadducci & Ugo Montanari (2000): The tile model, pp. 133-166. MIT Press, Cambridge, MA, USA.
15. David Gelernter (1985): Generative communication in Linda. ACM Transactions on Programming Languages and Systems 7(1), pp. 80-112, doi:10.1145/2363.2433.
16. Christian Krause (2011): Reconfigurable component connectors. Ph.D. thesis, Leiden University.
17. Robin Milner (1983): Calculi for Synchrony and Asynchrony. Theor. Comput. Sci. 25, pp. 267-310, doi:10.1016/0304-3975(83)90114-7.
18. José Proença (2011): Synchronous Coordination of Distributed Components. Ph.D. thesis, Leiden University.