上下文约束的访问控制模型与框架

安全策略往往是与环境信息动态相关的,包括时间、地点、用户信用等级、操作对象的属性与状态等等.在传统的访问控制模型基础上建立一个上下文约束的访问控制模型.定义广义的上下文概念,包含主体上下文、角色上下文、环境上下文和数据对象上下文.依据模型理论确定系统的模块划分以及模块的层级关系,建立了访问控制系统的概念框架结构.     

Web服务下基于属性的动态访问控制模型研究

针对面向服务的访问控制系统环境所具有的分布性、异构性和动态性特点,在分析了Web Service下访问控制主客体授权和上下文环境关联的基础上,提出了一种Web服务环境下基于属性的访问控制模型。采用Apache Axis2作为SOAP引擎,结合Sun XACML等相关开源工具完成了Web服务环境下ABAC模型的一个实现。本文所提模型,可以有效实现基于主体、客体和当前环境的属性来动态地、细粒度地进行WEB服务环境下的动态访问控制。     

环境信息可表达的信息服务描述模型研究

信息服务的可表达性是该项目关键科学问题之一。它是准确设计和表达服务流程与内容,提供动态、精准、可伸缩的信息服务,以满足用户不确定和多样性服务需求的关键。该报告面向异构融合网络环境,提出了环境信息可表达的信息服务描述模型,并基于此模型实现了支持环境描述的OWL-CS服务描述语言。具体工作有,首先分析影响信息服务调用、组合、协同的环境因素,将环境分为自然环境和社会环境两大类,其中服务的自然环境是服务部署和运行所依托宿主的软硬件环境,而社会环境是服务生态系统中体现的服务和服务之间的关系,以及服务和用户之间的关系。其次,给出环境上下文参数及度量方法,自然环境上下文是指用于刻画服务自然环境中的实体的任何信息,而社会环境上下文是指服务在相互作用过程中所表现出来的和社会属性相关的任何信息。再次,建立服务环境上下文元模型,设计实现了支持环境描述的OWL-CS服务描述模型。目前,语义Web服务的标准本体模型OWL-S的Service类包括了Service Profile、Service Model和Service Grounding三个类。该报告在此基础上在Service类中增加一个上下文类Service Context,该类用于描述服务的环境上下文信息。这种扩展方法,也使得OWL-CS和OWL-S兼容。通过Protégé4.3软件,可以展示OWL-CS的本体结构,并编辑生成具有环境描述的基于OWL-CS的服务描述文件。最后,该报告给出一个智慧校园中的实例,进一步说明环境上下文在服务选择中的作用。为了实现不同服务之间的信息交互和协作,需要提供一种统一的方法来描述服务的功能,以进行服务的理解、发现和协同。在环境敏感的场景下,更是需要统一描述服务环境的方法。国际上已有研究人员关注到服务上下文信息,提出上下文化服务(Contextual Service)的概念。本报告在国际上较早开展此类工作,特别是在服务环境建模、服务社会环境上下文的研究上具有自己的特色。     

基于QoS上下文的Web服务动态合成

针对QoS上下文在服务合成中的不同作用,文中提出将QoS上下文模型用于服务的动态合成.利用QoS反馈控制机制,根据用户的QoS要求,在环境QoS变化的情况下,对备选的服务进行动态选择、组合和执行,并使用遗传算法作为QoS反馈机制的控制器,保证了QoS指标的确定.实验和仿真结果表明,基于QoS上下文的服务合成能够动态、自适应地进行服务的组合,并满足用户QoS的指标和要求.     

基于BPEL的网格工作流系统

设计并实现了一个基于业务流程执行语言(business process execution language,BPEL)的网格工作流管理系统.针对满足网格环境中的特殊需求,如状态的交互、动态服务绑定、高吞吐量和可扩展性、界面友好的工作流定义工具等,分别提出了BPEL与Web服务资源框架(Web service resource framework,WSRF)整合方法、BPEL的简单集群架构和面向应用组件的工作流定义等.最后,给出了在中国教育科研网格公共支撑平台(ChinaGrid supporting platform,CGSP)中网格工作流系统的原型实现.实验结果表明,原型系统支持负载均衡是正确、可行和有效的.     

基于Petri网的Web服务动态组合

基于Petri网技术提出了一个Web服务模型,针对电子商务中的Web服务进行动态组合,形成复杂的业务服务. 给出了一种实现方案,分析了活动图的生成过程、任务指派、服务绑定等关键技术.     

浅析智能空间中的上下文服务

本文首先介绍了上下文服务和觉察上下文，接着分析了智能空间中的上下文服务的必要性，最后对智能空间中的上下文服务的解决方案进行了探讨研究。     

普适计算应用的结构模型

普适计算随着分布式计算和移动计算的发展而出现．分析了普适计算的特征和需求,提出了一个针对普适计算系统应用的包含上下文感知和服务发现机制的框架设计模型,并进行了深入讨论．     

具有版本管理及控制机制的CAD设计支撑环境

提出一个具有版本管理及控制机制的CAD设计支撑环境。本设计支撑环境具有管理设计进程的能力,支持各种类型的动态的设计,其主要应用对象是机械工程CAD设计。     

基于服务模板的动态工作流建模及实现

