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