客户需求获取与分析方法研究

从客户需求信息入手,提出了一个基于语义Web的客户需求获取与分析框架,在此基础上采用OWL本体语言对产品的信息模型和客户需求信息进行了描述.然后讨论了基于语义Web的客户需求的推理过程,并通过推理机对客户需求信息进行自动推理,从而获取具体、真实的客户需求.最后结合某企业的电饭煲实例对该方法的有效性进行了验证.     

基于生成图的工作流多过程动态 时序一致性验证方法

 提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.     

基于时态关系代数的工作流引擎

对于工作流系统中普遍存在的时态信息,由于后台关系数据库管理系统难以很好处理,造成工作流引擎需要进行相关的时态信息处理。提出在时态数据库平台上建立工作流管理系统的架构,并采用时态关系代数描述工作流引擎运行中涉及的时态信息,证明了该架构的优势。最后以一个例子分析该架构下的工作流执行过程。     

面向工作流的组织记忆描述模型与实现

为在知识密集型工作流中捕获组织中的知识或信息并嵌入到流程中，提出了一种面向工作流的组织记忆描述模型，设计了基于本体的组织记忆描述模型到面向对象模型的映射器，在此基础上给出了面向工作流组织记忆的实现框架。它根据工作流上下文获取支持信息，支持对语义Web内容的集成，并提供了易于被现有工作流开发人员使用和掌握的工具包，因此提高了上下文感知能力、集成性和可用性。     

基于本体论的农业知识的OWL描述

基于本体的信息交换特性，采用知识本体来表示农学领域知识。首先开发出农业知识本体；然后建立概念、概念之间的继承、实例，以及多种约束关系来表达高度共享和重用的农业领域知识；最后针对虚拟农作物生长系统开发平台中知识引擎对作物生长模型脚本的要求，用OWL描述了农业知识本体，通过实际应用，证明了该方法是可行且有效的。     

计算机应用

0323729一个基于 TWF-net 的扩展时间工作流模型及其应用[刊]/杜栓柱//计算机研究与发展.—2003,40(4).—524～530(L)时间约束是分布式企业工作流程建模中的一个重要因素。基于时间 Petri 网工作流模型(TWF-net),通过分析 TWF-net 模型不足之处,建立了一种新的时间Petri 网工作流模型——扩展时间 Petri 网工作流模型(XTWF-net),通过构建规则,可将多个 TWF-net 合并     

基于角色的时态对象存取控制模型

以基于角色的存取控制模型RBAC₃为基础,提出一种新的时态对象存取控制模型TRBAC,讨论了模型的构成要素,体系结构,时态多重继承机制和存取控制方法.它支持时态用户、时态角色和时态客体及其层次结构,具有动态存取控制功能,在时态数据库和工作流系统等领域会得到广泛应用.     

UBOM:一个基于UML的本体建模工具

企业应用集成和跨企业的应用集成是当前企业信息系统面临的主要挑战,不同应用或系统之间的数据、信息、知识的交换和共享成为研究的焦点.作为概念的规范,本体为领域内人员之间、应用系统之间的通信、信息交换和知识共享提供了一个公共语义平台,是信息集成、应用集成的重要使能技术.DAML+OIL、OWL等基于XML面向WEB的本体描述语言得到了广泛重视,但却存在由于缺乏标准的元建模体系结构而导致语义不清晰等问题,也缺乏必要的可视化建模标准.另一方面,相对成熟的统一建模语言(UML)有明确的模型层次,清晰的语义,已经在软件工程、业务建模等领域得到了广泛使用.本文针对OWL存在的问题,以UML为基础,开发了一个本体建模元模型以及模型元素的可视化表示法,并在开放源代码项目ArgoUML的基础上,实现了一个支持DAML+OIL和OWL的本体建模工具UBOM,支持软件开发人员基于UML开发自有本体库,实现语义使能的应用集成.     

支持工作流和团队协作的增强RBAC模型

针对传统的访问控制模型不能直接应用到工作流和团队协作环境中的现象,本文提出了一种支持工作流和团队协作的增强RBAc溪型,通过添加工作流任务、工作流上下文、团队和协同约束等组件,扩展RBAc核心模型,以解决在工作流和团队协作环境中对信息访问控制的特殊要求,提高工作流管理系统的安全性和灵活性。     

基于领域本体的电子目标情报信息融合方法

针对不同电子目标情报系统之间难以进行信息共享与信息融合的问题,提出一种基于领域本体的电子目标信息融合方法,重点阐述了基于领域本体的电子目标信息融合的具体流程,在利用Protégé软件和OWL语言构建电子目标领域本体的基础上,对同一实例进行信息更新并对不同本体进行信息融合.     

