A VERIFICATION APPROACH OF LOGIC STRUCTURE FOR SERVICES COMPOSITION TEMPLATE

摘要：

A method called TryBest to larger-granularity services composition for business-users was presented in our foregoing work,which is based on constraint solving of business process and prefabricated and modifiable templates. With TryBest,business-users can construct applications just like assembling hardware by composing larger-granularity and reusable modules.The validity of composition template is prerequisite of templates successful execution.A verification approach is presented in this paper.The approach can verify the logic structure of service composition template.

关键词： Larger-Granularity Services Composition Services Composition Template Logic Structure Verification

作者: Min Shi Haitao Hu

作者单位: Institute of Computer Science,North China Electric Power University,Beijing 102206,P.R.China

会议类型: 国际会议

会议名称: 2009 International Symposium on Computer Science and Technology(2009 中国宁波国际计算机科学与技术学术大会)

会议地点: 宁波

会议语种:英文

页码: 11-16

在线出版日期: 2009-11-20（万方平台首次上网日期，不代表论文的发表时间）