共查询到19条相似文献,搜索用时 93 毫秒
1.
工作流监控是处理工作流运行期各种例外、保证工作流实例正确高效执行的有效方法.基于状态的工作流监控方法不仅可以实时处理实例执行过程中出现的各种例外、消除实例运行的阻塞,并能对任务执行进行必要的干预.但这类监控也经常造成工作流模型及实例的不一致,如不加以调整,会导致后续任务无法执行.在对ADEPT模型及过程实例进行形式化定义基础上,给出用于验证过程模型正确性和过程实例一致性的判定规则;提出一个基于状态的实时监控方法,该方法由一组状态转换原语和过程实例转换算法组成.采用该监控方法并结合上述判定规则,在完成各种监控任务的同时,保证了模型的正确性和过程实例的一致性.最后讨论了原语操作的完备性和一致性. 相似文献
2.
3.
本文提出一种基于集成可信身份识别和访问管理方法的安全可信网络框架,该框架提供了一种灵活建模和描述数字用户身份的机制,同时支持基于事务的隐私保护和个人数据获取,以及灵活的第三方问责机制与端到端的安全交流,从而完成可信认证。 相似文献
4.
王小龙 《计算机技术与发展》2013,(8)
网格监控系统种类繁多而且大多具有自身特定的应用领域,有必要对一般性的网格监控模块提供设计参考及相应分析评价方法。文中提出基于活动网络图为网格监控的数据处理流程建立工作流模型并进行语义描述。通过阐释网格监控架构和具有代表性的网格监控系统,总结分析了3种监控过程的一般数据流程,为典型的数据处理流程设计了工作流模型,给出了主要工作流模型的形式化说明。此建模方法有助于网格监控模块的设计,同时为面向网格监控的信息处理过程的分析与评价提供了一种可供参考的形式化语义。 相似文献
5.
在信息安全领域中,软件的可信是在可用性、可靠性和安全性的基础之上建立的,是软件开发人员和用户都十分关注的问题。本文总结了可信和软件行为的概念,分析了软件可信研究的主要问题和方法,基于信任的定义和软件行为的特点,提出了一种软件动态可信研究的方法及软件行为动态可信的若干要素。 相似文献
6.
7.
通过分析等级化信息系统安全应用支撑平台的设计结构,针对不同等级间信息系统的互联会导致许多额外风险等问题,将可信网络连接(TNC)思想引入到定级系统应用平台的互联中,提出了一种面向等级保护的多级安全域间可信互联方法,设计了域间多级可信网络互联的框架,说明了架构运行的控制流程,并将其应用到具体的等级化信息平台的互联中,给出了实际互联方案,并对互联可信性进行了分析。为保障等级化安全应用平台跨域互联的可信性和安全性,特别是减少不同等级应用平台互联带来的额外风险,提供了有效的互联技术框架和方法。 相似文献
9.
10.
随着工作流系统在企业运营中担负越来越重要的角色,工作流可靠性研究的重要性也日渐增加。文中提出了一套完整的工作流系统可靠性评估方法,帮助企业检验工作流系统的可靠性。首先,文中对工作流系统的体系结构进行分析,其中重点分析了工作流系统的流程及活动模式,提出一个以流程为基础的工作流可靠性评估方法。文中采用基于马尔可夫链的流程可靠性算法,将活动中的可靠性数据整合,计算流程的可靠性数据。在此基础上,基于Additive模型,根据流程的使用率将多流程的可靠性信息进行整合,最后求出工作流系统的可靠性数据。根据该方法,设计并实现了工作流系统可靠性评估软件,并通过在。 NET工作流平台上的实验,验证了该方法的可靠性预测效果是令人满意的。 相似文献
11.
12.
13.
14.
在许多企业或小区中,都建有独立的供水泵站,这种小型泵站多数采用变频恒压供水,现场控制.介绍了一种基于MCGS的恒压供水远程监控系统,实现了供水泵站远程自动控制与管理,具有广阔的应用前景. 相似文献
15.
提出基于多串口卡实现低成本的中波发射机通用实时监控方案;基于Windows API实现了多串口卡数据收发模块,并将中波发射机所需采集的模拟量、状态量以及执行命令分成实时数据和非实时数据两类,对这两类数据采用不同的采集频次,实现用户对实时数据监控的要求;对各发射机设备进行数据采集时采用了统一发送-流水接收的处理方式,即统一地给各发射机发送数据采集命令,而以流水的方式依次处理接收数据,提高数据采集的效率;监控系统在Delphi7.0+SQL2000平台下实现,实际运行表明,该监控方案是有效的。 相似文献
16.
对于分布式高性能计算系统来说,模拟免疫机理实现计算系统的性能监控和评估是一个崭新的研究途径.分析和比较了免疫机理和计算系统抗衰之间的异同,构建了基于多Agent的系统抗衰逻辑模型,模拟免疫机理对计算系统的性能进行监控、诊断和建立性能衰退的数学模型,并在仿真实验中评价了性能监控对于所监控的计算节点的影响.在此基础上以一个音像资源事务处理系统为背景进行了应用研究,给出了一个两阶段超指数分布的数学模型来评估性能.仿真实验和应用研究的结果表明方法是有效可行的. 相似文献
17.
网络监控系统的设计和实现 总被引:6,自引:0,他引:6
文中设计的网络监控系统使用软路由技术可以通过软件实现跨网段的连接,可以根据自己的需求在不同的网络上实现统一的监控管理。它可用于图书馆的管理系统、几个电子阅览室、语音室、多媒体教室等。软件全部代码使用VC++开发,对网络控制直接基于系统的底层进行设计,与操作系统结合紧密。它能实时地、动态地对所辖区所有监控元进行监视、控制与管理;采用多种记费方式。文中还给出了系统的实现情况。 相似文献
18.
贺军 《网络安全技术与应用》2014,(1):133-134
在计算机管理系统实际运用中,往往存在着不同程度的安全问题,主要体现在系统自身和外部因素两个方面。为了应对这些问题,需要根据实际情况采取相应的安全防控策略。文章介绍了计算机管理系统存在的安全问题,并根据具体情况提出了相应的安全防控策略,希望能够对加强计算机管理系统的安全防控提供指导。 相似文献
19.