使用图法则描述软件架构风格

我们认为软件架构应为大型软件属性的证明提供适当的基础。这个目标可以通过明确区分计算和通信以及正式定义各个组件之间的交互来实现。我们提出了一种用图来定义软件架构的形式主义。节点代表各个智能体，边定义它们的互连。各个智能体只能沿着架构指定的链接进行通信。架构的动态演变由一个"协调者"独立定义。架构风格是由图法则指定的一类架构。该类特征化一组共享共同通信模式的架构。协调者的规则经过静态检查，以确保其保持架构风格所施加的约束。