知识卡片
适配合成需验证
内容
自动生成适配器不能只追求“能生成”，还要验证无死锁、可达性、活性和最终状态。适配器越自动，越需要形式化模型或模型检查守底线，否则会把集成错误包装得更隐蔽。
参考来源
- 位置：第6章《Web服务适配》6.3节「适配器自动生成方法」相关小节（源文件：_chapter-text/ch06.txt）
- 结论依据：原文明确说明适配器自动生成方法会生成YAWL工作流用于检查适配后服务交互的属性（死锁解决、可达性和活性），并在适配器生成期间应用模型检查技术进行验证，直接支持卡片对自动生成适配器不能只追求'能生成'、还要验证无死锁/可达性/活性、越自动越需要形式化模型或模型检查守底线的论述。
- 原始内容："它还生成适配器的YAWL工作流，用于检查与适配后的服务交互的属性（例如死锁解决、可达性和活性）……在适配器生成期间应用模型检查技术进行验证，比单独执行服务适配和验证节约更多的时间和费用。"