Research on Process Model and Well-formness Validation for Transactional Services Composition
REN Yi,GUAN Jian-bo,WU Quan-yuan,DAI Hua-dong,Wu Qing-bo
DOI: https://doi.org/10.3969/j.issn.1000-1220.2007.12.015
2007-01-01
Abstract:Due to heterogeneity and long running characteristics of composite services in loosely coupled environment,traditional transaction model is not suitable.In this paper,we proposed TSCPM,a process model for transactional services composition.TSCPM supports different recovery modes and policies.It precisely describes the semantics and state transitions of transactional services composition,and formally defines the concept of semantic atomicity.Based on TSCPM,we presented the formal definition of well-formness,and put forward iteration criterion,weak order criterion,recursive construction criterion for well-formness validation.We also proved the proposed criterions are necessary conditions for a well-formed transactional services composition.At last,a model checking based well-formness validation tool is presented.