面向服务软件体系结构设计阶段异常处理的建模与验证
结题报告
批准号:
61272113
项目类别:
面上项目
资助金额:
20.0 万元
负责人:
应时
依托单位:
学科分类:
F0203.软件理论、软件工程与服务
结题年份:
2013
批准年份:
2012
项目状态:
已结题
项目参与者:
贾向阳、张立强、陈旭、文静、蒋曹清、龚致远、管华、赵翀、耿江屹
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点,提供专业选题建议
深度指导申报书撰写,确保创新可行
指导项目中标800+,快速提高中标率
客服二维码
微信扫码咨询
中文摘要
针对如何提高面向服务软件异常处理能力的科学问题,研究面向服务软件体系结构设计阶段异常处理逻辑的建模、仿真分析、验证方法及其支撑工具。具体内容包括:研究体系结构层异常模型AEM4SOA、能描述异常处理的软件体系结构描述语言SOADL-EH,以支持面向服务软件体系结构设计阶段异常处理逻辑的建模。研究基于着色Petri网的面向服务软件体系结构的形式化描述方法、异常处理逻辑仿真分析方法和异常处理逻辑验证方法,以分析异常处理逻辑对软件系统可靠性和时间性能的影响,验证异常处理逻辑的完备性、可终止性。研制相应的工具系统,并开展案例研究。项目成果可用于构造具有异常处理机制的面向服务软件体系结构的设计模型,在体系结构设计阶段保障面向服务软件的可用性和可信性,具有学术意义和应用价值。项目不但能为体系结构层异常处理机制的设计提供具有创新性的方法和工具,而且还能拓展创新着色Petri网在面向服务软件工程中的应用。
英文摘要
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,以及基于该语言的体系结构设计阶段异常处理逻辑的建模方法,并研究了SOADL-EH中各种语言成份的基于着色Petri网的形式化语义,以及基于Petri网状态空间分析技术的体系结构设计阶段的异常处理的形式化验证方法。项目成果可用于构造具有异常处理机制的面向服务软件体系结构的设计模型,在体系结构设计阶段保障面向服务软件的可用性和可信性,具有学术意义和应用价值。
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
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
期刊:计算机科学
影响因子:--
作者:应时;贾向阳;蒋曹清;王一兵
通讯作者:王一兵
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
期刊:Journal of Computational Information Systems
影响因子:--
作者:Wu, Haitao;Ying, Shi;Wang, Yibing
通讯作者:Wang, Yibing
基于深度强化学习的均衡SaaS软件运行负载的方法
  • 批准号:
    62072342
  • 项目类别:
    面上项目
  • 资助金额:
    56万元
  • 批准年份:
    2020
  • 负责人:
    应时
  • 依托单位:
基于SaaS软件运行日志分析的软件性能问题的在线识别和诊断方法
  • 批准号:
    61672392
  • 项目类别:
    面上项目
  • 资助金额:
    63.0万元
  • 批准年份:
    2016
  • 负责人:
    应时
  • 依托单位:
面向运行性能改善的SaaS软件部署方案自优化方法
  • 批准号:
    61373038
  • 项目类别:
    面上项目
  • 资助金额:
    79.0万元
  • 批准年份:
    2013
  • 负责人:
    应时
  • 依托单位:
基于框架的面向服务软件异常处理方法研究
  • 批准号:
    61070012
  • 项目类别:
    面上项目
  • 资助金额:
    33.0万元
  • 批准年份:
    2010
  • 负责人:
    应时
  • 依托单位:
面向方面的软件体系结构设计方法研究
  • 批准号:
    60773006
  • 项目类别:
    面上项目
  • 资助金额:
    28.0万元
  • 批准年份:
    2007
  • 负责人:
    应时
  • 依托单位:
基于反射机制的软件体系结构重用方法研究
  • 批准号:
    60473066
  • 项目类别:
    面上项目
  • 资助金额:
    24.0万元
  • 批准年份:
    2004
  • 负责人:
    应时
  • 依托单位:
国内基金
海外基金