.png){kind=icon}
返回
Web service publishing and composition based on monadic methods and program slicing
.png){kind=icon}
PRE
AI
DOI：10.1016/j.knosys.2012.08.008.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
As the rapid development of web services, how to publish, discover and compose them in open and dynamic network environment has become one of the most important challenges for web-based technology. We abstract web service components as coalgebraic monads, which has an advantage of supporting the studying of state systems such as concurrent or uncertain systems. With the help of monad techniques, we present a novel formal model for web services in a black-box observation way. Through monads' properties such as abstraction, reflection and composability, this model can help us formally describe and support further study on service components during web service publishing. After publishing, we in this paper also propose a composition method based on program slicing technology. Our monad-based methods proposed in this paper relatively improve service reuse and enable the integration and composition of web services because of the integration of combinable and reusable monads techniques. (C) 2012 Elsevier B.V. All rights reserved.
Keyword:
Web services
Monads
Program slicing
Coalgebraic methods
Publishing and composition
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
K
IF:
7.6
论文数:
1.3W
被引数:
4.5W
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏
分享收藏
查看更多内容