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.

목차

Abstract
 1. Introduction
 2. Motivation
 3. The Functional Similarity Computing
  3.1. Modeling Service Workflow
  3.2. The Consistency Verification
  3.3. Computing Similarity Degree
 4. Architecture Introduction
 5. Related Works
 6. Conclusion
 References

키워드

저자

• Xiaoxian Yang [ School of Management, Shanghai University, Shanghai, China / Shanghai Shang Da Hai Run Information System Co., Ltd, Shanghai, China ]
• Tao Yu [ School of Management, Shanghai University, Shanghai, China ]
• Huahu Xu [ School of Computer Engineering and Science, Shanghai University, China / Shanghai Shang Da Hai Run Information System Co., Ltd, Shanghai, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of u- and e- Service, Science and Technology

• 간기

  격월간

• pISSN

  2005-4246

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605