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

A Modeling Method for the Monitoring and Observing Process of Ocean UAV Based on the Workflow Logic Pair

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

Through the establishment of the formalized model for the monitoring and observing process of ocean UAV, the monitoring and management system of UAV will be capable of adapting itself to variable operational process. This paper firstly introduces and compares some methods for operational process modeling in the aspects of technological features and application scope, and then analyzes the monitoring and observing process of UAV. A method is presented used to transform the UML activity diagram to the workflow logic pair based on the Petri network. Finally, with this method, the modeling task is conducted for ocean monitoring and observing by UAV. The results indicate that this method can effectively transform the branching node, fork node and join node of the UML activity diagram to workflow logic pairs, meeting the demands of good order, well-designed structure and smooth communication.