Computer systems are so complex, so they are usually designed and analyzed in terms of layers of abstraction. Complexity is still a challenge facing logical reasoning tools that are used to find software design flaws and implementation bugs. Abstraction is also a common technique for scaling those tools to more complex systems. However, the abstractions used in the design phase of systems are in many cases different from those used for assurance. In this paper we argue that different software quality assurance techniques operate on different aspects of software systems. To facilitate assurance, and for a smooth integration of assurance tools into the Software Development Lifecycle (SDLC), we present a 4-dimensional meta-architecture that separates computational, coordination, and stateful software artifacts early on in the design stage. We enumerate some of the design and assurance challenges that can be addressed by this meta-architecture, and demonstrate it on the high-level design of a simple file system.

中文翻译：

---

走向保证驱动的软件系统架构分解

计算机系统如此复杂，因此通常根据抽象层进行设计和分析。复杂性仍然是用于查找软件设计缺陷和实现错误的逻辑推理工具所面临的挑战。抽象也是将这些工具扩展到更复杂系统的常用技术。然而，在系统设计阶段使用的抽象在许多情况下与用于保证的抽象不同。在本文中，我们认为不同的软件质量保证技术在软件系统的不同方面运行。为了促进保证，并将保证工具顺利集成到软件开发生命周期 (SDLC) 中，我们提出了一个 4 维元架构，它在设计阶段的早期将计算、协调和有状态的软件工件分开。