Automatische Synthese von Verhaltensadaptern zwischen Services
Automatische Synthese von Verhaltensadaptern zwischen Services
批准号:
57095390
负责人:
Professor Dr. Wolfgang Reisig
金额:
$0.0万
依托单位:
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2008
资助国家:
德国
项目状态:
已结题
起止时间:
2007-12-31 至 2011-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Ein Service ist eine Software-Komponente, die aus einer Kontrollstruktur sowie einer Schnittstelle besteht. Services können mit anderen Services zu einem komplexen Service komponiert werden. Da Services im Allgemeinen unabhängig voneinander konstruiert werden, können zwei Services häufig nur aufgrund kleiner, behebbarer Unterschiede nicht komponiert werden. Ein Adapter ist ein dritter Service, der diese Unterschiede ausgleicht. Alle drei Services bilden dann gemeinsam einen komplexen Service. In diesem Projekt werden Verfahren entwickelt, Adapter für gegebene Services automatisch zu synthetisieren. Im Zentrum stehen dabei Adapter zum Ausgleich unterschiedlichen Verhaltens. Mit Hilfe solcher Verhaltensadapter können mehr Paare von Services komponiert werden. Ein wichtiges Anwendungsgebiet im Bereich Serviceorientierter Architekturen ist die Service Discovery, dem Vorgang, zu einem gegebenen Service einen komponierbaren Service in einem Repository zu finden. Durch die Verwendung von Verhaltensadaptern können im Allgemeinen wesentlich mehr komponierbare Services gefunden werden.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Certifying Algorithms for Interactive Components and Distributed Systems
-
批准号:261369405
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2014
-
负责人:Professor Dr. Wolfgang Reisig
-
依托单位:
Austauschbarkeit von Services
-
批准号:30573505
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Professor Dr. Wolfgang Reisig
-
依托单位:
Die Ausdruckskraft von Abstract State Machines
-
批准号:5450692
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Professor Dr. Wolfgang Reisig
-
依托单位:
Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen
-
批准号:5428633
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Professor Dr. Wolfgang Reisig
-
依托单位:
DNA-computing
-
批准号:5206522
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr. Wolfgang Reisig
-
依托单位:
Kompositionale Verifikation von Netzwerkalgorithmen und reaktiven Systemen
-
批准号:5083656
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1997
-
负责人:Professor Dr. Wolfgang Reisig
-
依托单位:
Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz-Technologie
-
批准号:5283216
-
项目类别:Research Units
-
资助金额:$0.0万
-
财政年份:1996
-
负责人:Professor Dr. Wolfgang Reisig
-
依托单位:
Konsens-Algorithmen für verteilte Systeme
-
批准号:5217164
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1995
-
负责人:Professor Dr. Wolfgang Reisig
-
依托单位:
海外基金