期刊文献+

基于分布式业务流程模型的建模方法分析 被引量:2

Analysis on the function of the model creating based on the distributed business process model
在线阅读 下载PDF
导出
摘要 本文主要分析了在以Web Services为基础创建业务流程模型的过程中,如何进行分布式业务流程的元模型定义与模型中的消息管理及其方法,从而方便企业的业务整合,以实现企业资源的优化配置,从而适应复杂多变的商务环境。 This paper analyses how to design the cell-model of business process model and the message management during the course of business process model creating which based on the web services. So that the enterprises can reform their business conveniently, optimize the allocation of enterprises' resources and adapt the polytropic business environment.
作者 张虎 李艳华
出处 《农业网络信息》 2008年第9期66-68,72,共4页 Agriculture Network Information
关键词 业务流程管理(BPM) 建模 消息管理 Business process model (BPM) Model design Message management
作者简介 张虎(1974-),男,讲师,硕士,研究方向:计算机软件理论的研究、软件开发、单片机的开发和应用。
  • 相关文献

参考文献5

二级参考文献32

  • 1葛声 胡春明 杜宗霞 等.基于Web服务的应用支撑环境研究与实现[J].电子学报,.
  • 2Koehler J., Srivastava B. Web service composition: Current solutions and open problems. In: Proceedings of the 13th International Conference on Automated Planning & Scheduling, Trento, Italy, 2003, 28~35
  • 3Milner R. Communication and Concurrency. Englewood Cliffs: Prentice -Hall, 1989
  • 4Fensel D. The semantic web and its languages. IEEE Intelligent Systems, 2000, 15(6): 67~73
  • 5Milner R. Communicating and Mobile Systems: The Pi-Calculus. Cambridge: Cambridge University Press, 1999
  • 6Milner R., Parrow J., Walker D. A calculus of mobile processes, part I/II. Journal of Information and Computation, 1992, 100(1): 1~77
  • 7Lin Hui-Min. Complete proof systems for observation congruences in finite control pi-calculus. In: Proceedings of the 25th International Colloquium on Automata, Languages and Programming, Aalborg, Denmark, 1998, 443~454
  • 8Jiao Wen-Pin, Zhou Ming-Hui, Wang Qian-Xiang. Formal framework for adaptive multi-agent Systems. In: Proceedings of IEEE/WIC International Conference on Intelligent Agent Technology, Halifax, Canada, 2003, 442~445
  • 9Markus Lumpe. A Pi-calculus based approach to software composition [Ph.D. dissertation]. Institute of Computer Science and Applied Mathematics, University of Bern, Switzerland, 1999
  • 10Orava F., Parrow J. An algebraic verification of a mobile network. Formal Aspect of Computing, 1992, 4(6): 497~543

共引文献194

同被引文献7

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部