引用本文:朱鑫伟,朱国宾,Seppe VANDEN BROUCKE.地理空间约束的业务流程建模方法.软件学报,2015,26(3):584-599
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览 6081次   下载 8037 本文二维码信息
码上扫一扫!
分享到: 微信 更多
地理空间约束的业务流程建模方法
朱鑫伟1, 朱国宾1, Seppe VANDEN BROUCKE2
1.武汉大学 国际软件学院, 湖北 武汉 430079;2.Research Center for Management Informatics, KU Leuven, Leuven 3000, Belgium
摘要:
明晰了受地理空间约束的业务流程的两个基本概念:地理位置与地理空间信息.首先,提出了地理空间约束思想,分析了地理空间约束的内涵,并在工作流元模型的知识基础上构建了地理空间约束的UML语义框架;其次,以形式化的方式提出了地理空间约束的业务流程建模方法(LAWF-net),并描述了LAWF-net模型转化为CPN可执行模型的规则,探讨了地理空间约束对流程建模的影响;最后,通过案例结合GIS系统来扩展CPN Tools,不仅验证了LAWF-net建模方法的可行性,而且实现了地理空间约束的业务流程的可视化.
关键词:  地理空间信息  业务流程建模  地理空间约束  LAWF-net
DOI:10.13328/j.cnki.jos.004772
分类号:
基金项目:国家科技支撑计划(2012BAH01F02)
Business Process Modeling with Geospatial Constraints
ZHU Xin-Wei1, ZHU Guo-Bin1, Seppe VANDEN BROUCKE2
1.International School of Software, Wuhan University, Wuhan 430079, China;2.Research Center for Management Informatics, KU Leuven, Leuven 3000, Belgium
Abstract:
This paper introduces a methodology towards enabling business process modeling with geographic and geospatial information. First, a comprehensive framework of geospatial constraints, formulated as a UML-based semantic model, is proposed. Next, a business process modeling language (LAWF-net) is designed to combine traditional control-flow constructs with the aforementioned geospatial constraints. To enable the execution of such models, a mapping to Coloured Petri Nets (CPN) is formulated. The proposed approach is implemented in the form of a CPN tool extension, and a case study is presented to show that the new approach is feasible in practice and can be combined and integrated with existing GIS systems.
Key words:  geospatial information  business process modeling  geospatial constraint  LAWF-net

引用本文:
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览次   下载  
分享到: 微信 更多
摘要:
关键词:  
DOI:
分类号:
基金项目:
Abstract:
Key words: