干旱区生态环境知识资源中心(Arid): Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation

Arid

DOI	10.1016/j.ecoinf.2022.101908
	Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation
	Flotterer, Boris; Maximova, Maria; Schneider, Sven; Dyck, Johannes; Zollner, Christian; Giese, Holger; Hely, Christelle; Gaucherel, Cedric
通讯作者	Flotterer, B
来源期刊	ECOLOGICAL INFORMATICS
ISSN	1574-9541
EISSN	1878-0512
出版年	2023
卷号	75
英文摘要	The dynamics of meta-ecosystems are of crucial importance and, therefore, in theoretical ecology, various modelbased approaches are employed to analyze their internal effects and to derive predictions on their future behavior and interactions. However, existing model-based approaches are limited in their support for the modeling of space structure dynamics of meta-ecosystems growing and shrinking in size over time due to intrinsic and extrinsic process as well as neighboring opportunities. In this paper, we employ the formal technique of Graph Transformation (GT) to qualitatively model the space structure dynamics and ecological dynamics of meta-ecosystems. In such GTSs, states of meta-ecosystems are given by graphs and evolutions from one state to the next are derived by applying GT rules describing local modifications of graphs. As a case study, we introduce GTSs capturing the space structure dynamics and ecological dynamics of three different savanna meta-ecosystems, which vary in their space structure dynamics. We then consider several qualitative analysis technique for GTSs such as for the existence of structural stabilities and apply them in our case study. We conclude that GTSs provide a complementary avenue to that of existing approaches to rigorously model and analyze qualitative ecological phenomena with adequate support for capturing not only ecological effects but also various forms of space structure dynamics.
英文关键词	Dynamic structure Dynamic systems Discrete-event model Qualitative model Formal analysis Savanna Desertification
类型	Article
语种	英语
开放获取类型	Green Submitted
收录类别	SCI-E
WOS记录号	WOS:000939564400001
WOS关键词	TREE-GRASS COEXISTENCE ; SAVANNA ; FIRE ; SYSTEMS ; FOREST ; DETERMINANTS ; RESILIENCE ; FRAMEWORK ; NETWORKS ; SCALE
WOS类目	Ecology
WOS研究方向	Environmental Sciences & Ecology
资源类型	期刊论文
条目标识符	http://119.78.100.177/qdio/handle/2XILL650/395988
推荐引用方式 GB/T 7714	Flotterer, Boris,Maximova, Maria,Schneider, Sven,et al. Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation[J],2023,75.
APA	Flotterer, Boris.,Maximova, Maria.,Schneider, Sven.,Dyck, Johannes.,Zollner, Christian.,...&Gaucherel, Cedric.(2023).Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation.ECOLOGICAL INFORMATICS,75.
MLA	Flotterer, Boris,et al."Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation".ECOLOGICAL INFORMATICS 75(2023).