CAJ | 학술논문

通过构建海域无人机监视监测业务流程形式化模型，为海域无人机监控与管理系统能够自适应可变的业务流程奠定基础。首先对比了各种业务流程建模方法的技术特点和适用场景，然后对海域无人机监视监测业务流程进行分析，提出了一种UML活动图转化为基于Petri网的工作流逻辑偶的方法，最后基于此方法对海域无人机监视监测业务流程进行建模。建模结果表明，该方法能有效地将海域无人机监视监测业务流程的分支、分叉以及汇合等流程逻辑转化为工作流逻辑偶，并且转化的结果满足良序性、良构性以及畅通性。
통과구건해역무인궤감시감측업무류정형식화모형，위해역무인궤감공여관리계통능구자괄응가변적업무류정전정기출。수선대비료각충업무류정건모방법적기술특점화괄용장경，연후대해역무인궤감시감측업무류정진행분석，제출료일충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.