Semi-automated service composition using visual contracts
Semi-automated service composition using visual contracts
复制标题
使用视觉契约的半自动化服务组合
DOI：
10.1145/1838002.1838057
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Naeem M
中科院分区：
文献类型：
--
作者：
Naeem M
服务提供对可通过Internet动态发现的软件组件的访问。随着服务数量的增加，请求者可能能够使用需求支持来查找和选择服务。特别是，这是不现实的，期望一个单一的服务将满足复杂的需求，所以服务将不得不结合起来，以匹配客户端的requests.In本文中，我们提出了一个可视化的，交互式的方法组合的服务，在其中我们描述了一个请求者的要求agoalwhich是匹配对多个提供者提供。在每一场比赛之后，我们将目标分解为满意和剩余部分。我们不断地进行分解，直到目标得到满足或者我们用完了报价。最后，各个报价被组合成一个正式的组合报价，并展示给请求者以获得反馈。我们的方法是基于视觉规范的前和后的条件，使用理论的图形转换系统作为正式的背景。
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support for finding and selecting services. In particular, it is unrealistic to expect that a single service will satisfy complex requirements, so services will have to be combined to match clients' requests.In this paper, we propose a visual, interactive approach for the composition of services, in which we describe the requirements of a requester as agoalwhich is matched against multipleprovider offers. After every match with anofferwe decompose thegoalinto satisfied and remainder parts. We iterate the decomposition until thegoalis satisfied or we run out ofoffers.Finally, theindividual offersare combined into a singlecombined offerand shown to the requester for feedback. Our approach is based on visual specifications of pre- and post conditions using the theory of graph transformations systems as a formal background.
登录
查看更多内容
DOI：
--
发表时间：
2006
期刊：
International Conference on Graph Transformation
影响因子：
--
作者：
R. Bruni;Hernán C. Melgratti
通讯作者：
Hernán C. Melgratti
DOI：
--
发表时间：
1993
期刊：
Dagstuhl Seminar on Graph Transformations in Computer Science
影响因子：
--
作者：
A. Corradini;H. Ehrig;M. Löwe;U. Montanari;F. Rossi
通讯作者：
F. Rossi
模型驱动监控：契约设计的图转换应用
DOI：
--
发表时间：
2006
期刊：
International Conference on Graph Transformation
影响因子：
--
作者：
G. Engels;Marc Lohmann;Stefan Sauer;R. Heckel
通讯作者：
R. Heckel
使用图语法的软件规范
影响因子：
3.7
作者：
G. Engels;R. Gall;M. Nagl;Wilhelm Schäfer
通讯作者：
Wilhelm Schäfer
半自动Web服务组合的灵活框架
DOI：
--
发表时间：
2008
期刊：
IEEE Asia-Pacific Services Computing Conference
影响因子：
--
作者：
Gexin Li;H. Hai;Zhiwen Hu
通讯作者：
Zhiwen Hu