Reconfiguration of Reo connectors triggered by dataflow

Electronic Communications of the EASST

Volumn 10, Issue , 2008, Pages

  Koehler, Christian ^a   Costa, David ^a   Proença, José ^a   Arbab, Farhad ^a  

^a CWI   (Netherlands)

Author keywords

Animation; Coordination; Graph transformation; Reconfiguration

Indexed keywords

EID: 84856605128     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.10.138.149     Document Type: Conference Paper

References (14)

1. F. Arbab. Reo: a Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science 14:329-366, 2004
2. E. Biermann, K. Ehrig, C. Koehler, G. Kuhns, G. Taentzer, E.Weiss. Graphical Defnition of In-Place Transformations in the Eclipse Modeling Framework. In Model Driven Engineering Languages and Systems (MoDELS'06). 2006
3. R. Bruni, A. Lluch-Lafuente, U. Montanari, E. Tuosto. Style-based architectural reconfigurations. Technical report TR-07-17, Computer Science Department, University of Pisa, 2007
4. D. Clarke, D. Costa, F. Arbab. Connector Colouring I: Synchronization and Context Dependency. Sci. Comput. Program. 66(3):205-22, 2007. doi:http://dx.doi.org/10.1016/j.scico.2007.01.009
5. D. Clarke. A Basic Logic for Reasoning about Connector Reconfiguration. Fundamenta Informaticæ 82:1-30, 2008
6. D. Costa, J. Proença. Connector Animation: A Compositional Framework to Analyse Reo Connectors. December 2007. Submitted. Available online: http://www.cwi. nl/costa/publications/publications.htm
7. Eclipse Coordination Tools. http://homepages.cwi.nl/koehler/ect
8. H. Ehrig, K. Ehrig, U. Prange, G. Taentzer. Fundamentals of Algebraic Graph Transformation. EATCS Monographs in Theoretical Computer Science. Springer, 2006
9. Tiger EMF Transformation Project. http://tfs.cs.tu-berlin.de/emftrans
10. C. Ermel. Simulation and Animation of Visual Languages based on Typed Algebraic Graph Transformation. PhD thesis, 2006
11. C. Koehler, A. Lazovik, F. Arbab. Connector Rewriting with High-Level Replacement Systems. In Proceedings of FOCLASA 2007, to be published in Electronic Notes in Theoretical Computer Science. 2007
12. J. Proença. Towards Distributed Reo. Talk presented at CIC workshop, 2007
13. A. Rensink. GROOVE: A Graph Transformation Tool Set for the Simulation and Analysis of Graph Grammars. http://www.cs.utwente.nl/groove, 2003
14. A. Rensink. Towards Model Checking Graph Grammars. In Leuschel et al. (eds.), Workshop on Automated Verification of Critical Systems (AVoCS). Technical Report DSSE-TR-2003-2, pp. 150-160. University of Southampton, 2003