| 摘要: |
| 服务组合中端用户的模糊和不确定的需求与服务组合过程的精确性要求之间存在着矛盾,而几乎没有相关的工作考虑了这个问题.提出一种多粒度的服务组合形式化模型.这一模型从端用户的角度来考虑服务组合中用户的需求.为了构建多粒度的服务组合视图,将Web服务描述映射成广义决策逻辑语言(GDL).GDL是由粒度计算的研究组织提出的一种形式化语言,试图用来作为定义粒度模型的规范.利用GDL构建的服务组合多粒度模型,可以使用户和服务组合代理在不同的信息粒层进行组合工作.与传统的模型相比,这一模型可以为端用户提供更容易理解的服务组合视图,符合人类感知模式. |
| 关键词: SOA SOC 服务组合 粒度计算 广义决策逻辑 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant No.60933003 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2006AA01Z101 (国家高技术研究发展计划(863)); the IBM Joint Project of China under Grant No.J |
|
| Generalized Decision Logic Based and End-User Oriented Service Composition Formal Model |
|
LUO Yuan-Sheng,QI Yong,HOU Di,SHI Yi,CHEN Ying,SHEN Lin-Feng
|
| Abstract: |
| There’s seldom work carried on dealing with the contradiction between the vague and uncertain requirements of end-user and the precise and deterministic process in service composition. A multi-grain formal model for service composition is proposed in this paper. This model considers the requirement of customers in service composition from the end-user view and a formal specification on mapping the Web service description to the generalized decision logic language (GDL) is presented to construct multi-grain service composition views. GDL is a formal logic language proposed in granular computing research community as an expecting specification for definition of granular models. It can be used to define a multi-grain model for service composition and make users and service composition agent work in different information granule level separately. The proposed model is expected to provide a more understandable view for an end-user than traditional service composition model and conforms to the human cognition mode. |
| Key words: SOA SOC service composition granular computing generalized decision logic |
