课题基金 / 基金详情

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) 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
  • 负责人：
    王美丽
  • 依托单位：
    西安科技大学