Towards Local Confluence Analysis for Amalgamated Graph Transformation (bibtex)
by Taentzer, Gabriele and Golas, Ulrike
Abstract:
Amalgamated graph transformation allows to define schemes of rules coinciding in common core activities and differing over additional parallel independent activities. Consequently, a rule scheme is specified by a kernel rule and a set of extending multi-rules forming an interaction scheme. Amalgamated transformations have been increasingly used in various modeling contexts.
Reference:
Towards Local Confluence Analysis for Amalgamated Graph Transformation (Taentzer, Gabriele and Golas, Ulrike), In Graph Transformation (Parisi-Presicce, Francesco, Westfechtel, Bernhard, eds.), Springer International Publishing, 2015.
Bibtex Entry:
@InProceedings{Taentzer2015,
  author    = {Taentzer, Gabriele and Golas, Ulrike},
  title     = {{Towards Local Confluence Analysis for Amalgamated Graph Transformation}},
  booktitle = {Graph Transformation},
  year      = {2015},
  editor    = {Parisi-Presicce, Francesco and Westfechtel, Bernhard},
  pages     = {69--86},
  address   = {Cham},
  publisher = {Springer International Publishing},
  abstract  = {Amalgamated graph transformation allows to define schemes of rules coinciding in common core activities and differing over additional parallel independent activities. Consequently, a rule scheme is specified by a kernel rule and a set of extending multi-rules forming an interaction scheme. Amalgamated transformations have been increasingly used in various modeling contexts.},
  isbn      = {978-3-319-21145-9},
}
Powered by bibtexbrowser