摘要
为了更好地分析和验证Web服务组合,提出了一种描述服务间消息交互的Web服务组合数学模型.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及服务组合模式,并对消息交互逻辑进行了分析和实现,在此基础上,给出了服务组合模型的定义,并通过个体服务控制器、消息逻辑控制和全局控制算法实现了Web服务组合过程.该模型简洁灵活,具有可扩展性.实例分析表明,该模型能够对服务组合中的消息交互进行模拟.
A kind of mathematical model is introduced to describe the message interaction between services in Web service composition, which is useful for analyzing and verifying Web service composition. First, a formal model for single service is defined, and some attributes are discussed; then, several kinds of interaction logics between services are defined and the composition pattern is presented, the realization of the interaction logics is given at the same time. Based on them, the definition of Web service composition model is presented, and the process of Web service composition can be executed by single service controller, message logic controller and global control algorithm. The model is simple, flexible and extensible. The case analyses indicate that the model can simulate the interaction between services via message passing.
出处
《东南大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2007年第4期593-598,共6页
Journal of Southeast University：Natural Science Edition
基金
国家自然科学基金资助项目(60473065)
