arrow
返回

Reducing Adapter Synthesis to Controller Synthesis

delete2012-01-01
delete33
PRE
AI
C
Christian Gierds *
A
Arjan J. Mooij
K
Karsten Wolf
DOI:10.1109/TSC.2010.57delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Service-oriented computing aims to create complex systems by composing less-complex systems, called services. Since services can be developed independently, the integration of services requires an adaptation mechanism for bridging any incompatibilities. Behavioral adapters aim to adjust the communication between some services to be composed in order to establish proper interaction between them. We present a novel approach for specifying such adapters, based on domain-specific transformation rules that reflect the elementary operations that adapters can perform. We also present a novel way to synthesize complex adapters that adhere to these rules, viz., by consistently separating data and control, and by using existing controller-synthesis algorithms. Our approach has been implemented, and we discuss some example applications, including real business processes in WS-BPEL.
Keyword:
Services composition
web services interoperability
service integration
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Services Computing 封面图
IEEE Transactions on Services Computing
IF:
5.8
论文数:
2.2K
被引数:
6.5K

机构

U
University of Rostock
学者数:
9.5K
论文数: 7.6K
被引数: 11
H
Humboldt University of Berlin
学者数:
3.2W
论文数: 2.7W
被引数: 47
E
Eindhoven University of Technology
学者数:
1.6W
论文数: 1.5W
被引数: 2.2W
学者 查看更多机构
引用论文

引用论文

The Site of Gastrointestinal Absorption of Gepirone in Humans
err2013-03-08
err0
PREAI
errL. K. Tay; F. Dixon; M. B. Sostrin; W. H. Barr; R. H. Farmen; K. A. Pittman
err分享
err收藏
Revisiting “Measuring What Matters重新审视“衡量真正重要的事情”
err2015-08-11
err0
PREAI
errRobert C. Davis; Christopher W. Ortiz; Samantha Euler; Lorrianne Kuykendall
err分享
err收藏
Trophic niche overlap of sprat and commercial small pelagic teleosts in the Gulf of Lions (NW Mediterranean Sea)
err2015-09-01
err0
errOAAI
errB. Le Bourg; D. Bănaru; C. Saraux; A. Nowaczyk; E. Le Luherne; A. Jadaud; J.L. Bigot; P. Richard
err分享
err收藏
The History of Tree and Shrub Taxa on Bol'shoy Lyakhovsky Island (New Siberian Archipelago) since the Last Interglacial Uncovered by Sedimentary Ancient DNA and Pollen Data
err2017-10-13
err0
errOAAI
errHeike Zimmermann; Elena Raschke; Laura Epp; Kathleen Stoof-Leichsenring; Lutz Schirrmeister; Georg Schwamborn; Ulrike Herzschuh
err分享
err收藏
Endogenous κ-opioid systems in opiate withdrawal: role in aversion and accompanying changes in mesolimbic dopamine release
err1994-06-01
err0
PREAI
errRainer Spanagel; Osborne F. X. Almeida; Christine Bartl; Toni S. Shippenberg
err分享
err收藏
Deriving Petri Nets from finite transition systems
err1998-01-01
err145
errOAAI
errCortadella, J; Kishinevsky, M; Lavagno, L; Yakovlev, A
err分享
err收藏
学者 查看更多内容