Loading...
Please wait, while we are loading the content...
Similar Documents
View-based Modelling and State-Space Generation for Graph Transformation Systems
| Content Provider | CiteSeerX |
|---|---|
| Author | Arijo, Niaz Heckel, Reiko Fish, Andrew Lambers, Leen Margaria, Tiziana Padberg, Julia Taentzer, Gabriele |
| Abstract | Abstract: Modelling complex systems by graph transformation, we face scalability challenges both in our ability to create and understand these models and in the abil-ity of tools to analyse them. To address these problems we propose to model graph transformation systems in views which can be understood and analysed separately. In particular, we show that transition systems can be generated separately for differ-ent views which, when synchronised using a CSP-like operator, yield a system that is bisimilar to the original global system. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Graph Transformation System View-based Modelling State-space Generation Modelling Complex System Graph Transformation Scalability Challenge Transition System Original Global System Differ-ent View Csp-like Operator |
| Content Type | Text |
| Resource Type | Article |