An Observational Model for Transactional Calculus of Services Orchestration

  • Authors:

  • Jing Li;Huibiao Zhu;Jifeng He

  • Affiliations:

  • Software Engineering Institute, East China Normal University, Shanghai, China 200062;Software Engineering Institute, East China Normal University, Shanghai, China 200062;Software Engineering Institute, East China Normal University, Shanghai, China 200062

  • Venue:
  • Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

The notion of web services orchestration provides a mean to specify a process model governing business rules to provide a value-added service. The task of building orchestrations requires mechanisms to deal with business transactions so as to truly increase the consistency and reliability of services. Business transactions have distinguishable features from traditional transactions, such as autonomous and interactive, so that it is highly suggested to be constructed by compensable transactions. In this paper, we formally address the problem for orchestrating services, with particular attention to the transaction issue. We enhance our past work t-calculus by expanding the descriptions of basic actions which include data computations and communications. On the other hand, the enriched calculus is equipped with an observational semantics which is more suitable to characterize transactions with several behavioral aspects. Under this model, we are able to investigate the equivalence relation for justifying algebraic laws, as well as refinement relation for supporting stepwise service development.