The Research Of Business Process Analysis Technology Based On Sofl

With the emergence of Web services technology, in order to build the proper enterprise SOA-based application system, and how to right combine Web services and verification become the key steps of business process modeling. In business process modeling, Web service composition verification Web service composition can be found ahead of the problems to ensure the correct mix of services available and put into use, thereby improving the success rate of composite service execution and customer satisfaction. So, how effective analysis and design business processes become a research hotspot. As SOFL formal methods can provide us with a more rigorous and without losing the engineering method, so the method used in this paper to describe the work flow, workflow implementation is done by a combination of services. For services selecting of the functional requirements, it is important to verify whether the combination of the services the needs of users, if the design of work flow is verifiable, then we can determine whether the services portfolio that is consistent with the demand.This paper describes the work flow in terms of the design workflow abandoned the previous use of a specific workflow description language approach, but the first abstract core set of workflow, workflow description based on the core collection. Meanwhile, in order to adapt to different domains of the model, the core set of workflow based on the increase of extension methods. Theoretical knowledge related to the use SOFL formal description of the workflow, and proposes a formal method to review and verify the strict framework of the workflow. The framework can guide the user to check the work flow is designed data deficiencies, internal inconsistencies, incompleteness, and determine if it meets customer needs. In order to compatibility with existing workflow, this paper proposes the design can SOFL into BPEL workflow approach, which describes the use of formal methods to support the workflow can use the BPEL application server.