TY - GEN
T1 - An observational model for transactional calculus of services orchestration
AU - Li, Jing
AU - Zhu, Huibiao
AU - He, Jifeng
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/51849150753
U2 - 10.1007/978-3-540-85762-4_14
DO - 10.1007/978-3-540-85762-4_14
M3 - 会议稿件
AN - SCOPUS:51849150753
SN - 3540857613
SN - 9783540857617
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 201
EP - 215
BT - Theoretical Aspects of Computing - ICTAC 2008 - 5th International Colloquium, Proceedings
T2 - 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008
Y2 - 1 September 2008 through 3 September 2008
ER -