摘要： 本文介绍了阅卷信息的形式化描述应用于阅卷系统的优势，并简单介绍了其实现方法和实现过程。这种形式化描述方法可以提高阅卷系统的独立性、适应性，延长其生命周期，并可广泛应用于其他领域。

关键词: 阅卷信息 形式化描述 分析求解系统 可扩充性