基于意图的软件需求形式化建模方法研究
基本信息
批准号：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：10.1051/jnwpu/20213920292
发表时间：2021
2
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
3
基于综合治理和水文模型的广西县域石漠化小流域区划研究
基于综合治理和水文模型的广西县域石漠化小流域区划研究
DOI：10.14050/j.cnki.1672-9250.2017.02.014
发表时间：2017
4
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
DOI：10.11842/wst.20190724002
发表时间：2020
5
出租车新运营模式下的LED广告精准投放策略
出租车新运营模式下的LED广告精准投放策略
DOI：10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间：2020
刘璘的其他基金
批准号：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
项目类别：面上项目