System Modelling and its Decomposition into Local Views by Using Graph Transformation

Abstract

Modelling a system as a global system (whole world system) has usually scalability problems, so we are modelling a system through graph transformation and decomposing it into local views. These views can be integrated into global system in any tool supporting modular integration to avoid scalability problems. Which mainly occur while analysing a system through state space exploration.