Predictive Business Process Monitoring(PBPM)is a significant research area in Business Process Management(BPM)aimed at accurately forecasting future behavioral events.At present,deep learning methods are widely cited ...Predictive Business Process Monitoring(PBPM)is a significant research area in Business Process Management(BPM)aimed at accurately forecasting future behavioral events.At present,deep learning methods are widely cited in PBPM research,but no method has been effective in fusing data information into the control flow for multi-perspective process prediction.Therefore,this paper proposes a process prediction method based on the hierarchical BERT and multi-perspective data fusion.Firstly,the first layer BERT network learns the correlations between different category attribute data.Then,the attribute data is integrated into a weighted event-level feature vector and input into the second layer BERT network to learn the impact and priority relationship of each event on future predicted events.Next,the multi-head attention mechanism within the framework is visualized for analysis,helping to understand the decision-making logic of the framework and providing visual predictions.Finally,experimental results show that the predictive accuracy of the framework surpasses the current state-of-the-art research methods and significantly enhances the predictive performance of BPM.展开更多
Enterprises are continuously aiming at improving the execution of processes to achieve a competitive edge.One of the established ways of improving process performance is to assign the most appropriate resources to eac...Enterprises are continuously aiming at improving the execution of processes to achieve a competitive edge.One of the established ways of improving process performance is to assign the most appropriate resources to each task of the process.However,evaluations of business process improvement approaches have established that a method that can guide decision-makers to identify the most appropriate resources for a task of process improvement in a structured way,is missing.It is because the relationship between resources and tasks is less understood and advancement in business process intelligence is also ignored.To address this problem an integrated resource classification framework is presenting that identifies competence,suitability,and preference as the relationship of task with resources.But,only the competence relationship of human resources with a task is presented in this research as a resource competence model.Furthermore,the competency calculation method is presented as a user guider layer for business process intelligencebased resource competence evaluation.The computed capabilities serve as a basic input for choosing the most appropriate resources for each task of the process.Applicability of method is illustrated through a heathcare case study.展开更多
Business process improvement is a systematic approach used by several organizations to continuously improve their quality of service.Integral to that is analyzing the current performance of each task of the process an...Business process improvement is a systematic approach used by several organizations to continuously improve their quality of service.Integral to that is analyzing the current performance of each task of the process and assigning the most appropriate resources to each task.In continuation of our previous work,we categorize resources into human and non-human resources.For instance,in the healthcare domain,human resources include doctors,nurses,and other associated staff responsible for the execution of healthcare activities;whereas the non-human resources include surgical and other equipment needed for execution.In this study,we contend that the two types of resources(human and non-human)have a different impact on the process performance,so their suitability should be measured differently.However,no work has been done to evaluate the suitability of non-human resources for the tasks of a process.Consequently,it becomes difficult to identify and subsequently overcome the inefficiencies caused by the non-human resources to the task.To address this problem,we present a three-step method to compute a suitability score of non-human resources for the task.As an evaluation of the proposed method,a healthcare case study is used to illustrate the applicability of the proposed method.Furthermore,we performed a controlled experiment to evaluate the usability of the proposed method.The encouraging response shows the usefulness of the proposed method.展开更多
Based on macroscopic and synthetic approaches, especially information entropy approach, the quantification of the flexible degree and order degree of business processes is studied. According to the outcome of above an...Based on macroscopic and synthetic approaches, especially information entropy approach, the quantification of the flexible degree and order degree of business processes is studied. According to the outcome of above analysis, a conceptual model of optimizing business processes is proposed which supports to construct dynamic stable business processes. The research above has been applied in project 863/SDDAC-CIMS, and achieved primary benefits.展开更多
Need of transformation of means of support of project financing for commercial banks is proved.The analysis and modeling of business processes of project management by the contextual chart and the chart of decompositi...Need of transformation of means of support of project financing for commercial banks is proved.The analysis and modeling of business processes of project management by the contextual chart and the chart of decomposition is carried out that allowed to describe the main stages of project financing.With use of tools of programming the business application of project management which will promote operational assessment on selection of introduced drafts is created.展开更多
Remaining time prediction of business processes plays an important role in resource scheduling and plan making.The structural features of single process instance and the concurrent running of multiple process instance...Remaining time prediction of business processes plays an important role in resource scheduling and plan making.The structural features of single process instance and the concurrent running of multiple process instances are the main factors that affect the accuracy of the remaining time prediction.Existing prediction methods does not take full advantage of these two aspects into consideration.To address this issue,a new prediction method based on trace representation is proposed.More specifically,we first associate the prefix set generated by the event log to different states of the transition system,and encode the structural features of the prefixes in the state.Then,an annotation containing the feature representation for the prefix and the corresponding remaining time are added to each state to obtain an extended transition system.Next,states in the extended transition system are partitioned by the different lengths of the states,which considers concurrency among multiple process instances.Finally,the long short-term memory(LSTM)deep recurrent neural networks are applied to each partition for predicting the remaining time of new running instances.By extensive experimental evaluation using synthetic event logs and reallife event logs,we show that the proposed method outperforms existing baseline methods.展开更多
The basic requirements of "business process walkthrough" method were clarified and the diagnostic way of process problem of enterprise was discussed. The business process problems can be summarized as proces...The basic requirements of "business process walkthrough" method were clarified and the diagnostic way of process problem of enterprise was discussed. The business process problems can be summarized as process structure defects, lack of supporting mechanisms and lack of supporting system. The business urgency-expected return matrix scoring method, which can effectively sort the importance of the process problems was also analyzed. The implementation method and key elements of process optimization were discussed, and the evaluation index system of process optimization was also constructed. The continuous customer-oriented business process optimization can effectively improve the quality of the process operation and enhance the level of enterprise operation management.展开更多
Cities are facing challenges of high rise in population number and con-sequently need to be equipped with latest smart services to provide luxuries of life to its residents.Smart integrated solutions are also a need t...Cities are facing challenges of high rise in population number and con-sequently need to be equipped with latest smart services to provide luxuries of life to its residents.Smart integrated solutions are also a need to deal with the social and environmental challenges,caused by increasing urbanization.Currently,the development of smart services’integrated network,within a city,is facing the bar-riers including;less efficient collection and sharing of data,along with inadequate collaboration of software and hardware.Aiming to resolve these issues,this paper recommended a solution for a synchronous functionality in the smart services’integration process through modeling technique.Using this integration modeling solution,atfirst,the service participants,processes and tasks of smart services are identified and then standard illustrations are developed for the better understand-ing of the integrated service group environment.Business process modeling and notation(BPMN)language based models are developed and discussed for a devised case study,to test and experiment i.e.,for remote healthcare from a smart home.The research is concluded with the integration process model application for the required data sharing among different service groups.The outcomes of the modeling are better understanding and attaining maximum automation that can be referenced and replicated.展开更多
This paper aims at providing an effective modeling methods for more and more mobile business applications.First a high level Petri nets method-Xml nets is introduced,which combines the advantage of Petri nets and XML....This paper aims at providing an effective modeling methods for more and more mobile business applications.First a high level Petri nets method-Xml nets is introduced,which combines the advantage of Petri nets and XML.Petri nets have strict mathematics and intuitionistic diagram expression way,rich system describing means and system behavior analytical technology,and the related powerful supporting tools.XML,as an extensible markup language,is already a information description de facto standard.XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively,which consequently enables the analysis and optimization of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the Petri nets tools to improve the system execution efficiency.In this paper,to demonstrate the modeling of the controlling flow and data flow of mobile business process,an instrument repair business case is modeled with XML nets.展开更多
Iterative control structures allow the repeated execution of tasks,activities or sub-processes according to the given conditions in a process model.Iterative control structures can significantly increase the risk of t...Iterative control structures allow the repeated execution of tasks,activities or sub-processes according to the given conditions in a process model.Iterative control structures can significantly increase the risk of triggering temporal exceptions since activities within the scope of these control structures could be repeatedly executed until a predefined condition is met.In this paper,we propose two approaches to unravel iterative control structures from process models.The first approach unravels loops based on zero-one principle.The second approach unravels loops based on branching probabilities assigned at split gateways.The proposed methods can be used to unfold structured loops,nested loops and crossing loops.Since the unfolded model does not contain any iterative control structures,it can be used for further analysis by process designers during the modeling phase.The proposed methods are implemented based on workflow graphs,and therefore they are compatible with modeling languages such as Business Process Modelling Notation(BPMN).In the experiments,the execution behavior of unfolded process models is compared against the original models based on the concept of runs.Experimental results reveal that runs generated from the original models can be correctly executed in the unfolded BPMN models that do not contain any loops.展开更多
The need for the analysis of modern businesses is rapidly increasing as the supporting enterprise systems generate more and more data.This data can be extremely valuable for executing organizations because the data al...The need for the analysis of modern businesses is rapidly increasing as the supporting enterprise systems generate more and more data.This data can be extremely valuable for executing organizations because the data allows constant monitoring,analyzing,and improving the underlying processes,which leads to the reduction of cost and the improvement of the quality.Process mining is a useful technique for analyzing enterprise systems by using an event log that contains behaviours.This research focuses on the process discovery and refinement using real-life event log data collected from a large multinational organization that deals with coatings and paints.By investigating and analyzing their order handling pro-cesses,this study aims at learning a model that gives insight inspection of the processes and performance analysis.Furthermore,the animation is also performed for the better inspection,diagnostics,and compliance-related questions to specify the system.The configuration of the system and the conformance checking for further enhancement is also addressed in this research.To achieve the objectives,this research uses process mining techniques,i.e.process discovery in the form of formal Petri nets models with the help of process maps,and process refinement through conformance checking and enhancement.Initially,the identified executed process is reconstructed by using the process discovery techniques.Following the reconstruction,we perform a deep analysis for the underlying process to ensure the process improvement and redesigning.Finally,some recommendations are made to improve the enterprise management system processes.展开更多
Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principle...Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principles of the model were presented to guarantee the correctness and efficiency for process transformation.As a case study,the EPEM descriptions of Web Services Business Process Execution Language(WS-BPEL) were represented and a Process Virtual Machine(PVM)-OncePVM was implemented in compliance with the EPEM.展开更多
Through the process analysis of cold chain logistics of agricultural products,we find that cold chain logistics of agricultural products contradict the development model of low-carbon economy to some extent.We apply t...Through the process analysis of cold chain logistics of agricultural products,we find that cold chain logistics of agricultural products contradict the development model of low-carbon economy to some extent.We apply the development idea of low-carbon economy,introduce the thirdparty logistics companies,establish distribution center of cold chain logistics of agricultural products,and strengthen information sharing,to reengineer the process of cold chain logistics of agricultural products in China.The results show that applying low-carbon economy to process reengineering of cold chain logistics of agricultural products,has advantages of increasing added value of products,promoting scale merit and abating lag,plays a role in promoting emission reduction,high efficiency and environmental protection in the process of cold chain logistics of agricultural products in China.展开更多
E-supply chain is the trend of the supply chain ma na gement. However, building E-supply chain depends on business process improvemen t and re-engineering, which becomes one of the important aspects in supply chai n m...E-supply chain is the trend of the supply chain ma na gement. However, building E-supply chain depends on business process improvemen t and re-engineering, which becomes one of the important aspects in supply chai n management. However, the supply chain process re-engineering and improvement is constrained because of lack of integrating operation framework and standards based on information management. We find that the idea of CALS origins from DoD of USA can solve the problems very well. CALS is the abbreviation of "continues acquisition and life- cycle support". It is an information strategy adopted by many developed counties. The final objective of the CALS is that government a nd industry can generate, exchange, manage and use all the digital information t hroughout the lifecycle of a product in virtue of adopting the international and national standards, improving existing business process and introducing advance d technology. The Integrated Digital Environment (IDE) created by CALS provides a brand new operation mode for consumer, contractor and supplier in supply chain . Besides, a series mutual standard is involved in CALS system. These standards and the standardization technology would be applied widely in the supply chain. This study mainly focuses on supply chain process in CALS environment, and puts forward a framework model of supply chain process. Then the study analyzes the c haracteristics of the model, which includes the application of standards and inf ormation technology, and finally discusses on methods to achieve the supply chai n process in CALS environment.展开更多
activities.Ex-periments on a synthetic log of the non-secondary hy-pertension MTP and empirical findings demonstrate the effectiveness of our approach.The results show that the process mining in our approach framework...activities.Ex-periments on a synthetic log of the non-secondary hy-pertension MTP and empirical findings demonstrate the effectiveness of our approach.The results show that the process mining in our approach framework can automatically generate more accurate MTP mod-els,and the subprocess models based on treatment pat-terns make the models easy to understand.展开更多
In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and eval...In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and evaluation of supply chain business process model is proposed.Firstly,the description of the uncertainty of node enterprise behavior is given using the extended Unified Modeling Language sequence diagram,and mapping rule is defined from the extended Unified Modeling Language sequence diagram to stochastic process algebra.Secondly,on the basis of the acquired stochastic process algebra model,the supply chain business process model is verified with Mobility Workbench.Finally,according to the operational semantics of stochastic process algebra,the continuous-time Markov chain,isomorphic with stochastic process algebra model,is built; and the system performance evaluation of transient status and stable status is respectively conducted in accordance with Markov transfer relations and the current state of system,obtaining the predicted performance value and average performance index value for a specific period of time.The simulation experiments show that the proposed method can accurately describe the stochastic behaviors of supply chain system and interactions among nodes,effectively verify the validity of the model,and objectively and exactly evaluate design of the supply chain.展开更多
The development of information technology allows the collaborative business process to be run across multiple enterprises in a larger market environment.However,while collaborative business expands the realm of busine...The development of information technology allows the collaborative business process to be run across multiple enterprises in a larger market environment.However,while collaborative business expands the realm of businesses,it also causes various hazards in collaborative Interaction,such as data falsification,inconstancy,andmisuse.To solve these issues,a blockchainbased collaborative business modeling approach was proposed and analyzed.However,the existing studies lack the blockchain risk problem-solving specification,and there is no verification technique to examine the process.Consequently,it is difficult to confirm the appropriateness of the approach.Thus,here,we propose and build a blockchain-based trust model to strengthen and verify the integrity and security of the collaborative business process;Integrity and security address the validity of collaborative interactions in terms of a trust,and we construct a blockchain pattern based on trust elements to meet the required the characteristics.Specifically,a trust model can be applied to the healthcare data-sharing process,and then the achievement of the trustbased safe data-sharing process can be proven.Our model can be used as a trust-building guidance tool or for integrity and security verification with the collaborative business process in a distributed environment with blockchain.展开更多
The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and delivery logistics tha...The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and delivery logistics that exist between any two members of supply chain;moreover, we model other activities performed by the company such as manufacturing clothing. The model has been built to acquire a better understanding about the behavior of a textile company in the fulfillment of requests from costumers. The model has been built using CPN Tools. This model was built with modules for activities of the supply chain textile, e.g. receiving orders of customers, determination of production plan, procurement raw material, transportation of raw material, production and delivering products to customers. This modularized model offers some advantages to represent complex supply chains according to their structure and requirements. Thus, we can add modules easily depending on the necessary activities.展开更多
In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so o...In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.展开更多
Data-centric modeling approach for workflow specification and design has received considerable attention from research and development communities.An architecture for a workflow management system named EZFLOWS was out...Data-centric modeling approach for workflow specification and design has received considerable attention from research and development communities.An architecture for a workflow management system named EZFLOWS was outlined.Key components and research issues associated with the development of EZFLOWS were discussed.展开更多
基金Supported by the National Natural Science Foundation,China(No.61402011)the Open Project Program of the Key Laboratory of Embedded System and Service Computing of Ministry of Education(No.ESSCKF2021-05).
文摘Predictive Business Process Monitoring(PBPM)is a significant research area in Business Process Management(BPM)aimed at accurately forecasting future behavioral events.At present,deep learning methods are widely cited in PBPM research,but no method has been effective in fusing data information into the control flow for multi-perspective process prediction.Therefore,this paper proposes a process prediction method based on the hierarchical BERT and multi-perspective data fusion.Firstly,the first layer BERT network learns the correlations between different category attribute data.Then,the attribute data is integrated into a weighted event-level feature vector and input into the second layer BERT network to learn the impact and priority relationship of each event on future predicted events.Next,the multi-head attention mechanism within the framework is visualized for analysis,helping to understand the decision-making logic of the framework and providing visual predictions.Finally,experimental results show that the predictive accuracy of the framework surpasses the current state-of-the-art research methods and significantly enhances the predictive performance of BPM.
文摘Enterprises are continuously aiming at improving the execution of processes to achieve a competitive edge.One of the established ways of improving process performance is to assign the most appropriate resources to each task of the process.However,evaluations of business process improvement approaches have established that a method that can guide decision-makers to identify the most appropriate resources for a task of process improvement in a structured way,is missing.It is because the relationship between resources and tasks is less understood and advancement in business process intelligence is also ignored.To address this problem an integrated resource classification framework is presenting that identifies competence,suitability,and preference as the relationship of task with resources.But,only the competence relationship of human resources with a task is presented in this research as a resource competence model.Furthermore,the competency calculation method is presented as a user guider layer for business process intelligencebased resource competence evaluation.The computed capabilities serve as a basic input for choosing the most appropriate resources for each task of the process.Applicability of method is illustrated through a heathcare case study.
文摘Business process improvement is a systematic approach used by several organizations to continuously improve their quality of service.Integral to that is analyzing the current performance of each task of the process and assigning the most appropriate resources to each task.In continuation of our previous work,we categorize resources into human and non-human resources.For instance,in the healthcare domain,human resources include doctors,nurses,and other associated staff responsible for the execution of healthcare activities;whereas the non-human resources include surgical and other equipment needed for execution.In this study,we contend that the two types of resources(human and non-human)have a different impact on the process performance,so their suitability should be measured differently.However,no work has been done to evaluate the suitability of non-human resources for the tasks of a process.Consequently,it becomes difficult to identify and subsequently overcome the inefficiencies caused by the non-human resources to the task.To address this problem,we present a three-step method to compute a suitability score of non-human resources for the task.As an evaluation of the proposed method,a healthcare case study is used to illustrate the applicability of the proposed method.Furthermore,we performed a controlled experiment to evaluate the usability of the proposed method.The encouraging response shows the usefulness of the proposed method.
文摘Based on macroscopic and synthetic approaches, especially information entropy approach, the quantification of the flexible degree and order degree of business processes is studied. According to the outcome of above analysis, a conceptual model of optimizing business processes is proposed which supports to construct dynamic stable business processes. The research above has been applied in project 863/SDDAC-CIMS, and achieved primary benefits.
文摘Need of transformation of means of support of project financing for commercial banks is proved.The analysis and modeling of business processes of project management by the contextual chart and the chart of decomposition is carried out that allowed to describe the main stages of project financing.With use of tools of programming the business application of project management which will promote operational assessment on selection of introduced drafts is created.
基金supported by National Natural Science Foundation of China(No.U1931207 and No.61702306)Sci.&Tech.Development Fund of Shandong Province of China(No.ZR2019LZH001,No.ZR2017BF015 and No.ZR2017MF027)+4 种基金the Humanities and Social Science Research Project of the Ministry of Education(No.18YJAZH017)Shandong Chongqing Science and technology cooperation project(No.cstc2020jscx-lyjsAX0008)Sci.&Tech.Development Fund of Qingdao(No.21-1-5-zlyj-1-zc)the Taishan Scholar Program of Shandong ProvinceSDUST Research Fund(No.2015TDJH102 and No.2019KJN024).
文摘Remaining time prediction of business processes plays an important role in resource scheduling and plan making.The structural features of single process instance and the concurrent running of multiple process instances are the main factors that affect the accuracy of the remaining time prediction.Existing prediction methods does not take full advantage of these two aspects into consideration.To address this issue,a new prediction method based on trace representation is proposed.More specifically,we first associate the prefix set generated by the event log to different states of the transition system,and encode the structural features of the prefixes in the state.Then,an annotation containing the feature representation for the prefix and the corresponding remaining time are added to each state to obtain an extended transition system.Next,states in the extended transition system are partitioned by the different lengths of the states,which considers concurrency among multiple process instances.Finally,the long short-term memory(LSTM)deep recurrent neural networks are applied to each partition for predicting the remaining time of new running instances.By extensive experimental evaluation using synthetic event logs and reallife event logs,we show that the proposed method outperforms existing baseline methods.
文摘The basic requirements of "business process walkthrough" method were clarified and the diagnostic way of process problem of enterprise was discussed. The business process problems can be summarized as process structure defects, lack of supporting mechanisms and lack of supporting system. The business urgency-expected return matrix scoring method, which can effectively sort the importance of the process problems was also analyzed. The implementation method and key elements of process optimization were discussed, and the evaluation index system of process optimization was also constructed. The continuous customer-oriented business process optimization can effectively improve the quality of the process operation and enhance the level of enterprise operation management.
文摘Cities are facing challenges of high rise in population number and con-sequently need to be equipped with latest smart services to provide luxuries of life to its residents.Smart integrated solutions are also a need to deal with the social and environmental challenges,caused by increasing urbanization.Currently,the development of smart services’integrated network,within a city,is facing the bar-riers including;less efficient collection and sharing of data,along with inadequate collaboration of software and hardware.Aiming to resolve these issues,this paper recommended a solution for a synchronous functionality in the smart services’integration process through modeling technique.Using this integration modeling solution,atfirst,the service participants,processes and tasks of smart services are identified and then standard illustrations are developed for the better understand-ing of the integrated service group environment.Business process modeling and notation(BPMN)language based models are developed and discussed for a devised case study,to test and experiment i.e.,for remote healthcare from a smart home.The research is concluded with the integration process model application for the required data sharing among different service groups.The outcomes of the modeling are better understanding and attaining maximum automation that can be referenced and replicated.
基金Supported by the Beijing Natural Science Foundation(9133020)the National Natural Science Foundation of China(70972007)+1 种基金National Sciences Foundation Committee and General Administration of Civil Aviation of China(60672180)Beijing Municipal Natural Science Foundation(9102015)
文摘This paper aims at providing an effective modeling methods for more and more mobile business applications.First a high level Petri nets method-Xml nets is introduced,which combines the advantage of Petri nets and XML.Petri nets have strict mathematics and intuitionistic diagram expression way,rich system describing means and system behavior analytical technology,and the related powerful supporting tools.XML,as an extensible markup language,is already a information description de facto standard.XML nets could be utilized to model both the controlling flow and the data flow of mobile business process effectively,which consequently enables the analysis and optimization of the mobile business processes and could be utilized to simulate the execution of the mobile business process with the Petri nets tools to improve the system execution efficiency.In this paper,to demonstrate the modeling of the controlling flow and data flow of mobile business process,an instrument repair business case is modeled with XML nets.
基金The work was supported by University of Macao under Grant No. MYRG2019-00136-FST。
文摘Iterative control structures allow the repeated execution of tasks,activities or sub-processes according to the given conditions in a process model.Iterative control structures can significantly increase the risk of triggering temporal exceptions since activities within the scope of these control structures could be repeatedly executed until a predefined condition is met.In this paper,we propose two approaches to unravel iterative control structures from process models.The first approach unravels loops based on zero-one principle.The second approach unravels loops based on branching probabilities assigned at split gateways.The proposed methods can be used to unfold structured loops,nested loops and crossing loops.Since the unfolded model does not contain any iterative control structures,it can be used for further analysis by process designers during the modeling phase.The proposed methods are implemented based on workflow graphs,and therefore they are compatible with modeling languages such as Business Process Modelling Notation(BPMN).In the experiments,the execution behavior of unfolded process models is compared against the original models based on the concept of runs.Experimental results reveal that runs generated from the original models can be correctly executed in the unfolded BPMN models that do not contain any loops.
文摘The need for the analysis of modern businesses is rapidly increasing as the supporting enterprise systems generate more and more data.This data can be extremely valuable for executing organizations because the data allows constant monitoring,analyzing,and improving the underlying processes,which leads to the reduction of cost and the improvement of the quality.Process mining is a useful technique for analyzing enterprise systems by using an event log that contains behaviours.This research focuses on the process discovery and refinement using real-life event log data collected from a large multinational organization that deals with coatings and paints.By investigating and analyzing their order handling pro-cesses,this study aims at learning a model that gives insight inspection of the processes and performance analysis.Furthermore,the animation is also performed for the better inspection,diagnostics,and compliance-related questions to specify the system.The configuration of the system and the conformance checking for further enhancement is also addressed in this research.To achieve the objectives,this research uses process mining techniques,i.e.process discovery in the form of formal Petri nets models with the help of process maps,and process refinement through conformance checking and enhancement.Initially,the identified executed process is reconstructed by using the process discovery techniques.Following the reconstruction,we perform a deep analysis for the underlying process to ensure the process improvement and redesigning.Finally,some recommendations are made to improve the enterprise management system processes.
文摘Current orchestration and choreography process engines only serve with dedicate process languages.To solve these problems,an Event-driven Process Execution Model(EPEM) was developed.Formalization and mapping principles of the model were presented to guarantee the correctness and efficiency for process transformation.As a case study,the EPEM descriptions of Web Services Business Process Execution Language(WS-BPEL) were represented and a Process Virtual Machine(PVM)-OncePVM was implemented in compliance with the EPEM.
文摘Through the process analysis of cold chain logistics of agricultural products,we find that cold chain logistics of agricultural products contradict the development model of low-carbon economy to some extent.We apply the development idea of low-carbon economy,introduce the thirdparty logistics companies,establish distribution center of cold chain logistics of agricultural products,and strengthen information sharing,to reengineer the process of cold chain logistics of agricultural products in China.The results show that applying low-carbon economy to process reengineering of cold chain logistics of agricultural products,has advantages of increasing added value of products,promoting scale merit and abating lag,plays a role in promoting emission reduction,high efficiency and environmental protection in the process of cold chain logistics of agricultural products in China.
文摘E-supply chain is the trend of the supply chain ma na gement. However, building E-supply chain depends on business process improvemen t and re-engineering, which becomes one of the important aspects in supply chai n management. However, the supply chain process re-engineering and improvement is constrained because of lack of integrating operation framework and standards based on information management. We find that the idea of CALS origins from DoD of USA can solve the problems very well. CALS is the abbreviation of "continues acquisition and life- cycle support". It is an information strategy adopted by many developed counties. The final objective of the CALS is that government a nd industry can generate, exchange, manage and use all the digital information t hroughout the lifecycle of a product in virtue of adopting the international and national standards, improving existing business process and introducing advance d technology. The Integrated Digital Environment (IDE) created by CALS provides a brand new operation mode for consumer, contractor and supplier in supply chain . Besides, a series mutual standard is involved in CALS system. These standards and the standardization technology would be applied widely in the supply chain. This study mainly focuses on supply chain process in CALS environment, and puts forward a framework model of supply chain process. Then the study analyzes the c haracteristics of the model, which includes the application of standards and inf ormation technology, and finally discusses on methods to achieve the supply chai n process in CALS environment.
基金Chinese National Key Research and Development Program(No.2017YFB1400604).
文摘activities.Ex-periments on a synthetic log of the non-secondary hy-pertension MTP and empirical findings demonstrate the effectiveness of our approach.The results show that the process mining in our approach framework can automatically generate more accurate MTP mod-els,and the subprocess models based on treatment pat-terns make the models easy to understand.
基金Sponsored by the National High-Tech.R&D Program for CIMS,China(Grant No.2007AA04Z146)
文摘In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and evaluation of supply chain business process model is proposed.Firstly,the description of the uncertainty of node enterprise behavior is given using the extended Unified Modeling Language sequence diagram,and mapping rule is defined from the extended Unified Modeling Language sequence diagram to stochastic process algebra.Secondly,on the basis of the acquired stochastic process algebra model,the supply chain business process model is verified with Mobility Workbench.Finally,according to the operational semantics of stochastic process algebra,the continuous-time Markov chain,isomorphic with stochastic process algebra model,is built; and the system performance evaluation of transient status and stable status is respectively conducted in accordance with Markov transfer relations and the current state of system,obtaining the predicted performance value and average performance index value for a specific period of time.The simulation experiments show that the proposed method can accurately describe the stochastic behaviors of supply chain system and interactions among nodes,effectively verify the validity of the model,and objectively and exactly evaluate design of the supply chain.
基金This work was supported in part by a grant of the Korea Health Technology R&D Project through the Korea Health Industry Development Institute(KHIDI),funded by the Ministry of Health&Welfare,Republic of Korea(Grant Number:HI19C0870)in part by Korea Institute for Advancement of Technology(KIAT)grant funded by the Korea Government(MOTIE)(P0012724,The Competency Development Program for Industry Specialist)。
文摘The development of information technology allows the collaborative business process to be run across multiple enterprises in a larger market environment.However,while collaborative business expands the realm of businesses,it also causes various hazards in collaborative Interaction,such as data falsification,inconstancy,andmisuse.To solve these issues,a blockchainbased collaborative business modeling approach was proposed and analyzed.However,the existing studies lack the blockchain risk problem-solving specification,and there is no verification technique to examine the process.Consequently,it is difficult to confirm the appropriateness of the approach.Thus,here,we propose and build a blockchain-based trust model to strengthen and verify the integrity and security of the collaborative business process;Integrity and security address the validity of collaborative interactions in terms of a trust,and we construct a blockchain pattern based on trust elements to meet the required the characteristics.Specifically,a trust model can be applied to the healthcare data-sharing process,and then the achievement of the trustbased safe data-sharing process can be proven.Our model can be used as a trust-building guidance tool or for integrity and security verification with the collaborative business process in a distributed environment with blockchain.
文摘The purpose of this paper is to describe the business process modeling and simulation of a textile supply chain using Colored Petri nets. Our model takes into account both the source process and delivery logistics that exist between any two members of supply chain;moreover, we model other activities performed by the company such as manufacturing clothing. The model has been built to acquire a better understanding about the behavior of a textile company in the fulfillment of requests from costumers. The model has been built using CPN Tools. This model was built with modules for activities of the supply chain textile, e.g. receiving orders of customers, determination of production plan, procurement raw material, transportation of raw material, production and delivering products to customers. This modularized model offers some advantages to represent complex supply chains according to their structure and requirements. Thus, we can add modules easily depending on the necessary activities.
基金supported in part by the National Key R&D Program of China(2017YFB1001804)Shanghai Science and Technology Innovation Action Plan Project(16511100900)
文摘In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.
基金Project supported by the NSF(No.IIS-0812578),the Grant from IBM to UCSB,and the Grant from China Scholarship Council
文摘Data-centric modeling approach for workflow specification and design has received considerable attention from research and development communities.An architecture for a workflow management system named EZFLOWS was outlined.Key components and research issues associated with the development of EZFLOWS were discussed.