神经符号架构推理：通过神经软件架构推断实现形式化分析
软件工程
2025-03-21 v1
摘要
由于定义形式化架构模型所需的工作量，确保软件遵循已定义架构约束的形式化分析尚未在软件开发中得到广泛应用。在本文中，我们概述了神经架构推断，以解决为后续对这些架构进行符号推理提供形式化架构定义的问题，从而实现神经符号架构推理。我们讨论了该方法的一般工作原理，并基于需要解决的六个一般性研究问题概述了一个研究议程，以实现这一愿景。
引用
@article{arxiv.2503.16262,
title = {Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference},
author = {Steffen Herbold and Christoph Knieke and Andreas Rausch and Christian Schindler},
journal= {arXiv preprint arXiv:2503.16262},
year = {2025}
}