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.展开更多
A fuzzy model was presented to predict the weldment shape profile of submerged arc welds （SAW） including the shape of heat affected zone （HAZ）. The SAW bead-on-plates were welded by following a full factorial desi...A fuzzy model was presented to predict the weldment shape profile of submerged arc welds （SAW） including the shape of heat affected zone （HAZ）. The SAW bead-on-plates were welded by following a full factorial design matrix. The design matrix consisted of three levels of input welding process parameters. The welds were cross-sectioned and etched, and the zones were measured. A mapping technique was used to measure the various segments of the weld zones. These mapped zones were used to build a fuzzy logic model. The membership functions of the fuzzy model were chosen for the accurate prediction of the weld zone. The fuzzy model was further tested for a set of test case data. The weld zone predicted by the fuzzy logic model was compared with the experimentally obtained shape profiles and close agreement between the two was noted. The mapping technique developed for the weld zones and the fuzzy logiemodel earl be used for on-line control of the SAW process. From the SAW fuzzy logic model an estimation of the fusion and HAZ can also be developed.展开更多
基金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.
基金Supported by the IIT Roorkee Project under Grant No. FIG-A Scheme-A
文摘A fuzzy model was presented to predict the weldment shape profile of submerged arc welds （SAW） including the shape of heat affected zone （HAZ）. The SAW bead-on-plates were welded by following a full factorial design matrix. The design matrix consisted of three levels of input welding process parameters. The welds were cross-sectioned and etched, and the zones were measured. A mapping technique was used to measure the various segments of the weld zones. These mapped zones were used to build a fuzzy logic model. The membership functions of the fuzzy model were chosen for the accurate prediction of the weld zone. The fuzzy model was further tested for a set of test case data. The weld zone predicted by the fuzzy logic model was compared with the experimentally obtained shape profiles and close agreement between the two was noted. The mapping technique developed for the weld zones and the fuzzy logiemodel earl be used for on-line control of the SAW process. From the SAW fuzzy logic model an estimation of the fusion and HAZ can also be developed.
