一种基于工作流逻辑偶的海域无人机监视监测业务流程建模方法

通过构建海域无人机监视监测业务流程形式化模型,为海域无人机监控与管理系统能够自适应可变的业务流程奠定基础。首先对比了各种业务流程建模方法的技术特点和适用场景,然后对海域无人机监视监测业务流程进行分析,提出了一种UML活动图转化为基于Petri网的工作流逻辑偶的方法,最后基于此方法对海域无人机监视监测业务流程进行建模。建模结果表明,该方法能有效地将海域无人机监视监测业务流程的分支、分叉以及汇合等流程逻辑转化为工作流逻辑偶,并且转化的结果满足良序性、良构性以及畅通性。