Reconfiguring distributed reo connectors

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5486 LNCS, Issue , 2009, Pages 221-235

  Koehler, Christian ^a   Arbab, Farhad ^a   De Vink, Erik ^b  

^a CWI   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC GRAPH TRANSFORMATIONS; BOTTOM-UP STRATEGY; COORDINATION LANGUAGE; DOUBLE-PUSHOUT APPROACH; INDEPENDENT COMPONENTS; LOCAL RECONFIGURATIONS; SELF-RECONFIGURABLE;

METALS;

ALGEBRA;

EID: 70349338960     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03429-9_15     Document Type: Conference Paper

References (23)

1. Arbab, F.: Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science 14, 329-366 (2004)
2. Arbab, F.: Abstract Behavior Types: A Foundation Model for Components and Their Composition. Science of Computer Programming 55, 3-52 (2005)
3. Taentzer, G.: Distributed Graphs and Graph Transformation. Applied Categorical Structures 7, 431-462 (1999)
4. Ehrig, H., Orejas, F., Prange, U.: Categorical Foundations of Distributed Graph Transformation. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 215-229. Springer, Heidelberg (2006)
5. Boehm, P., Fonio, H.R., Habel, A.: Amalgamation of Graph Transformations: A Synchronization Mechanism. Journal of Computer and System Sciences 34, 377-408 (1987)
6. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In: Handbook of Graph Grammars and Computing by Graph Transformation, pp. 163-245. World Scientific, Singapore (1997)
7. Taentzer, G., Beyer, M.: Amalgamated Graph Transformations and Their Use for Specifying AGG. In: Ehrig, H., Schneider, H.-J. (eds.) Dagstuhl Seminar 1993. LNCS, vol. 776, pp. 380-394. Springer, Heidelberg (1994)
8. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2006)
9. Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional Semantics for Open Petri Nets based on Deterministic Processes. Mathematical Structures in Computer Science 15, 1-35 (2005)
10. Bruni, R., Lafuente, A.L., Montanari, U., Tuosto, E.: Style-based Architectural Reconfigurations. Bulletin of the EATCS 94, 180-181 (2008)
11. Engels, G., Heckel, R.: Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol. 1853, pp. 127-150. Springer, Heidelberg (2000)
12. Yellin, D., Strom, R.: Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems 19, 292-333 (1990)
13. Canal, C., Murillo, J., Poizat, P.: Software adaptation. L'Object 12, 9-31 (2006)
14. Brogi, A., Cámera, J., Canal, C., Cubo, J., Pimentel, E.: Dynamic contextual adaptation. Electronics Notes in Theoretical Computer Science 175, 81-95 (2007)
15. Cubo, J., Salaun, G., Cámara, J., Canal, C., Pimentel, E.: Context-based adaptation of component behavioural interfaces. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 305-323. Springer, Heidelberg (2007)
16. Gottschalk, F., Aalst, W.v.d., Jansen-Vullers, M., La Rosa, M.: Configurable workflow models. Journal of Cooperative Information Systems 17, 177-221 (2008)
17. Clarke, D., Costa, D., Arbab, F.: Connector Colouring I: Synchronisation and Context Dependency. Science of Computer Programming 66, 205-225 (2007)
18. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming 61, 75-113 (2006)
19. Arbab, F., Bruni, R., Clarke, D., Lanese, I., Montanari, U.: Tiles for Reo (extended abstract). In: Corradini, A., Gadduci, F. (eds.) WADT 2008, preliminary proceedings, Technical Report TR-08-15, Dipartemento di Informatica, Università di Pisa, pp. 21-24 (2008)
20. Arbab, F., Koehler, C., Maraikar, Z., Moon, Y.J., Proenca, J.: Modeling, Testing and Executing Reo Connectors with the Eclipse Coordination Tools. In: Canal, C., Pasareanu, C. (eds.) Proc. FACS 2008 (to appear)
21. Odersky, M.: The Scala experiment: Can we provide better language support for component systems? In: Morrisett, J., Peyton Jones, S. (eds.) Proc. POPL, pp. 166-167. ACM, New York (2006)
22. De Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed Graph Transformation with Node Type Inheritance. Theoretical Computer Science 376, 139-163 (2007)
23. Taentzer, G., Rensink, A.: Ensuring structural constraints in graph-based models with type inheritance. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 64-79. Springer, Heidelberg (2005)