随着计算机软件技术的发展,司法人员通过应用司法和审判软件系统来帮助处理案件工作,提高工作效率。证据链和文书说理是司法领域的常用概念,证据链是由证据组成,用以表达证据间相互印证的关系,形成证明案件事实的证据链条。法官判案以事实为依据、以法律为准绳,所谓“事实”是指合法证据能够证明的事实,即事实要以证据为基础,因此证据链构建在法官办案过程发挥着关键作用。文书说理使用案件中查明的证据、事实以及法律法规中的条文等材料表达裁判文书的说理逻辑,提高裁判文书的质量。目前与证据链和文书说理相关的应用软件较为欠缺,司法人员一般通过手动编写文档的方式解析和编辑证据链,生成文书说理段落。本文根据证据链的司法概念提出了证据链模型,根据证据链的概念和其多样的联结形态定义了证据链模型的模型格式和模型语言,同时定义了证据链模型包含的多种实体和关系及其属性,证据链模型中主要包含链节、链头和事实联结点这三类实体,还包括从链节到链头的从属连接关系以及从链头到事实联结点的证明连接关系。论文使用EBNF范式和XML Schema语法对证据链模型语法进行了定义。本文从司法相关的文书说理概念中提取出了文书说理模型,设置了该模型对应的文书说理模型的文件格式和语法,并将文书说理模型包含的元素和属性对应到文件中的特定标签中,文书说理模型主要包括证据、事实、法条法规以及结论这四类实体,连接关系包括从证据实体到结论实体,从事实实体到结论实体,从法条法规实体到结论实体,从结论实体迭代到结论实体的四类证明关系。论文使用EBNF范式和XML Schema语法对文书说理模型语法进行了定义。基于证据链模型和文书说理模型的建模系统采用JAVA语言开发,主要根据MVC模式进行架构设计,主要包括模型编辑子系统和解析子系统,模型编辑子系统实现了通过点击和拖拽的方式可视化地编辑证据链模型,具体功能包括模型文件编辑、模型图元编辑以及模型图元创建;解析子系统使得模型对象可以根据特定的模型格式保存在XML文件,XLS文件和数据库中,反之,通过相应的解析器可以从这些模型的不同存储中解析读取出证据链模型对象,并进一步地可视化编辑该模型。证据链可视化建模系统使得证据链的构建和解析更加形象和准确,并且提高了司法工作人员的效率。