Formal Analysis And Verification Of Business Process In E - Commerce Environment

The rapid development of computer network is widely used in various fields, isleading a profound transformation of society and the economy. Computer networks havebecome people live and work in an integral part of computer-based network of"e-business" is developing rapidly. With the extensive application of informationtechnology and the rapid development of e-commerce, traditional business processescannot meet the development needs of the new enterprise. Business process design,modeling, optimization, restructuring and coupling gradually become a hot topic, inorder to ensure safe, reliable and efficient business processes to be described by meansof strict formal methods and validation of business processes. Contemporary businessenvironment to adapt to e-commerce, e-business must make business processes in linewith the characteristics of the environment business processes, business process formalanalysis of e-business environment is very necessary.At home and abroad but also a lack of formal analysis methods for accurate andautomated verification system for e-commerce environment, business processes, thetopics studied systematically analyze the characteristics of e-commerce environmentsunder increasingly dynamic business processes, concurrency, flexible and cross-organization study how the behavior of these new features introduced temporal logic ofTLA extend business processes can enrich the theoretical system of formal methods.Introduces Petri nets, Petri nets how to extend the analysis to the TLA, and proposefurther extensions. Describer the feasibility of further expansion of the business processexecution language BPEL and BPEL how to extend the analysis of the TLA. This articleuses the temporal logic TLA behavioral modeling and simulation methods andautomatic model checking tools, e-commerce environment for business processescarried out under formal analysis and verification of business processes for enterprisesto provide a theoretical basis and technical support recycling, enrich and developbusiness Process formal analysis and automatic verification method theoretical systemfor increasingly complex and dynamic business process analysis verification to providenew ideas and new methods that can assist corporate research design efficient andreliable business processes, create greater economic benefits for the enterprise.