关键词:
商砼站
信息管理系统
Petri网
业务流程模型
轨迹聚类
摘要:
随着工业自动化进程的推进以及信息化技术的发展,构建商砼站信息管理系统已经成为了混凝土生产企业规范业务流程、记录业务数据的有效手段。然而,应用传统的软件开发方法设计商砼站信息管理系统时经常遇到一些问题,例如系统需求分析不清晰、结构设计不合理,以及缺乏科学的方法对实际系统业务逻辑进行有效分析与验证等。为此,本文遵循软件工程开发思想,将软件形式化开发方法与流程发现技术相结合,提出了一种基于Petri网的信息管理系统设计框架。该框架包括系统需求分析、基于Petri网的业务流程建模与分析、系统设计与代码实现、基于流程日志的系统业务流程模型挖掘与分析等四部分内容,涵盖了系统从设计到实现的整个过程。这一框架有效解决了传统信息管理系统在设计过程中业务流程难以梳理的问题,保证系统设计时的正确性,同时,弥补了传统开发方法在实际系统业务逻辑分析方面的不足。在此框架下,本文完成了商砼站信息管理系统的设计与开发工作,其具体工作内容如下:
1、在系统需求分析阶段,本文在商砼站基本组成结构和企业组织架构分析的基础上,利用流程图对商砼站主体业务流程进行梳理,实现了用户实际需求的分析。然后,借助活动用例图对商砼站信息管理系统的销售管理、生产管理,物资管理、技术管理、车辆管理、系统管理等六个模块的功能性需求进行分析。同时,总结了系统开发过程中的非功能性需求。
2、在基于Petri网的业务流程建模与分析阶段,本文利用Petri网理论对商砼站信息管理系统的销售生产、原料采购等业务处理过程进行形式化建模,搭建了基于时延加权Petri网的业务流程模型。然后,使用库所不变量与可达图分析方法从理论层面验证了模型的合理性,进而证明了所建立的业务流程模型对系统业务管理需求的理解和描述是准确且可靠的。最后,以生产运输业务流程模型为例,对混凝土生产运输业务中的车辆租赁场景进行仿真实验,得到了不同车辆租赁策略下完成生产运输任务所需的运输时间与车辆租赁成本的详细情况,为实际业务场景下的车辆租赁提供了有力的数据支持与参考,证明了基于Petri网的业务流程建模方法是实用的、有效的。
3、在系统设计与代码实现阶段,本文基于时延加权Petri网的业务流程模型设计了以数据库为基础的系统后台逻辑框架。然后,为了规范系统前端页面的业务操作流程、保证用户数据录入的正确性,建立了基于Petri网的系统页面通用操作模型。最后,在集成开发环境Visual Studio 2019中,采用WPF技术与SQL Server 2014实现了具有销售管理、生产管理,物资管理、技术管理、车辆管理、日志管理等诸多功能的商砼站信息管理软件。
4、在基于流程日志的系统业务流程模型挖掘与分析阶段,为了更好地挖掘出系统日志中所隐含的不同模式的业务流程模型。本文首先利用所提出的超级实例混合聚类算法(SIHP)对流程日志进行轨迹聚类,产生各类别的同质日志。然后,采用启发式流程发现技术(HM)对同质日志进行挖掘,得到对应类别的Petri网的业务流程模型。最后,为了验证挖掘得到的业务流程模型的正确性,本文以销售合同流程日志为例,进行业务流程模型挖掘实验,证明了其所挖掘出的业务流程模型与系统设计时的预期模型具有一致性。因此,可以通过这一方法利用系统生成的日志对实际系统的业务逻辑进行分析,以检验系统设计与实现过程中是否存在潜在的业务逻辑问题。
实验结果表明,本文提出的基于Petri网的信息管理系统设计框架,一方面在系统设计时,提供了一种有效的业务逻辑形式化建模与验证方法。另一方面,它也为系统实际业务运转流程的有效分析提供了关键支持。