基于Pi验算的信息化系统流程研究与设计  

作　　者：何雪锋[1] 

机构地区：[1]四川信息职业技术学院,四川广元628000

出　　处：《电脑编程技巧与维护》2018年第8期106-107,135,共3页Computer Programming Skills & Maintenance

摘　　要：软件建模是把现实世界的需求抽象成概念模型,软件编码是把概念模型转变成能够运行的代码,在建模阶段,针对传统的UML即统一建模语言对信息系统业务流程的建模,无法严谨地定义和模拟信息系统的业务流程,不能保证流程本身的正确性和一致性等问题。以物流订单流程为例,研究BPMN表达业务流程及与形式化语言之间的转换,用形式化描述语言Pi演算描述和验证BPMN已描述的信息系统业务流程,通过JPDL直接定义出已通过Pi演算验证的订单流程,并应用于工作流引擎JBPM中,从而保证应用系统业务流程的正确性。

关 键 词：形式化建模 BPMN流程 JBPM引擎 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]