国家重点基础研究发展计划(2007CB7310800)
- 作品数：3 被引量：4H指数：1
- 相关作者：袁文杰应时吴可嘉姚俊峰胡罗凯更多>>
- 相关机构：武汉大学新疆大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于反射机制的OWL-S需求规约演化方法
- 2010年
- 软件系统面临用户需求、软件资源和系统上下文环境等方面变化的挑战,软件需求不可避免地要求持续的演化。反射目前被用于软件系统的运行时管理和动态演化等方面,但还没有用于软件需求规约的演化。提出了一种基于反射机制的OWL-S需求规约演化方法,通过描述支持OWL-S需求规约演化的元信息,并以合理的方式使用这些元信息,实现OWL-S需求规约的演化。利用这种方法,需求分析人员可以有效地管理需求变更,以一种可控、有序的方式完成需求规约的演化任务。
- 袁文杰应时吴可嘉姚俊峰
- 关键词：OWL-S
- 基于π演算的反射式需求规约描述方法被引量：3
- 2010年
- 目前,大多数学者都意识到需求演化的重要性,然而依然缺乏有效的方法指导需求演化。反射式需求规约通过描述支持OWL-S需求规约演化的元信息,并支持以合理的方式使用这些元信息,实现OWL-S需求规约的演化。本文提出了一种基于π演算的反射式需求规约演化模型,使得反射式需求规约的演化能够以一种正确的方式实现。针对OWL-S需求规约的特点,给出了OWL-S需求规约的π演算描述方法;使用高阶π演算的进程传递机制,描述了支持演化的反射式需求规约;给出了反射式需求规约演化正确性的推理与验证方法。同时,我们采用交通出行的例子论证了本文的观点。
- 袁文杰应时吴可嘉姚俊峰
- 关键词：Π演算
- 一种基于Agent的语义Web服务编制框架被引量：1
- 2010年
- 针对动态、开放网络环境下复杂多变的业务需求,本文在前期语义编程语言SPL研究的基础上,提出一种基于Agent和本体的语义Web服务编制方法,形成一个以语义编程语言SPL为核心的、可适用于将语义Web服务与多A-gent技术无缝集成起来的,进行语义Web服务编制的技术框架。框架实现基于SPL开发和运行支撑平台,该平台为语义Web服务和软件Agent提供必要的运行支持。
- 赵楷应时胡罗凯曾志浩袁文杰
- 关键词：AGENT多AGENT系统语义WEB服务
