首页> 外文会议>International SPIN Symposium on Model Checking Software >Specification and Validation of Link Reversal Routing via Graph Transformations

【24h】

Specification and Validation of Link Reversal Routing via Graph Transformations

机译：通过图形转换的链路反转路由规范和验证

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

We apply executable Graph Transformation Systems for the formal specification of the Gafni-Bertsekas algorithm, a Link Reversal Routing algorithm for Mobile Ad Hoc Networks. The considered casestudy and the corresponding correctness properties require the combination of graph production rules with operations on data fields, control strategies and temporal properties defined over graph patterns. The model is automatically validated via the GROOVE model checker.

机译：我们应用用于GAFNI-BERTSEKAS算法的正式规范的可执行图形转换系统，是移动临时网络的链路反转路由算法。所考虑的杂类和相应的正确性属性需要图形生产规则的组合，在数据字段上的操作，控制策略和在图形模式上定义的时间特性。该模型通过Groove模型检查器自动验证。

著录项

来源
《International SPIN Symposium on Model Checking Software 》|2013年||共18页
会议地点
作者
Giorgio Delzanno; Riccardo Traverso;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP311.56-53;
关键词

相似文献

外文文献
中文文献
专利

1. Water Waves Travel Back In Time To Retrace Their Ripples, Time Reversal And Holography With Spacetime Transformations, Holographic Entanglement Renormalization Of Topological Insulators, Holographic Space-Time Models Of Anti-de Sitter Space-Times, Quantum [J] . K.N.P. Kumar Advances in Physics Theories and Applications . 2013 ,第3期

机译：水波及时返回以恢复其波纹，时间反转和具有时空变换的全息图，拓扑绝缘子的全息纠缠重正化，Anti-de Sitter时空的全息时空模型，量子
2. Agile validation of model transformations using compound F-Alloy specifications [J] . Gammaitoni Loic, Kelsen Pierre, Ma Qin Science of Computer Programming . 2018 ,第SEPa15期

机译：使用复合F合金规范对模型转换进行敏捷验证
3. Graphical dynamic linear models: specification, use and graphical transformations [J] . Beatriz Lacruz, Pilar Lasala, Alberto Lekuona International Journal of Approximate Reasoning . 2000 ,第1期

机译：图形动态线性模型：规格，用途和图形转换
4. Specification and Validation of Link Reversal Routing via Graph Transformations [C] . Giorgio Delzanno, Riccardo Traverso International symposium on model checking of software . 2013

机译：通过图形变换的链路反向路由的规范和验证
5. Automatic transformation of UML software specification into LQN performance models using Graph Grammar techniques [D] . Amer, Hoda 2001

机译：使用图文法技术将UML软件规范自动转换为LQN性能模型
6. Evaluation and Validation of an Enzyme-Linked Immunosorbent Assay and an Immunochromatographic Test for Serological Diagnosis of Severe Acute Respiratory Syndrome [O] . Ming Guan, Kwok Hung Chan, J. S. Malik Peiris, 2004

机译：严重急性呼吸系统综合症血清学诊断的酶联免疫吸附测定和免疫层析测试的评估和验证
7. GRACE as a unifying approach to graph-transformation-based specification11This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems). [O] . Kreowski Hans-Jörg, Busatto Giorgio, Kuske Sabine 2001

机译：GRACE作为基于图变换的规范的统一方法1这项工作得到了ESPRIT图形转换应用工作组（APPLIGRAPH）和EC TMR网络GETGRATS（图形转换系统通用理论）的部分支持。

Specification and Validation of Link Reversal Routing via Graph Transformations

摘要

著录项

相似文献

相关主题

期刊订阅