图重写相关论文
该文首先在一个分类比较框架下分析了各种一致性检查和维护机制,比较了各种方法的优缺点.其次我们用图作为开发系统中对象和关系的......
计算机安全风险分析随着计算机系统安全问题的日益严重而受到广泛重视。因为其处理对象的庞大和复杂,风险分析需要自动化的方法实......
基于项重写的安全风险分析的抽象规约模型在代数签名的基础上直接得到结果，没有提供相关攻击步骤明确描述，没有提供决策和攻击之间关......
图语法将字符串上的形式文法扩充为图上的形式文法,提供一种能够使用精确的数学方法来模拟图变换的机制.提出了几种新的基于一致图......
对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展，图文法可以形式化描述二维空间中的对象，如图......
图重写能够有效地实现项重写．文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性；在无环出现的倩况下，图重写对......
