earticle

영어

Service workflow is the new solution to applications integration, which aims to use Web service as activity to make the business logic executable. It adopts abstract business process with complex control structures to describe interactive behaviors among e-commerce systems. In general, the new workflow should be verified before deploying it to running environment or even updating it into the workflow repository. To compare new workflow with selected workflows, the functional similarity is requested to compute the similarity degree which has been an important research in business process management. However, existing works focus on business process modeling and structural similarity computing, which lacks of the functional similarity computing that the application failure may be reoccurred due to incorrect temporal operations. In this paper, we concern on the functional similarity issue of service workflow in order to provide functions with newly-added values. The consistency verification is employed to check the functional similarity between service workflows. First, two workflows are selected as verification model and requirement model respectively. Then, it proposes automaton model to formalize behaviors and interactions of new workflow. Third, the verification property in the form of temporal logic is generated from requirement model, which is used to automatically check the functional consistency in a qualitative way. Fourth, the functional similarity degree is computed according to verification results for the quantitative evaluation. Furthermore, the functional similarity aggregation is introduced to workflow recommendation based on Pearson formula. Finally, the architecture of our method is discussed to guide engineering practices.