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.展开更多
基金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.