您的位置: 专家智库 > >

国家重点基础研究发展计划(2002CB312004)

作品数:20 被引量:97H指数:5
相关作者:金芝屈婉玲陆汝钤袁崇义刘璘更多>>
相关机构:中国科学院数学与系统科学研究院中国科学院中国科学院研究生院更多>>
发文基金:国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术医药卫生理学更多>>

文献类型

  • 20篇期刊文章
  • 1篇会议论文

领域

  • 20篇自动化与计算...
  • 1篇医药卫生
  • 1篇理学

主题

  • 6篇本体
  • 3篇环境本体
  • 3篇WEB服务
  • 2篇信任
  • 2篇软件工程
  • 2篇网络
  • 2篇基于本体
  • 2篇WEB
  • 2篇PETRI网
  • 1篇多视点
  • 1篇多项式
  • 1篇多项式时间
  • 1篇多项式时间算...
  • 1篇形式化
  • 1篇形式化验证
  • 1篇需求管理
  • 1篇需求规格说明
  • 1篇需求优先级
  • 1篇因果
  • 1篇有色

机构

  • 11篇中国科学院数...
  • 6篇中国科学院
  • 5篇北京大学
  • 4篇中国科学院研...
  • 3篇清华大学
  • 1篇合肥工业大学
  • 1篇多伦多大学
  • 1篇教育部
  • 1篇天津大学

作者

  • 11篇金芝
  • 4篇屈婉玲
  • 3篇刘璘
  • 3篇王捍贫
  • 3篇袁崇义
  • 3篇黄雨
  • 3篇陆汝钤
  • 2篇牟克典
  • 2篇吴步丹
  • 2篇侯丽珊
  • 2篇霍金健
  • 2篇徐春香
  • 1篇朱嘉奇
  • 1篇乔伟
  • 1篇杨晓光
  • 1篇蔡广军
  • 1篇何丕廉
  • 1篇刘宏峰
  • 1篇汪光辉
  • 1篇易利军

