Foley John D, Breiner Spencer, Subrahmanian Eswaran, Dusel John M
Metron, Inc., 1818 Library St., Reston, VA, USA.
US National Institute of Standards and Technology, Gaithersburg, MD, USA.
Proc Math Phys Eng Sci. 2021 Jun;477(2250):20210099. doi: 10.1098/rspa.2021.0099. Epub 2021 Jun 23.
As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support analysis at various levels of granularity so that the system is maintainable and adaptable over its life cycle. In this paper, we argue that operads provide an effective knowledge representation to address these challenges. Formal documentation of a syntactically correct design is built up during design synthesis, guided by semantic reasoning about design effectiveness. Throughout, the ability to decompose the system into parts and reconstitute the whole is maintained. We describe recent progress in effective modelling under this paradigm and directions for future work to systematically address scalability challenges for complex system design.
随着系统的复杂性和异质性不断增加，指定、记录和综合正确的、机器可读的设计所面临的挑战急剧增大。需要将系统分解为可管理的部分，以支持不同粒度级别的分析，从而使系统在其生命周期内可维护且可适应。在本文中，我们认为操作代数提供了一种有效的知识表示来应对这些挑战。在设计综合过程中，在关于设计有效性的语义推理指导下，构建语法正确的设计的正式文档。在整个过程中，保持将系统分解为部分并重新构建整体的能力。我们描述了在此范式下有效建模的最新进展以及未来工作的方向，以系统地应对复杂系统设计的可扩展性挑战。
