A Method of E-Service Workflow Composition Based on Linear Logic Inference Rules

摘要：

　　The paper proposes a method for semantic message matching in automatic service composition.It develops a framework in which the exported message description and behavior description of a service,and represents the behavior of a service with a finite state machine.Since the service interface definition can be represented by ontology concepts,the internal representation language enables us to define some issues required by service composition formally,qualitative and quantitative constraints plus reasoning on concepts,and the service behavior can be represented using linear logic formulas,so the inference rules of linear logic can check the match-ability and satisfy-ability of service message.

关键词： E-service composition linear logic Workflow

作者: Shan Zhou Fangyu Zhang

作者单位: School of Electrical Engineering and Information ChangChun institute of Technology ChangChun, China College of Information Sciences and Technology, jilin University changchun, China

会议类型: 国际会议

会议名称: 2012 2nd International Conference on Computer and Information Applications(ICCIA2012)(2012第二届计算机和信息应用国际会议)

会议地点: 太原

会议语种:英文

页码: 642-645

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