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.展开更多
For China’s telecom industry,2009 is destined to be an extraordinary year due to the approach of long-thirsted-for mobile 3G era,which will have significant impact on current work and lifestyles.2009 will also be a y...For China’s telecom industry,2009 is destined to be an extraordinary year due to the approach of long-thirsted-for mobile 3G era,which will have significant impact on current work and lifestyles.2009 will also be a year full of opportunities and challenges because the coming 3G era will bring limitless business opportunities and impose more challenges on Chinese telecom operators.The reshuffling of Chinese telecom markets has been brought to an end.The new China Unicom,China Mobile and China Telecom all focus their strategies on broadband mobile data services in order to achieve the objective of a smooth transforming from voice services to data services.Technologically,various 3G technologies and their evolutions become great concerns of telecom operators;while in terms of services,the key for 3G systems is their data services.As a result,high speed broadband data services see an era of rapid development.展开更多
基金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.
文摘For China’s telecom industry,2009 is destined to be an extraordinary year due to the approach of long-thirsted-for mobile 3G era,which will have significant impact on current work and lifestyles.2009 will also be a year full of opportunities and challenges because the coming 3G era will bring limitless business opportunities and impose more challenges on Chinese telecom operators.The reshuffling of Chinese telecom markets has been brought to an end.The new China Unicom,China Mobile and China Telecom all focus their strategies on broadband mobile data services in order to achieve the objective of a smooth transforming from voice services to data services.Technologically,various 3G technologies and their evolutions become great concerns of telecom operators;while in terms of services,the key for 3G systems is their data services.As a result,high speed broadband data services see an era of rapid development.