基于本体的业务流程管理系统技术的研究

在业务流程管理领域引入了本体思想,探讨了业务流程本体的构建。具体介绍了对业务流程基本概念模型的构造,并以电子图档借阅管理流程为例,用OWL语言对流程本体进行形式化描述。还提出了一种基于Jena的信息检索方法,介绍了Jena的推理机制以及推理规则构造语法,并通过实例来说明Jena在本体的信息检索中的应用。     

基于时序约束分解的QoS感知的Web服务组合

基于时序约束的QoS感知的Web服务组合(TC-QSC)问题是在考虑时序约束的基础上寻找满足QoS约束或效用最大化的Web服务组合问题,受到了越来越多的关注.本文提出了一种时序约束分解方法,把施加于整个或部分工作流的时序约束分解为施加于每个活动的局部时序约束,从而将TC-QSC问题转换为一般的QoS感知的Web服务组合(QSC)问题,并通过过滤不满足局部时序约束的候选服务,一定程度上减小原问题的规模.这种时序约束分解过程主要依赖于工作流及其涉及的活动,而与各活动的候选服务关联不大,复杂度较低.实验测试了该方法的效果与时间开销,验证了其对于局部优选算法的必要性.     

可定制的GMP过程管理系统

国际医药行业推行的GMP(药品生产管理规范)是我国的制药企业进行药品生产必须通过的认证。针对药品生产企业实施GMP的需要,提出了支持本体表示技术的面向GMP的生产工作流管理系统。以工作流技术为核心,管理复杂的药品生产过程。对于记录药品质量检测和生产操作信息的表格式的生产记录,采用基于本体表示的技术,建立树型结构模型,并提供录入和检索功能。同时,设计了系统模型,并分析了系统各个部分的实现方法。最后,通过一个GMP流程的实现实例对系统的设计方法、实现思路作出了具体的介绍。     

The Pervasive Workflow: A Decentralized Workflow System Supporting Long-Running Transactions

Workflow technologies are becoming pervasive in that they enable the execution of business processes in distributed and ubiquitous computing environments. As long-running transactions, the execution of workflows in environments without dedicated infrastructures raises transactional requirements due to the dynamicity of resources available to run a workflow instance and the integration of relaxed atomicity constraints at both design and instantiation time. In this paper, we propose an adaptive transactional protocol for the pervasive workflow model developed in a previous work to support the execution of business processes in the pervasive setting. The execution of this protocol takes place in two phases. First, candidate business partners are assigned to tasks using an algorithm wherein the selection process is based on both functional and transactional requirements. The workflow execution further proceeds through a hierarchical coordination protocol managed by the workflow initiator and controlled based on a decision table computed as an outcome of the business partner assignment procedure. The resulting workflow execution is compliant with the defined consistency requirements, and the coordination decisions depend on the transactional characteristics offered by the partners assigned to each task. An implementation of our theoretical results relying on ontology Web Language for Series and Business Process Execution Language technologies is further detailed as a proof of concept.     

An implementation of collaborative adaptation of cognitive radio parameters using an ontology and policy based approach

The main objective of this paper is to demonstrate the feasibility of the ontology and policy based approach to realize collaborative, automatic adaptation of cognitive radio parameters in the transmitter and receiver. The ontology and policy based approach features the following three aspects. First, all the internal and external information of the radio is represented in the Web Ontology Language (OWL). The transmitter and receiver share the same core ontology and thus can communicate with each other using this common language. Second, the policy rules are written in a declarative form and interpreted by a reasoner. Third, in order to exchange the OWL represented information between the radios, we adopt a more flexible signaling plan, which is different than the conventional protocol-predefined signaling plan, i.e. the control messages are added to an extendable payload, rather than embedded in the predefined protocol-dependent header or trailer. The paper discusses the implementation and shows some examples of radio behaviors resulting from the execution of the policies.     

基于本体的校园地图智能检索系统的研究

针对用户在使用百度这样的通用搜索引擎查询大学校园内部的建筑设施信息时遇到的问题,提出了基于本体的校园地图智能检索模型.以A大学校园内的建筑设施信息检索为例,运用本体技术开发了一个大学校园地图智能检索系统.实际测试结果表明,该系统不仅提高了用户信息检索的查准率和查全率,并能够把信息对应的物理位置显示在地图中,使用户更加快速的查找到校园内部建筑设施的信息,从而改善了他们的办事效率.