事务性服务组合的过程模型及良构性判定

松散耦合环境中服务组合的组成服务具有异构性,且对应业务过程生命期较长.针对已有研究不足,提出了事务性服务组合过程模型TSCPM,该模型支持服务的多种恢复模式和恢复策略,准确描述了事务性服务组合执行语义和状态转换,给出了语义原子性的形式化定义.基于该模型,刻画了良构性及其循环、弱序及递归构造判定准则,证明了符合判定准则是一个事务性服务组合满足良构性的必要条件,给出了基于模型检测的良构性判定方法.

Research on Process Model and Well-formness Validation for Transactional Services Composition

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.