基于Pi验算的信息化系统流程研究与设计 |
| |
作者姓名: | 何雪锋 |
| |
作者单位: | 四川信息职业技术学院,四川广元,628000 |
| |
摘 要: | 软件建模是把现实世界的需求抽象成概念模型,软件编码是把概念模型转变成能够运行的代码,在建模阶段,针对传统的UML即统一建模语言对信息系统业务流程的建模,无法严谨地定义和模拟信息系统的业务流程,不能保证流程本身的正确性和一致性等问题.以物流订单流程为例,研究BPMN表达业务流程及与形式化语言之间的转换,用形式化描述语言Pi演算描述和验证BPMN已描述的信息系统业务流程,通过JPDL直接定义出已通过Pi演算验证的订单流程,并应用于工作流引擎JBPM中,从而保证应用系统业务流程的正确性.
|
关 键 词: | 形式化建模 BPMN流程 JBPM引擎 |
本文献已被 万方数据 等数据库收录! |
|