Methodische Fundierung der dienstbasierten Entwicklung reaktiver Systeme

反应式系统基于服务的开发的方法论基础

基本信息

项目摘要

Die Entwicklung reaktiver Softwaresysteme, die heute immer stärker aus verteilten, interagierenden Komponenten bestehen und daher komplexen werden, muss durch geeignete Entwicklungsmethoden umfassend unterstützt werden, um auch zukünftig hohe Softwarequalität und korrekte Funktion bei bewältigbaren Kosten zu gewährleisten. Die dienstbasierte Entwicklung verspricht dies zu leisten. Der wesentliche Vorteil gegenüber der etablierten komponentenbasierten Entwicklung ist eine stark funktional getriebene Modellierung auf hoher Abstraktionsebene und die Vermeidung der zu frühen Festlegung auf technische Architekturen. Im Rahmen des beantragten Vorhabens wird eine dienstbasierte Entwicklungsmethodik für reaktive Systeme konzipiert, die auf der Definition eines formal fundierten Dienstbegriffs und der Bereitstellung geeigneter Beschreibungs- und Modellierungstechniken basiert. Die Methodik erlaubt modellbasierte Verfeinerungsschritte und integriert ein Verfahren zur Transformation von Dienstspezifikationen in Form von Interaktionsmustern zu prototypisch implementierbaren, zustandsbasierten Komponentenmodellen. Die Methodik wird durch eine Werkzeugumsetzung unterstützt. Durch Fallstudien wird die Praxistauglichkeit der erarbeiteten Konzepte nachgewiesen sowie ein Vergleich mit etablierten Vorgehensweisen gezogen.
软件系统的开发,今天一直是最好的、最复杂的韦尔登的集成,必须通过一种独特的开发方法来开发韦尔登,也必须提高软件的质量和功能。这一基础性的发展将使他们受益匪浅。Der wesentliche Vorteil gegenüber der etablierten komponentenbasierten Entwicklung is eine stark functional getriebene Modellierung auf hoher Abstraktionsebene and die Vermeidung der zu fühen Festlegung auf technische Architekturen. Im Rahmen des beantragten Vorhabens wird eine dienstbasierte Entwicklungsmethodik für rektive Systeme konzipiert,die auf der Definition eines formal fundierten Dienstbegriffs und der Bereitstellung geigneter Beschreibungs- und Modellierungstechniken basiert.该方法建立了基于模型的Verfeinerungsschritte和集成的Verfahren zur Transformation von Dienstspezifikationen in Form von Interaktionsmustern zu prototypisch implementerbaren,zstandsbased Komponentenmodellen。卫理公会将通过一个工作小组来完成。秋天的研究将使人们对未来的概念有一个明确的认识。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Manfred Broy其他文献

Professor Dr. Manfred Broy的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Manfred Broy', 18)}}的其他基金

Model-Driven Evolution Management for Microscopic Changes in Automation Systems (MoDEMMiCAS)
针对自动化系统微观变化的模型驱动演化管理 (MoDEMMiCAS)
  • 批准号:
    222278915
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Formalisierung von Anforderungen durch Dokumentanalyse
通过文档分析将需求形式化
  • 批准号:
    131747077
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Integration von Workflowbeschreibungen in kontextsensitive Systeme zur Steigerung der Adaptionsgenauigkeit.
将工作流程描述集成到上下文相关系统中,以提高适应准确性。
  • 批准号:
    32379288
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Fundierung und Semantische Standardisierung der UML V2.0
UML V2.0的基础和语义标准化
  • 批准号:
    25718906
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT
基于UML-RT描述技术有条不紊地开发实时关键系统
  • 批准号:
    5236756
  • 财政年份:
    2003
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Mathematisches Systemmodell
数学系统模型
  • 批准号:
    5327576
  • 财政年份:
    2001
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Methodik des inkrementellen Entwurfs reaktiver Systeme
反应式系统增量设计方法
  • 批准号:
    5280620
  • 财政年份:
    2001
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Methodisch fundierte Entwicklung echtzeitkritischer Systeme auf Basis der Beschreibungstechniken der UML-RT
基于UML-RT描述技术有条不紊地开发实时关键系统
  • 批准号:
    5236762
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Beschreibungstechniken und formale Qualitätssicherung für eingebettete Systeme
嵌入式系统的描述技术和正式的质量保证
  • 批准号:
    5371543
  • 财政年份:
    1997
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes

相似海外基金

Das Paradoxon der Testtheorie-Ergründung seiner mathematischen Fundierung, praktischen Relevanzen und potenziellen Auflösbarkeit
测试理论的悖论——探索其数学基础、实践相关性和潜在的可解决性
  • 批准号:
    217058399
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Theoretische Fundierung und empirische Analyse von Mediatisierungsprozessen in schulischen Organisationswelten
学校组织环境中媒介化过程的理论基础和实证分析
  • 批准号:
    181921211
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Begriffsanalyse und Metaphysik. Fundierung einer philosophischen Methode mit den Mitteln der Zweidimensionalen Semantik
概念分析和形而上学。
  • 批准号:
    117823294
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Fundierung und Sicherheitsanalyse verteilter, asynchroner Objektsysteme
分布式异步对象系统的基础和安全分析
  • 批准号:
    77280207
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Theoretische und methodische Fundierung von gradierten Akzeptabilitätsurteilen als empirische Basis der Syntaxtheorie
作为句法理论实证基础的分级可接受性判断的理论和方法论基础
  • 批准号:
    24245124
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Fundierung und Semantische Standardisierung der UML V2.0
UML V2.0的基础和语义标准化
  • 批准号:
    25718906
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Formale, mechanisch unterstützte Fundierung aspektorientierter und kollaborationsbasierter Sprachen
面向方面和基于协作的语言的正式、机械支持的基础
  • 批准号:
    24572631
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Facettentheoretische Fundierung der sozialen Intelligenz, leistungsbasierte Diagnostik und Validierung des Konstrukts
社会智能的方面理论基础、基于表现的诊断和结构验证
  • 批准号:
    5419664
  • 财政年份:
    2003
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Erarbeitung und kausalanalytische Fundierung von Pedotransferfunktionen zur Prognose des Nährelementpotenzials der Skelettfraktion in Waldböden
用于预测森林土壤中骨骼部分营养潜力的pedotransfer函数的开发和因果分析
  • 批准号:
    5392328
  • 财政年份:
    2002
  • 资助金额:
    --
  • 项目类别:
    Research Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了