面向服务软件体系结构设计阶段异常处理的建模与验证

结题报告
项目介绍
AI项目解读

基本信息

  • 批准号：
    61272113
  • 项目类别：
    面上项目
  • 资助金额：
    20.0万
  • 负责人：
    应时
  • 依托单位：
    武汉大学
  • 学科分类：
    F0203.软件理论、软件工程与服务
  • 结题年份：
    2013
  • 批准年份：
    2012
  • 项目状态：
    已结题
  • 起止时间：
    2013-01-01 至2013-12-31

项目摘要

Focus on the capability improvement about exception handling of service-oriented software, the methods of modeling, simulation analysis, verification and its supporting tool of exception handling in architecture design phase are researched. Architectural exception model AEM4SOA and architecture description language SOADL-EH with exception handling facility are researched in detail, in order to support the modeling of exception handling in service-oriented architecture design phase.Based on colored petri net, formal description of service-oriented architecture, simulation analysis and verification of exception handling are also researched, in order to analysis the impact on reliability and performance of systems, completeness and termination about exception handling. In addition, tool development and case study are taken account for.The above researches will contribute to constructing the design model of service-oriented architecture with facility of exception handling, guaranteeing the availability and dependability of software.The above researches will not only provide the innovative methods and tools for designing the exception handling mechanism, but also expand the application of colored petri nets in the discipline of service-oriented software engineering.
针对如何提高面向服务软件异常处理能力的科学问题，研究面向服务软件体系结构设计阶段异常处理逻辑的建模、仿真分析、验证方法及其支撑工具。具体内容包括：研究体系结构层异常模型AEM4SOA、能描述异常处理的软件体系结构描述语言SOADL-EH，以支持面向服务软件体系结构设计阶段异常处理逻辑的建模。研究基于着色Petri网的面向服务软件体系结构的形式化描述方法、异常处理逻辑仿真分析方法和异常处理逻辑验证方法，以分析异常处理逻辑对软件系统可靠性和时间性能的影响，验证异常处理逻辑的完备性、可终止性。研制相应的工具系统，并开展案例研究。项目成果可用于构造具有异常处理机制的面向服务软件体系结构的设计模型，在体系结构设计阶段保障面向服务软件的可用性和可信性，具有学术意义和应用价值。项目不但能为体系结构层异常处理机制的设计提供具有创新性的方法和工具，而且还能拓展创新着色Petri网在面向服务软件工程中的应用。

结项摘要

针对如何提高面向服务软件异常处理能力的科学问题，研究面向服务软件体系结构设计阶段的异常处理逻辑的建模和形式化分析验证方法.构造了面向服务软件系统的体系结构层的异常模型AEM4SOA,定义了支持异常处理建模的面向服务软件体系结构描述语言SOADL-EH，以及基于该语言的体系结构设计阶段异常处理逻辑的建模方法，并研究了SOADL-EH中各种语言成份的基于着色Petri网的形式化语义，以及基于Petri网状态空间分析技术的体系结构设计阶段的异常处理的形式化验证方法。项目成果可用于构造具有异常处理机制的面向服务软件体系结构的设计模型，在体系结构设计阶段保障面向服务软件的可用性和可信性，具有学术意义和应用价值。

项目成果

期刊论文数量（6）
专著数量（0）
科研奖励数量（0）
会议论文数量（5）
专利数量（0）
HCPN4EH:A formal model for exception handling in service-oriented software
HCPN4EH：面向服务软件中异常处理的形式化模型
  • DOI：
    --
  • 发表时间：
    2013
  • 期刊：
    WIT Transactions on Information and Communication Technologies
  • 影响因子：
    --
  • 作者：
    C.Q. Jiang;S. Ying
  • 通讯作者：
    S. Ying
面向服务软件异常处理研究综述
  • DOI：
    --
  • 发表时间：
    2013
  • 期刊：
    计算机科学
  • 影响因子：
    --
  • 作者：
    应时;贾向阳;蒋曹清;王一兵
  • 通讯作者：
    王一兵
Uniform Access Control Platform of Web Service Based on Semantic Message
基于语义消息的Web服务统一访问控制平台
  • DOI：
    --
  • 发表时间：
    2013
  • 期刊：
    WIT Transactions on Information and Communication Technologies
  • 影响因子：
    --
  • 作者：
    Hua Guan;Hua Guan;Shi Ying;Shi Ying;Xiangyang Jia;Xiangyang Jia;Caoqing Jiang;Caoqing Jiang
  • 通讯作者：
    Caoqing Jiang
面向服务软件中异常处理的形式化建模方法
  • DOI：
    --
  • 发表时间：
    2013
  • 期刊：
    西安交通大学学报
  • 影响因子：
    --
  • 作者：
    蒋曹清;应时;应时;文静;文静;贾向阳;贾向阳;王一兵;王一兵
  • 通讯作者：
    王一兵
Evaluating collaborative learning by social network analysis with 2-tuple linguistic information
通过社交网络分析和二元语言信息评估协作学习
  • DOI：
    --
  • 发表时间：
    2013
  • 期刊：
    Journal of Computational Information Systems
  • 影响因子：
    --
  • 作者：
    Wu, Haitao;Ying, Shi;Wang, Yibing
  • 通讯作者：
    Wang, Yibing

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

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

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

{{ item.title }}
  • 作者：
    {{ item.authors }}

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

{{ item.title }}
  • 作者：
    {{ item.authors }}

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

{{ item.title }}
  • 作者：
    {{ item.authors }}

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

{{ item.title }}
  • 作者：
    {{ item.authors }}

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

其他文献

