📄 中文摘要
CAS 适应中的一个挑战是定义系统的动态架构及其行为变化。实现上，这通常通过适应管理器（AM）来实现。随着生成性大语言模型（LLM）的进步，基于系统规范和期望的 AM 行为（部分以自然语言表达）生成 AM 代码成为一种诱人的机会。最近引入的 Vibe 编码提供了一种通过迭代测试和 Vibe 编码反馈循环来解决生成代码正确性的问题，而不是直接检查代码。生成 AM 的过程通过 Vibe 编码反馈循环进行验证，证明了这一方法的可行性。
基于反馈的自动验证在约束逻辑下的 CAS 适应中的 Vibe 编码
📄 English Summary
Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic
The challenge in CAS adaptation lies in defining the dynamic architecture of the system and its behavioral changes. This is typically implemented through an Adaptation Manager (AM). With advancements in generative large language models (LLMs), generating AM code based on system specifications and desired AM behavior (partially in natural language) presents an enticing opportunity. The recent introduction of vibe coding suggests a method to address the correctness of generated code through iterative testing and vibe coding feedback loops, rather than direct code inspection. Generating an AM via vibe coding feedback loops demonstrates the viability of this approach when the verification of the generated AM is based on a structured methodology.