基于意图的软件需求形式化建模方法研究
基本信息
批准号：60503030
项目类别：青年科学基金项目
资助金额：22.00
负责人：刘璘
学科分类：
依托单位：清华大学
批准年份：2005
结题年份：2008
起止时间：2006-01-01 - 2008-12-31
项目状态： 已结题
项目参与者：刘强,宋斌恒,查海平,赵莉,孟晓阳
关键词：
意图及策略分析形式化方法概念建模软件需求工程
结项摘要
软件的成败直接取决于软件系统是否能够反映风险承担者的真实意图，以及系统参与者之间的策略依赖关系。现有的软件建模方法大都以系统的具体行为和数据为研究对象。这类方法在描述传统的静态封闭型系统中能够发挥重要作用，却难以有效描述和分析现代复杂开放分布网络环境下的新型服务软件及其设计过程。针对这一问题，本课题通过提高软件需求概念建模的抽象层次，将软件看作反映和实现人类意图及策略的主动实体（Agent），能够
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
3
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
4
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
5
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
刘璘的其他基金
批准号：60873064
批准年份：2008
资助金额：29.00
项目类别：面上项目
相似国自然基金
1
数据驱动的机器学习软件系统的形式化需求建模工程方法
批准号：61872144
批准年份：2018
负责人：缪炜恺
学科分类：F0201
资助金额：64.00
项目类别：面上项目
2
人工智能系统的软件需求建模方法研究
批准号：61902234
批准年份：2019
负责人：王皙
学科分类：F0201
资助金额：28.00
项目类别：青年科学基金项目
3
网络环境下基于群体协同的软件需求获取和建模方法研究
批准号：61432020
批准年份：2014
负责人：王怀民
学科分类：F0203
资助金额：350.00
项目类别：重点项目
4
软件服务化环境中基于间接交互的协同式需求建模方法研究
批准号：61272162
批准年份：2012
负责人：张伟
学科分类：F0203
资助金额：81.00
项目类别：面上项目