基于rCOS的形式化方法需求分析与验证

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

基本信息

  • 批准号：
    61562011
  • 项目类别：
    地区科学基金项目
  • 资助金额：
    39.0万
  • 负责人：
    杨静
  • 依托单位：
    贵州大学
  • 学科分类：
    F0203.软件理论、软件工程与服务
  • 结题年份：
    2019
  • 批准年份：
    2015
  • 项目状态：
    已结题
  • 起止时间：
    2016-01-01 至2019-12-31

项目摘要

Requirements analysis and validation is one of important problems in software engineering. This project will apply rCOS formal method to building the requirements models of software systems, as well the consistency validation among requirements. A functional requirement, i.e., a use case in UML, can be defined as a sequence of system operations, which is described in a system operation diagram. And each use case can be formally defined as a pair of pre and post conditions. We will extend the current research results on theory, and develop the related software tools for supporting the incremental and iterative RUP development process. Extending and Applying developed AutoPA tool(based on OCL), we can automatically generate the corresponding prototype in Java from the given formal requirements model. Through the prototyping, customers can validate whether the specified requirements are consistent with what they really need. Thus, we can obtain the correct and reliable formal requirements model during requirements analysis phase. Currently, there is still no successful result on this research problem. The proposed research will make theory close a big step to practice in software engineering, which is very valuable and meaningful.
需求分析和验证是软件工程中的重要课题之一。本课题将应用rCOS形式化方法支持软件系统需求模型建立及其一致性验证。功能需求,即UML中的用例(use case)可以定义成为由一组按UML系统时序图控制的系统操作(system operations)构成, 而每个系统操作又可形式化成一对前后置条件。我们将扩充已有的理论并开发相关的软件支持工具,用以支持RUP迭代增量统一开发过程的形式化需求模型生成,及需求之间一致性的检查。扩充和利用已开发的基于OCL的原型(prototype)自动生成工具AutoPA，快速生成系统需求模型的原型Java代码。从而用户可以确认需求功能是否是其所需。如此可在需求分析阶段,得到正确可靠的形式化的需求规范。目前这方面的研究还在摸索实验阶段。此研究可使理论向实际软件工程靠近一大步,是非常有价值和意义的。

结项摘要

需求分析和验证是软件工程中的重要课题之一。本课题将应用rCOS形式化方法支持软件系统需求模型建立及其一致性验证。功能需求,即UML中的用例(use case)可以定义成为 由一组按UML系统时序图控制的系统操作(system operations)构成, 而每个系统操作又形式化成一对前后置条件。我们扩充了已有的理论并开发相关的软件支持工具,用以支持RUP迭代增量统一开发过程的形式化需求模型生成,及需求之间一致性的检查。开发完成需求建模和验证工具RM2PT，快速生成系统需求模型的原型 Java代码。从而用户可以确认需求功能是否是其所需。.通过研究从UML状态图到B形式规范的转换规则,提出了一种基于XMI的状态图到B形式化规范的自动转换方法,并使用J ava语言实现了自动转换工具 UML２B. 如此可在需求分析阶段得到正确可靠的形式化的需求规范。本项目给出了一个列车控制系统需求分析的实例研究。目前需求分析和验证的研究还在摸索实验阶段,此研究可使理论向实际软件工程靠近一大步,是非常有价值和意义的。

项目成果

期刊论文数量（10）
专著数量（0）
科研奖励数量（0）
会议论文数量（2）
专利数量（0）
Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers
Medshare：用于自主医疗保健提供商之间共享医疗资源的新型混合云
  • DOI：
    10.1109/access.2018.2865535
  • 发表时间：
    2018-03
  • 期刊：
    IEEE Access
  • 影响因子：
    3.9
  • 作者：
    Yang Yilong;Li Xiaoshan;Qamar Nafees;Liu Peng;Ke Wei;Shen Bingqing;Liu Zhiming
  • 通讯作者：
    Liu Zhiming
