Evènement pour le groupe Séminaire Méthodes Formelles

Date 2020-02-06  11:00-12:00
TitreSemantics and applications of PORGY - an interactive modelling framework based on strategic graph rewriting 
Résumé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 in the areas of biochemistry, social networks and database design, and a brief description of its implementation: the graph transformation and visualisation tool PORGY. This is joint work with members of the PORGY team at Bordeaux and King’s College London.  
OrateurMaribel Fernandez 
UrlKing's College London 

Aucun document lié à cet événement.

Retour à l'index