针对当前工作流管理系统难以应对企业组织流程变更的问题,基于服务模板技术,提出了一种动态工作流建模方法.首先以服务模板的形式建立动态工作流模型,完成整个业务流程的预定义和对应组织服务的绑定.在此基础上完成该模型的动态操作算法,实现工作流运行过程中对流程变更的发现与自动更新.最后以一个企业工作流项目实例来验证模型的可行性和...     

基于网络的便携式机器人管理系统

提出一种全新的便携式机器人的概念。研究了便携式机器人设计、便携式机器人管理系统的体系结构、控制管理模型以及任务的分配管理。在JINI基础上扩展了JINI的服务查找、分发机制。通过综合分析服务提供者状态、用户状态、系统性能以及上下文感知信息，经模糊决策确定是否给用户提供服务。本系统将通过“Pull”方式，或者“Push”方式给用户(或第三方用户)提供所需的网络服务。利用一个应用实例说明系统的应用情况。     

Ontology-Based Context-Aware Middleware for Smart Spaces

Context-awareness enhances human-centric, intelligent behavior in a smart environment; however, context-awareness is not widely used due to the lack of effective infrastructure to support context-aware ap- plications. This paper presents an agent-based middleware for providing context-aware services for smart spaces to afford effective support for context acquisition, representation, interpretation, and utilization to ap- plications. The middleware uses a formal context model, which combines first order probabilistic logic (FOPL) and web ontology language (OWL) ontologies, to provide a common understanding of contextual in- formation to facilitate context modeling and reasoning about imperfect and ambiguous contextual informa- tion and to enable context knowledge sharing and reuse. A context inference mechanism based on an ex- tended Bayesian network approach is used to enable automated reactive and deductive reasoning. The middleware is used in a case study in a smart classroom, and performance evaluation result shows that the context reasoning algorithm is good for non-time-critical applications and that the complexity is highly sensi- tive to the size of the context dataset.     

开放式网络环境下的上下文敏感的信任管理

为了更准确地反映出开放式网络环境下实体行为的不确定性和动态性,提出一种基于贝叶斯网络的信任管理方案.该方案显式地加入了上下文信息,并使用一种统计学方法推算出上下文信息对实体行为的影响因子.采用一种上下文间的信任度映射方法,使得实体能够根据一些相关上下文中的信任信息推算出其他实体在陌生上下文中的信任度.仿真结果表明,该方案的信任度估算比其他使用特定算法的系统更精确.     

面向普适计算的自适应中间件研究

针对中间件技术用于普适计算下存在的问题,对自适应中间件的体系结构展开研究,并结合普适计算的特点,以动态性、自治性为设计目标,提出了一个适用于普适计算,并具有上下文感知能力的自适应中间件模型.同时,对上下文感知方法及自适应策略进行详细讨论.     

基于Java和简单网络管理协议的动态分布式网管系统模型

提出了基于Java和简单网络管理协议（SNMP）的动态层次型分布式网管系统模型，解决了中间层管理者动态信息模型问题。利用Java语言的可动态加载特性实现了流动代码机制，利用第3版的SNMP的安全性保证了代码的流动。实现的原型系统的性能包括时间消耗的测量和分析，该模型具有简单、轻便、灵活和实用的特点，更新用例显示了该模型的有效性。     

基于隐马尔科夫模型的上下文感知活动计算

为了推理移动用户在智能空间的活动，提出了基于隐马尔科夫模型的上下文感知活动计算．首先按照上下文的定义，采用元组方法表示移动用户和智能空间，然后根据活动理论基本构成元素和面向客体活动原理来描述用户活动和智能空间的状态变化，最后引用隐马尔科夫模型建立起用户活动与智能空间状态变化之间的联系，从而实现活动计算．该模型可以完整地描述活动分解为动作的过程，还可以根据每种活动的动作链标记用户活动数据，却不需要用户直接参与数据的标记．将该模型的动作状态数与上下文感知经验采样工具（ESM）的动作状态数进行比较，结果表明该模型的平均活动识别准确度比ESM高25％．     

空间动态模型建模方法

GIS支持空间动态模型的关键是空间动态过程的计算和表达。对空间动态模型进行了形式化分析,给出了空间 时间离散状态表达、空间交互过程和时间反馈控制方法的理论描述。基于空间动态模型理论方法,对GIS地图代数进行了扩展,增加了表达空间动态系统的过程和关系（流）的数据模型和操作元语,并使用软件组件技术实现了支持空间动态模型的GIS组件—DynamicGC。该组件基于微软组件对象模型（COM/DCOM）实现,可支持 VB、Dephi、Visual C++ 等通用开发环境,也支持 VBA、VBSCRIPT、JAVASCRIPT 等脚本语言环境,为空间动态模型的建模语言提供了丰富的选择余地。作为该组件创建动态过程模型的应用实例,使用VBA创建了经典的“生命游戏”的元胞自动机模型。     

工作流的动态定制设计与实现

针对传统工作流中页面内容和流程处理的复杂性,提出以页面和流程动态定制为基础的工作流设计方法.建立了动态工作流设计模型,系统地给出了设计过程中动态页面和流程实现的主要因素.最后结合WEB系统设计的特点,在现有的OA系统中,利用ASP.NET/SQL SERVER 2000技术,以该理论模型为基础实现了动态工作流系统.结果表明,该动态工作流系统减少了开发人员的开发量和系统管理员维护量,且可满足用户丰富多变的需要.