软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2015年
3期
584-599
,共16页
朱鑫伟%朱国宾%Seppe VANDEN BROUCKE
硃鑫偉%硃國賓%Seppe VANDEN BROUCKE
주흠위%주국빈%Seppe VANDEN BROUCKE
地理空间信息%业务流程建模%地理空间约束%LAWF-net
地理空間信息%業務流程建模%地理空間約束%LAWF-net
지리공간신식%업무류정건모%지리공간약속%LAWF-net
geospatial information%business process modeling%geospatial constraint%LAWF-net
明晰了受地理空间约束的业务流程的两个基本概念:地理位置与地理空间信息.首先,提出了地理空间约束思想,分析了地理空间约束的内涵,并在工作流元模型的知识基础上构建了地理空间约束的UML语义框架;其次,以形式化的方式提出了地理空间约束的业务流程建模方法(LAWF-net),并描述了LAWF-net模型转化为CPN可执行模型的规则,探讨了地理空间约束对流程建模的影响;最后,通过案例结合GIS系统来扩展CPN Tools,不仅验证了LAWF-net建模方法的可行性,而且实现了地理空间约束的业务流程的可视化.
明晰瞭受地理空間約束的業務流程的兩箇基本概唸:地理位置與地理空間信息.首先,提齣瞭地理空間約束思想,分析瞭地理空間約束的內涵,併在工作流元模型的知識基礎上構建瞭地理空間約束的UML語義框架;其次,以形式化的方式提齣瞭地理空間約束的業務流程建模方法(LAWF-net),併描述瞭LAWF-net模型轉化為CPN可執行模型的規則,探討瞭地理空間約束對流程建模的影響;最後,通過案例結閤GIS繫統來擴展CPN Tools,不僅驗證瞭LAWF-net建模方法的可行性,而且實現瞭地理空間約束的業務流程的可視化.
명석료수지리공간약속적업무류정적량개기본개념:지리위치여지리공간신식.수선,제출료지리공간약속사상,분석료지리공간약속적내함,병재공작류원모형적지식기출상구건료지리공간약속적UML어의광가;기차,이형식화적방식제출료지리공간약속적업무류정건모방법(LAWF-net),병묘술료LAWF-net모형전화위CPN가집행모형적규칙,탐토료지리공간약속대류정건모적영향;최후,통과안례결합GIS계통래확전CPN Tools,불부험증료LAWF-net건모방법적가행성,이차실현료지리공간약속적업무류정적가시화.