分布式系统的面向对象文法建模与推理
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
摘要：
面向应用程序是一个相对较新的范例，它引入了抽象概念来模块化全系统政策的实现。它基于一个组合操作，称为方面编织，通过在系统模块中执行相关的更改来隐式地修改基本系统。面向方面的图语法（AOGG）通过将方面定义为对基本图语法的基于规则的修改集来扩展经典的图语法形式主义。尽管面向方面的概念在模块化方面具有优势，但方面编织操作的隐式本质也可能在推理系统行为时引入问题。由于在AOGGs方面编织的特点是通过基于规则的重写，我们可以克服这些问题，通过使用已知的分析技术，从图变换文学研究方面组成。在本文中，我们提出了一个案例研究的分布式客户端-服务器系统的全局政策，建模为面向方面的图形语法，并讨论如何使用AGG工具，以确定潜在的冲突方面编织。
英文摘要：
Aspect-orientation is a relatively new paradigm that introduces abstractions to modularize the implementation of system-wide policies. It is based on a composition operation, called aspect weaving, that implicitly modifies a base system by performing related changes within the system modules. Aspect-oriented graph grammars (AOGG) extend the classic graph grammar formalism by defining aspects as sets of rule-based modifications over a base graph grammar. Despite the advantages of aspect-oriented concepts regarding modularity, the implicit nature of the aspect weaving operation may also introduce issues when reasoning about the system behavior. Since in AOGGs aspect weaving is characterized by means of rule-based rewriting, we can overcome these problems by using known analysis techniques from the graph transformation literature to study aspect composition. In this paper, we present a case study of a distributed client-server system with global policies, modeled as an aspect-oriented graph grammar, and discuss how to use the AGG tool to identify potential conflicts in aspect weaving.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
