本发明提出了一种基于强化学习的CCSL综合方法，该方法将一个不完整的CCSL规约编码成为一个强化学习模型，并系统预期行为对模型训练进行指导，最终将模型转化为完整的CCSL约束。该方法包括：强化学习模型的生成方法，强化学习模型的训练方法，CCSL约束验证方法以及强化学习奖励评估方法。通过本发明方法自动化的生成了CCSL规约，为设计人员提供了较为有效的指导，极大地降低了系统设计的成本。本发明还提出了一种基于强化学习的CCSL综合系统。