Predicting oral disintegrating tablet formulations by neural network techniques
通过神经网络技术预测口腔崩解片配方
  • DOI：
    10.1016/j.ajps.2018.01.003
  • 发表时间：
    2018-07-01
  • 期刊：
    ASIAN JOURNAL OF PHARMACEUTICAL SCIENCES
  • 影响因子：
    10.2
  • 作者：
    Han, Run;Yang, Yilong;Ouyang, Defang
  • 通讯作者：
    Ouyang, Defang
Automated Prototype Generation From Formal Requirements Model
根据正式需求模型自动生成原型
  • DOI：
    10.1109/tr.2019.2934348
  • 发表时间：
    2018-08
  • 期刊：
    IEEE Transactions on Reliability
  • 影响因子：
    5.9
  • 作者：
    Yilong Yang;Xiaoshan Li;Wei Ke;Zhiming Liu
  • 通讯作者：
    Zhiming Liu
An Integrated Transfer Learning and Multitask Learning Approach for Pharmacokinetic Parameter Prediction
用于药代动力学参数预测的集成迁移学习和多任务学习方法
  • DOI：
    10.1021/acs.molpharmaceut.8b00816
  • 发表时间：
    2018-12
  • 期刊：
    Molecular Pharmaceutics
  • 影响因子：
    4.9
  • 作者：
    Ye Zhuyifan;Yang Yilong;Li Xiaoshan;Cao Dongsheng;Ouyang Defang
  • 通讯作者：
    Ouyang Defang
MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture.
MicroShare：通过微服务架构实现隐私保护的医疗资源共享
  • DOI：
    10.7150/ijbs.24617
  • 发表时间：
    2018
  • 期刊：
    International journal of biological sciences
  • 影响因子：
    9.2
  • 作者：
    Yang Y;Zu Q;Liu P;Ouyang D;Li X
  • 通讯作者：
    Li X

数据更新时间：{{ 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：
    10.13227/j.hjkx.202107083
  • 发表时间：
    2021
  • 期刊：
    环境科学
  • 影响因子：
    --
  • 作者：
    杨洲;张志强;杨静;卢金锁
  • 通讯作者：
    卢金锁
一种基于LDA的k话题增量训练算法
  • DOI：
    10.13229/j.cnki.jdxbgxb201504032
  • 发表时间：
    2014
  • 期刊：
    吉林大学学报（工学版）
  • 影响因子：
    --
  • 作者：
    辛宇;杨静;谢志强
  • 通讯作者：
    谢志强
针灸对脓毒症疗效与安全性的系统评价
  • DOI：
    10.7507/1672-2531.201910006
  • 发表时间：
    2020
  • 期刊：
    中国循证医学杂志
  • 影响因子：
    --
  • 作者：
    唐艺丹;杨静
  • 通讯作者：
    杨静
不同植被类型人工绿地土壤饱和导水能力、持水特征的比较
  • DOI：
    10.19336/j.cnki.trtb.2020070503
  • 发表时间：
    2021
  • 期刊：
    土壤通报
  • 影响因子：
    --
  • 作者：
    李青林;杨静;王琨;王彪;严令斌
  • 通讯作者：
    严令斌
衰老相关分泌表型与血管衰老的研究进展
  • DOI：
    10.3760/cma.j.issn.0254-9026.2017.10.022
  • 发表时间：
    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技术路线图

杨静的其他基金

动态场景下智能机器人视觉持续学习灾难性遗忘问题研究
  • 批准号：
  • 批准年份：
    2021
  • 资助金额：
    37 万元
  • 项目类别：
喀斯特不同生境土壤—表层岩溶带水分赋存特征及其与植被的互馈机制
  • 批准号：
    42161009
  • 批准年份：
    2021
  • 资助金额：
    36 万元
  • 项目类别：
    地区科学基金项目
喀斯特坡地土—岩结构对降雨入渗产流特征的影响机制
  • 批准号：
    41807175
  • 批准年份：
    2018
  • 资助金额：
    25.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
客服二维码