基于契约的智能体系统工程：以商运算实现可保障的系统设计

研究提出将SysML v2需求视为假设/保证契约，把系统需求在固定邻域上分解后，开放组件的需求即契约商，且仍为SysML v2需求。作者以SysML v2模型构建需求及其推导、分配、满足与验证，并据此计算商。案例将仿真仓库机器人局部控制器在契约商需求、仅任务需求和自然语言任务三种条件下交给同一语言模型，按真实系统需求在实时回合中评分交付表现。