当前位置: X-MOL 学术arXiv.cs.FL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Resilience of Well-structured Graph Transformation Systems
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2021-07-29 , DOI: arxiv-2108.00889
Okan Özkan, Nick Würdemann

Resilience is a concept of rising interest in computer science and software engineering. For systems in which correctness w.r.t. a safety condition is unachievable, fast recovery is demanded. We investigate resilience problems of graph transformation systems. Our main contribution is the decidability of two resilience problems for well-structured graph transformation systems (with strong compatibility). We prove our results in the abstract framework of well-structured transition systems and apply them to graph transformation systems, incorporating also the concept of adverse conditions.

中文翻译:

结构良好的图转换系统的弹性

弹性是人们对计算机科学和软件工程越来越感兴趣的概念。对于无法实现安全条件正确性的系统,需要快速恢复。我们研究了图转换系统的弹性问题。我们的主要贡献是结构良好的图转换系统(具有强兼容性)的两个弹性问题的可判定性。我们在结构良好的转换系统的抽象框架中证明了我们的结果,并将它们应用于图转换系统,同时结合了不利条件的概念。
更新日期:2021-08-03
down
wechat
bug