2015/11/03 by Niaz Arijo, Arijo, Niaz, Reiko Heckel +1
Computer Science · Decision Sciences · #Advanced Software Engineering Methodologies #Model-Driven Software Engineering Techniques #Scientific Computing and Data Management
paper · doi:10.14279/tuj.eceasst.47.737
openalex publication_date 2024/03/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01
Modelling complex systems by graph transformation, we face scalability challenges both in our ability to create and understand these models and in the ability 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 different views which, when synchronised using a CSP-like operator, yield a system that is bisimilar to the original global system.