传媒

  • 3篇电子学报
  • 3篇计算机科学
  • 2篇计算机工程与...
  • 2篇计算机工程与...
  • 2篇中国科学(E...
  • 2篇系统仿真学报
  • 1篇系统科学与数...
  • 1篇计算机研究与...
  • 1篇模式识别与人...
  • 1篇南京大学学报...
  • 1篇计算机学报
  • 1篇Scienc...

年份

  • 1篇2009
  • 2篇2008
  • 1篇2007
  • 7篇2006
  • 4篇2005
  • 3篇2004
  • 3篇2003
20 条 记 录,以下是 1-10
排序方式:
非规范软件需求管理被引量:4
2004年
对软件需求阶段的非规范信息进行有效管理有助于改进需求获取过程 ,提高需求质量 .本文主要讨论了软件开发过程中常见的非规范需求并提出了以容忍不一致性的需求推理为核心的管理框架 ,来有效管理模糊需求信息、冗余需求信息等与不一致信息密切相关的非规范需求信息 .
牟克典金芝陆汝钤
多范例自动需求建模和分析:一种基于本体的方法被引量:31
2003年
提出基于组织本体的问题领域描述,用领域用户能够理解的术语与他们交互,引导他们提供需求,提出以问题领域描述为起点的多范例自动建模和分析方法,提出组织结构的合理性,组织目标的可实现性和组织过程的可行性等三个分析准则。分析的结果可以进一步引导领域用户补充和修改问题领域描述,分析完成后得到的问题领域模型可以作为前期需求文档,为进一步的软件需求建模提供依据。
金芝陆汝钤David A.Bell
关键词:软件工程
支持Web Services语义组合的框架IRS-Ⅱ:分析与讨论
2006年
Web Services 是基于 Internet 进行分布式计算的基本元素,面向 Service 的计算将成为未来计算技术发展的趋势。但如何能够自动发现需要的 Service 资源,提高 Web Services 组合的智能化程度,是近来的研究热点之一。IRS-Ⅱ首先提出基于任务本体的 Service 发布、发现和组合方法,可以说是将 Service 发现和组合从语法的层次提升到了语义的层次。本文首先深入分析了IRS-Ⅱ提出的方法及其体系结构,然后对 Web Services 的智能检索和服务组合的问题进行讨论。
吴步丹何丕廉金芝
关键词:WEBSERVICES
Automatically multi-paradigm requirements modeling and analyzing:An ontology-based approach被引量:11
2003年
There are several purposes for modeling and analyzing the problem domain before starting the software requirements analysis. First, it focuses on the problem domain, so that the domain users could be involved easily. Secondly, a comprehensive description on the problem domain will advantage getting a comprehensive software requirements model. This paper proposes an ontology-based approach for mod- eling the problem domain. It interacts with the domain users by using terminology that they can under- stand and guides them to provide the relevant information. A multiple paradigm analysis approach, with the basis of the description on the problem domain, has also been presented. Three criteria, i.e. the ra- tionality of organization structure, the achievability of organization goals, and the feasibility of organiza- tion process, have been proposed. The results of the analysis could be used as feedbacks for guiding the domain users to provide further information on the problem domain. And those models on the problem domain could be a kind of document for the pre-requirements analysis phase. They also will be the basis for further software requirements modeling.
金芝陆汝钤David A.Bell
一种基于社交关系模型的系统安全分析方法被引量:1
2006年
安全问题已经成为现今信息技术在企业应用中要解决的重要问题,本文提出一种设计安全系统的方法框架,这个方法基于面向主体的需求建模框架i*,通过社交概念模型来分析与安全相关的系统的业务和组织环境.这个方法框架把安全分析和一般的软件工程分析方法结合起来,把安全性和系统相关的其他功能性需求和非功能性需求的共同分析,对需求进行权衡,从系统设计的初始阶段起就把安全措施整合进去.本文通过网上购物的实例用i*图示分析了设计过程中的相关步骤.
向坚刘璘YU Eric
关键词:安全设计软件工程
基于环境变迁的构件组合模型被引量:4
2005年
Internet为分布构件的重用提供了平台,准确、高效的构件组合是新型软件生产的重要环节.针对新一代的软件模型.网构软件,本文首先建立了构件的环境本体,并提出将变迁图作为刻画环境本体的模型;其次提出了基于环境及其状态变迁的构件描述框架;然后针对网构软件的特征,提出了基于环境变迁的构件组合算法,最后用具体的案例展示了算法的可行性.
侯丽珊金芝
关键词:网构软件环境本体环境变迁
需求驱动的Web服务建模及其验证:一个基于本体的方法被引量:17
2006年
从Web服务所交互的环境角度出发,提出了基于环境本体的Web服务能力描述框架,从Web服务操作的环境以及操作导致的环境变化两个方面刻画Web服务的能力,并由此建立了需求驱动的Web服务组合模型.同时提出用π演算的进程表达式表示Web服务的行为语义,并建立了从Web服务概念化的能力表示到形式化的进程表示的自动转换机制,在此基础上给出Web服务组合的可行性验证算法及需求可满足性的验证方法.经过验证的Web服务组合模型可以作为备选执行方案之一反馈给需求提出者.
侯丽珊金芝吴步丹
关键词:WEB服务环境本体Π演算形式化验证
一种新的时段演算及其验证被引量:1
2008年
在Pandya提出的CTL*[DC]逻辑的基础上,对其语法和语义进行扩展,并对路径长度进行限制,定义了一个新的逻辑CTL*[k-QDDC],它可应用于实时系统的描述和验证.给出了在Kripke结构中直接验证CTL*[k-QDDC]逻辑公式在某状态是否成真的基本算法.在某些假设下,也证明了CTL*[k-QDDC]中的某个逻辑运算符的验证问题是NP完全的,这就说明CTL*[k-QDDC]的验证问题至少是NP难的.
梁爱丽朱嘉奇王捍贫屈婉玲
基于知识的UML图形文档自动生成被引量:4
2004年
基于领域本体的需求获取使得用领域术语描述用户需求,并进行应用模型的自动分析成为可能,以尽可能地保证需求描述的正确性和完整性。从以领域概念为背景的应用模型,到以软件概念为基础的应用软件模型,是需求工程要完成的一个实质性跨越。UML是目前软件需求描述的一个实际上的标准。该文主要论述了从基于领域本体的应用需求描述到基于UML的软件需求文档的自动转换过程,文章提出建立从领域本体概念到UML概念映射规则库,以及根据UML概念填写用XML表示的UML图元模板的规则库,设计并实现了一个基于规则的,从应用需求概念到UML图元模板的自动转换工具。
李娜金芝
关键词:企业本体UML需求规格说明
需求驱动的服务Agent协作及其协商框架被引量:3
2008年
传统的面向服务计算模式通常是包含中央控制结点的集中控制结构,多 Agent 理论和技术提供了另一种角度看待服务计算.本文将 Web 看成一种主动服务实体,即服务 Agent,服务计算模式演变为一种非集中式的、分布式结构.服务 Agent 主动发现需求并在需求吸引下聚集,通过功能本体和自动机制设计,得到需求解决方案.形成需求解决方案后,协作方案选择可以被归结为二部图上的0-1整数规划,这是一个 NP 完全问题.本文给出一种多 A-gent 协商框架,服务请求方和各服务 Agent 通过有限次协商交互最终达成协议,该协议选定服务 Agent 解决需求的一种协作方案.通过模拟对协商框架进行验证.
汤健郑丽伟金芝
关键词:服务AGENT
共3页<123>
聚类工具0