IBM、Microsoft和BEA于2002年联合提出业务流程执行语言(Business Process Execution Language for Web Services,BPEL4WS或BPEL,后更新为WSBPEL)是用于在不改变Web Service正常运行的情况下,将多个Web Service集成起来创造出新的业务...IBM、Microsoft和BEA于2002年联合提出业务流程执行语言(Business Process Execution Language for Web Services,BPEL4WS或BPEL,后更新为WSBPEL)是用于在不改变Web Service正常运行的情况下,将多个Web Service集成起来创造出新的业务模型和业务流程。但是开发BPEL应用是一项繁琐而枯燥的任务,业务流程建模和BPEL开发之间并没有建立直接的关系。在对UML和BPEL深入学习的基础上,提出通过构造型和键值方法扩展活动图,并采用扩展模型对业务流程建模,最后定义了UML模型到BPEL的映射。利用图形化方式开发BPEL业务流程具有开发速度快和易维护等优点。展开更多
With the growing popularity of data-intensive services on the Internet, the traditional process-centric model for business process meets challenges due to the lack of abilities to describe data semantics and dependenc...With the growing popularity of data-intensive services on the Internet, the traditional process-centric model for business process meets challenges due to the lack of abilities to describe data semantics and dependencies, resulting in the inflexibility of the design and implement for the processes. This paper proposes a novel data-aware business process model which is able to describe both explicit control flow and implicit data flow. Data model with dependencies which are formulated by Linear-time Temporal Logic(LTL) is presented, and their satisfiability is validated by an automaton-based model checking algorithm. Data dependencies are fully considered in modeling phase, which helps to improve the efficiency and reliability of programming during developing phase. Finally, a prototype system based on j BPM for data-aware workflow is designed using such model, and has been deployed to Beijing Kingfore heating management system to validate the flexibility, efficacy and convenience of our approach for massive coding and large-scale system management in reality.展开更多
文摘IBM、Microsoft和BEA于2002年联合提出业务流程执行语言(Business Process Execution Language for Web Services,BPEL4WS或BPEL,后更新为WSBPEL)是用于在不改变Web Service正常运行的情况下,将多个Web Service集成起来创造出新的业务模型和业务流程。但是开发BPEL应用是一项繁琐而枯燥的任务,业务流程建模和BPEL开发之间并没有建立直接的关系。在对UML和BPEL深入学习的基础上,提出通过构造型和键值方法扩展活动图,并采用扩展模型对业务流程建模,最后定义了UML模型到BPEL的映射。利用图形化方式开发BPEL业务流程具有开发速度快和易维护等优点。
基金supported by the National Natural Science Foundation of China (No. 61502043, No. 61132001)Beijing Natural Science Foundation (No. 4162042)BeiJing Talents Fund (No. 2015000020124G082)
文摘With the growing popularity of data-intensive services on the Internet, the traditional process-centric model for business process meets challenges due to the lack of abilities to describe data semantics and dependencies, resulting in the inflexibility of the design and implement for the processes. This paper proposes a novel data-aware business process model which is able to describe both explicit control flow and implicit data flow. Data model with dependencies which are formulated by Linear-time Temporal Logic(LTL) is presented, and their satisfiability is validated by an automaton-based model checking algorithm. Data dependencies are fully considered in modeling phase, which helps to improve the efficiency and reliability of programming during developing phase. Finally, a prototype system based on j BPM for data-aware workflow is designed using such model, and has been deployed to Beijing Kingfore heating management system to validate the flexibility, efficacy and convenience of our approach for massive coding and large-scale system management in reality.