基于语义关联和信息距离的个性化推荐方法研究
  • DOI：
    --
  • 发表时间：
    2019
  • 期刊：
    情报理论与实践
  • 影响因子：
    --
  • 作者：
    黎雪微;应时;洪伟
  • 通讯作者：
    洪伟
An efficient indexing and query mechanism for ubiquitous IoT services
适用于无处不在的物联网服务的高效索引和查询机制
  • DOI：
    10.1504/ijahuc.2015.069060
  • 发表时间：
    2015-04
  • 期刊：
    International Journal of Ad Hoc and Ubiquitous Computing
  • 影响因子：
    0.7
  • 作者：
    杜楚;周长兵;应时;牛建伟;王群
  • 通讯作者：
    王群
基于语义技术的软件用户访问控制方法
  • DOI：
    --
  • 发表时间：
    2016
  • 期刊：
    计算机科学
  • 影响因子：
    --
  • 作者：
    郑高山;应时;吴睿
  • 通讯作者：
    吴睿
基于规则的语义流程异常处理机制
  • DOI：
    --
  • 发表时间：
    2011
  • 期刊：
    计算机科学
  • 影响因子：
    --
  • 作者：
    赵楷;应时;张琳琳;胡罗凯;贾向阳;王权于
  • 通讯作者：
    王权于
一种求解面向服务软件部署优化问题的多目标蚁群算法
  • DOI：
    --
  • 发表时间：
    2017
  • 期刊：
    中南大学学报(自然科学版)
  • 影响因子：
    --
  • 作者：
    李琳;应时;董波
  • 通讯作者：
    董波

其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi || "--" }}
  • 发表时间：
    {{ item.publish_year || "--"}}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor || "--" }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
empty
内容获取失败，请点击重试
重试联系客服
title开始分析
查看分析示例
此项目为已结题，我已根据课题信息分析并撰写以下内容，帮您拓宽课题思路：

AI项目思路

AI技术路线图

应时的其他基金

基于深度强化学习的均衡SaaS软件运行负载的方法
  • 批准号：
    62072342
  • 批准年份：
    2020
  • 资助金额：
    56 万元
  • 项目类别：
    面上项目
基于SaaS软件运行日志分析的软件性能问题的在线识别和诊断方法
  • 批准号：
    61672392
  • 批准年份：
    2016
  • 资助金额：
    63.0 万元
  • 项目类别：
    面上项目
面向运行性能改善的SaaS软件部署方案自优化方法
  • 批准号：
    61373038
  • 批准年份：
    2013
  • 资助金额：
    79.0 万元
  • 项目类别：
    面上项目
基于框架的面向服务软件异常处理方法研究
  • 批准号：
    61070012
  • 批准年份：
    2010
  • 资助金额：
    33.0 万元
  • 项目类别：
    面上项目
面向方面的软件体系结构设计方法研究
  • 批准号：
    60773006
  • 批准年份：
    2007
  • 资助金额：
    28.0 万元
  • 项目类别：
    面上项目
基于反射机制的软件体系结构重用方法研究
  • 批准号：
    60473066
  • 批准年份：
    2004
  • 资助金额：
    24.0 万元
  • 项目类别：
    面上项目

相似国自然基金

{{ item.name }}
  • 批准号：
    {{ item.ratify_no }}
  • 批准年份：
    {{ item.approval_year }}
  • 资助金额：
    {{ item.support_num }}
  • 项目类别：
    {{ item.project_type }}

相似海外基金

{{ item.name }}
{{ item.translate_name }}
  • 批准号：
    {{ item.ratify_no }}
  • 财政年份：
    {{ item.approval_year }}
  • 资助金额：
    {{ item.support_num }}
  • 项目类别：
    {{ item.project_type }}
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了

AI项目解读示例

课题项目：调控A型流感病毒诱导IFN-β表达的机制研究

AI项目摘要：

本研究聚焦于TRIM2蛋白在A型流感病毒诱导的IFN-β表达中的调控机制。A型流感病毒是全球性健康问题，其感染可导致严重的呼吸道疾病。IFN-β作为关键的抗病毒因子，其表达水平对抗病毒防御至关重要。然而，TRIM2如何调控IFN-β的表达尚未明确。本研究假设TRIM2通过与病毒RNA或宿主因子相互作用，影响IFN-β的产生。我们将采用分子生物学、细胞生物学和免疫学方法，探索TRIM2与A型流感病毒诱导IFN-β表达的关系。预期结果将揭示TRIM2在抗病毒免疫反应中的作用，为开发新的抗病毒策略提供理论基础。该研究对理解宿主抗病毒机制具有重要科学意义，并可能对临床治疗流感病毒感染提供新的视角。

AI项目思路：

科学问题：TRIM2如何调控A型流感病毒诱导的IFN-β表达？
前期研究：已有研究表明TRIM2参与抗病毒反应，但其具体机制尚不明确。
研究创新点：本研究将深入探讨TRIM2在IFN-β表达中的直接作用机制。
技术路线：包括病毒学、分子生物学、细胞培养和免疫检测技术。
关键技术：TRIM2与病毒RNA的相互作用分析，IFN-β启动子活性检测。
实验模型：使用A型流感病毒感染的细胞模型进行研究。

AI技术路线图

        graph TD
          A[研究起始] --> B[文献回顾与假设提出]
          B --> C[实验设计与方法学准备]
          C --> D[A型流感病毒感染模型建立]
          D --> E[TRIM2与病毒RNA相互作用分析]
          E --> F[TRIM2对IFN-β启动子活性的影响]
          F --> G[IFN-β表达水平测定]
          G --> H[TRIM2功能丧失与获得研究]
          H --> I[数据收集与分析]
          I --> J[结果解释与科学验证]
          J --> K[研究结论与未来方向]
          K --> L[研究结束]
关闭
close
客服二维码