Reconfiguration of Reo Connectors Triggered by Dataflow
暂无分享,去创建一个
Farhad Arbab | David Costa | José Proença | Christian Krause | F. Arbab | J. Proença | Christian Krause | David Costa
[1] Hartmut Ehrig,et al. Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .
[2] Gabriele Taentzer,et al. Graphical definition of in-place transformations in the eclipse modeling framework , 2006, MoDELS'06.
[3] Farhad Arbab,et al. Connector Rewriting with High-Level Replacement Systems , 2008, FOCLASA.
[4] Farhad Arbab,et al. Connector colouring I: Synchronisation and context dependency , 2006, Sci. Comput. Program..
[5] Roberto Bruni,et al. Style-Based Architectural Reconfigurations , 2008, Bull. EATCS.
[6] Dave Clarke,et al. A Basic Logic for Reasoning about Connector Reconfiguration , 2008, Fundam. Informaticae.
[7] Claudia Ermel,et al. Simulation and animation of visual languages based on typed algebraic graph transformation , 2006 .
[8] Farhad Arbab,et al. Reo: A Channel-based Coordination Model for Component Composition , 2005 .
[9] Arend Rensink. Towards model checking graph grammars , 2003 .
[10] Hartmut Ehrig,et al. Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.