课题基金 / 基金详情

Austauschbarkeit von Services

Austauschbarkeit von Services
服务的互换性
批准号：
30573505
负责人：
Professor Dr. Wolfgang Reisig
金额：
$0.0万
依托单位：
Institut für Informatik
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2006
资助国家：
德国
项目状态：
已结题
起止时间：
2005-12-31 至 2008-12-31
来源：
https://gepris.dfg.de/gepris/projekt/30573505?language=en
关键词：
AustauschbarkeitvonServices

项目摘要

项目成果

Professor Dr. Wolfgang Reisig的其他基金

相似基金

相关文献

中文摘要
翻译
面向服务的架构师(Service-Orientierte Architekturen，SOA)是一种面向服务的体系结构，软件建设的范例：Koperierende Services sind der Schlüssel zur集成异构者，椎体手术系统。Wann Ein Service Gegen einen Anderen，für Gewse Zwecse Geeigneteren Service Aosgetoscht Wann Kann，这是一个基本问题。在Diesem Projektvorhaben wird Diese Frage Zunächst和Hand von Modelen von Services Studdiert中。您的位置：我也知道>地区/地区>地区/地区/地区。模型的结果和原型实现的算法不一致。
英文摘要
Service-orientierte Architekturen (SOA) sind ein vielversprechendes, aktuelles Paradigma der Softwarekonstruktion: Kooperierende Services sind der Schlüssel zur Integration heterogener, verteilter Systeme. Wann ein Service gegen einen anderen, für gewisse Zwecke geeigneteren Service ausgetauscht werden kann, ist ein fundamentales Problem. In diesem Projektvorhaben wird diese Frage zunächst anhand von Modellen von Services studiert. Diese Modelle berücksichtigen insbesondere das neue Konzept der Bedienungsanleitung eines Services P als abstrakte Beschreibung der Möglichkeiten, P zu bedienen. Die Resultate der Modellierungsebene werden algorithmisch unterlegt und prototypisch implementiert.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Certifying Algorithms for Interactive Components and Distributed Systems
  • 批准号：
    261369405
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2014
  • 负责人：
    Professor Dr. Wolfgang Reisig
  • 依托单位：
    Institut für Informatik
Automatische Synthese von Verhaltensadaptern zwischen Services
  • 批准号：
    57095390
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2008
  • 负责人：
    Professor Dr. Wolfgang Reisig
  • 依托单位：
    Institut für Informatik
Die Ausdruckskraft von Abstract State Machines
  • 批准号：
    5450692
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2005
  • 负责人：
    Professor Dr. Wolfgang Reisig
  • 依托单位：
    Institut für Informatik
Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen
  • 批准号：
    5428633
  • 项目类别：
    Research Grants
  • 资助金额：
    $0.0万
  • 财政年份：
    2004
  • 负责人：
    Professor Dr. Wolfgang Reisig
  • 依托单位：
    Institut für Informatik
国内基金
海外基金
半有限von Neumann代数中投影集上的Wigner定理
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    钱文华
  • 依托单位：
    重庆师范大学
CUL7基因突变导致Von Hippel Lindau蛋白细胞内蓄积增多致3-M综合征软骨细胞分化异常的分子机制研究
  • 批准号：
    82302106
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30万元
  • 批准年份：
    2023
  • 负责人：
    石伟哲
  • 依托单位：
    广州医科大学
非交换Weyl-von Neumann定理及其弱形式在von Neumann代数中的拓展
  • 批准号：
    12271074
  • 项目类别：
    面上项目
  • 资助金额：
    45万元
  • 批准年份：
    2022
  • 负责人：
    石瑞
  • 依托单位：
    大连理工大学
线性保持方法在量子信息研究中的应用
  • 批准号：
    12001420
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    王美丽
  • 依托单位：
    西安科技大学