Formal verification of stochastic timing behavior in web-based business process collaboration

  • Authors:

  • Haiyang Hu;Jianen Xie;JiDong Ge

  • Affiliations:

  • College of Computer Science, Hangzhou Dianzi Univ., Hangzhou, China and State Key Lab. for Novel Software Technology, Nanjing Univ., Nanjing, China and College of Computer Science and Inf. Eng., Z ...;College of Computer Science, Hangzhou Dianzi University, Hangzhou, China;State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China

  • Venue:
  • WAIM'10 Proceedings of the 2010 international conference on Web-age information management
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Web services-based systems have gained the attention of researchers, which enable business process system to automatically discovery and invocation suitable Web services at run time. In this paper, for stochastic- timing software business process collaboration based on Web services, we take into account the problem of verifying the behavioral compatibility in the cross-organizational system. We use the extended markovian process algebra to model the behavior of the business processes, and address the issue of formally verification of whether the behavior of system design can meet the requirements of behavioral compatibility from the aspect of stochastic timing. Based on analyzing the bisimulation relation of the parallelism of business processes, we present a several theorems for check the behavioral compatibility in the collaboration system.