微信服务号

微信订阅号

2025年4月3日 7:58 星期四
首页 > 过刊浏览>2015年第26卷第3期 >584-599. DOI:10.13328/j.cnki.jos.004772
PDF HTML阅读 XML下载 导出引用 引用提醒
地理空间约束的业务流程建模方法
作者:
基金项目:

国家科技支撑计划(2012BAH01F02)


Business Process Modeling with Geospatial Constraints
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [14]
    • |
  • 相似文献
    • | | |
  • 文章评论
    摘要:

    明晰了受地理空间约束的业务流程的两个基本概念:地理位置与地理空间信息.首先,提出了地理空间约束思想,分析了地理空间约束的内涵,并在工作流元模型的知识基础上构建了地理空间约束的UML语义框架;其次,以形式化的方式提出了地理空间约束的业务流程建模方法(LAWF-net),并描述了LAWF-net模型转化为CPN可执行模型的规则,探讨了地理空间约束对流程建模的影响;最后,通过案例结合GIS系统来扩展CPN Tools,不仅验证了LAWF-net建模方法的可行性,而且实现了地理空间约束的业务流程的可视化.

    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.

    参考文献
    [1] De Leoni M, Adams M, Van Der Aalst WMP, Ter Hofstede AHM. Visual support for work assignment in process-aware information systems: Framework formalisation and implementation. Decision Support Systems, 2012,54(1):341-361. [doi: 10. 10 16/j.dss.2012.05.042]
    [2] Decker M. Modelling location-aware access control constraints for mobile workflows with UML activity diagrams. In: Proc. of the Mobile Ubiquitous Computing, Systems, Services and Technologies. Sliema: IEEE, 2009. 263-268. [doi: 10.1109/UBICOMM. 2009.30]
    [3] Decker M, Stürzel P, Klink S, Oberweis A. Location constraints for mobile workflows. In: Proc. of the Techniques and Applications for Mobile Commerce. Amsterdam: IOS Press, 2009. 93-103.
    [4] Zhang L, Zhao J, Jia WH, Liu YB. Location-Aware workflow modeling and soundness verification method based on Petri net. Computer Integrated Manufacturing Systems, 2012,18(8):1747-1756 (in Chinese with English abstract).
    [5] Rosemann M, Recker J, Flender C. Contextualization of business processes. Int'l Journal of Business Process Integration and Management, 2008,3(1):47-60.
    [6] Zhu GB, Zhu XW. A study on geospatial constrained process modeling using UML activity diagrams. In: Proc. of the Asia-Pacific Business Process Management Conf. Brisbane: Springer-Verlag, 2014. [doi: 10.1007/978-3-319-08222-6_5]
    [7] Zhu XW, Recker J, Zhu GB. Exploring location-dependencies in process modeling. Business Process Management Journal, 2014, 20(6):794-815. [doi: 10.1108/BPMJ-06-2013-0066]
    [8] Wan N. Research on some key techniques of context-aware computing [Ph.D. Thesis]. Beijing: Beijing University of Post and Telecommunication, 2007 (in Chinese with English abstract).
    [9] Van Der Aalst WM, Dustdar S. Process mining put into context. Internet Computing, IEEE, 2012,16(1):82-86. [doi: 10.1109/MIC. 2012.12]
    [10] Zhu XW, Zhu GB, Guan P. Exploring location-aware process management. In: Proc. of the Geo-Informatics in Resource Management and Sustainable Ecosystem. Springer-Verlag, 2013. [doi: 10.1007/978-3-642-41908-9_25]
    [11] Theobald DM. Topology revisited: Representing spatial relations. Int'l Journal of Geographical Information Science, 2001,15(8): 689-705. [doi: 10.1080/13658810110074519]
    [12] Wu CB, Lü GN. Spatial topological relationships: An overview and analysis. Journal of GeoInformation Science, 2010,12(4): 524-531 (in Chinese with English abstract).
    [13] Egenhofer MJ, Herring J. A mathematical framework for the definition of topological relationships. In: Proc. of the 4th Int'l Symp. on Spatial Data Handling. Zurich, 1990. 803-813.
    [14] Randell DA, Cui Z, Cohn AG. A spatial logic based on regions and connection. In: Proc. of the 3rd Int'l Conf. on Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, 1992.
    相似文献
    引证文献
引用本文

朱鑫伟,朱国宾,Seppe VANDEN BROUCKE.地理空间约束的业务流程建模方法.软件学报,2015,26(3):584-599

复制
分享
文章指标
  • 点击次数:5457
  • 下载次数: 6435
  • HTML阅读次数: 2357
  • 引用次数: 0
历史
  • 收稿日期:2014-07-01
  • 最后修改日期:2014-11-21
  • 在线发布日期: 2015-03-03
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19778409位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号