![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Strategic Graph Rewriting in PORGY — an interactive modelling framework
Strategic Graph Rewriting in PORGY — an interactive modelling frameworkAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Noam Zeilberger. In this talk I will describe the use of strategic port graph rewriting as a basis for the implementation of visual modelling tools. The goal is to facilitate the specification and analysis of complex systems. A system is represented by an initial graph and a collection of graph rewrite rules, together with a user-defined strategy to control the application of rules. The traditional operators found in strategy languages for term rewriting have been adapted to deal with the more general setting of graph rewriting, and some new constructs have been included in the strategy language to deal with graph traversal and management of rewriting positions in the graph. We give a formal semantics for the language, examples of application, and a brief description of its implementation: the graph transformation and visualisation tool PORGY . This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsApplied Topology Colloquium Computer Science Lunch Time Talk Series Lab LunchOther talksTBA TBC The tragic destiny of Mileva Marić Einstein Control variates for computing transport coefficients TBA Hunt for an Earth-twin |