【摘 要】
：
在该系统中,用户可用形式化的约束描述语言描述系统约束规则,并可自行定制工作流模板及其任务环节.系统还提供对任务、约束规则和权限的灵活管理.在流程执行过程中,系统提供
论文部分内容阅读
在该系统中,用户可用形式化的约束描述语言描述系统约束规则,并可自行定制工作流模板及其任务环节.系统还提供对任务、约束规则和权限的灵活管理.在流程执行过程中,系统提供适当的受权机制来保证权限的授予与撤消和工作流的运行状态同步.约束子系统作为该系统一个重要组成部分,提供约束的描述和管理功能.该子系统主要包括约束配置器、约束分析模块和约束处理模块三个部分.约束配置器提供定义各种冲突集合、实时管理以及形式化描述约束规则的图形界面,以及不定时检测系统约束规则的功能.约束分析模块是TCL编译器,负责分析执行TCL语句.约束处理模块负责处理各种约束检测请求.在约束子系统的形式化描述中,提出了基于任务的约束描述语言(TCL2000).TCL2000是在RCL2000语言的基础上,结合工作流管理系统自身的特点而设计的.与以前的约束描述语言相比,TCL20000是基于任务,而不是基于角色.TCL2000具有很强的表达能力,不仅能描述已存在的约束,而且还能描述新形式的约束,尤其有利于对动态约束进行描述.TCL2000的引入为整个安全工作流管理系统中的系统安全策略的实现提供了有利的保证.
其他文献
该设计电子商务企业网站---鞍山工业园网站是结合鞍山企业的需求和为了更好地进行企业与其他方面之间的交流,更好地体现电子商务网站的实质,进行后台管理来实现的.该系统包括
物联网的出现，打破了传统的硬件、网络与软件各自分离的思维模式，将硬件设施、网络技术与软件应用看做一个有机整体，并以此为平台实现用户的生产和生活需求，目前最为广泛的应用是
通信网管系统是通信产业中的新兴的智能化科技，主要采用商定的具有标准协议和信息的接口进行管理信息交换，其主要目标是要最大限度地利用电信网络资源，提高网络的运行质量和效率
随着世界经济全球化和一体化的发展，电子数据交换已经成为企业参与贸易竞争的重要手段。而作为电子商务主体的企业对企业的电子商务，也特别需要安全高效的数据交换的支持。传统
该论文结合某航空测量数据采集系统的研究背景,研究基于实时Linux的实时软件.文中综述了实时Linux的开发及应用现状,并对实时Linux系统内核的构造机制、设备驱动程序开发技术
“信息系统体系结构”（InformationSystemArchitecture）是用来描述信息系统构成成分及其相互之间的关系的一种模型理论,可以用它来指导信息系统的规划和设计.该文以国际集装箱
Globus是计算网格技术的典型代表,它帮助规划和组建大型的网格试验平台,开发适合大型网格系统运行的大型应用程序.Globus力图实现计算网格结构来提供对高性能远程计算资源普
发展智能交通系统是解决交通问题日益恶化的关键.该文介绍了ITS和中间件的有关内容,详细分析了CORBA的体系结构和对象模型;分析了网络信息交换系统架构采用CORBA架权的原因.
为了能更好地支持决策分析,发挥数据的更大价值,数据仓库技术应运而生.其中,联机分析处理(OLAP)是数据仓库最主要的应用之一.该文从提高数据仓库和OLAP系统性能的角度出发,讨
在计算机网络迅猛发展的今天,网络入侵检测成为愈加重要的问题,利用人工免疫的思想和机制来解决网络入侵检测问题已经成为该研究领域的前沿课题.该篇论文在分析网络入侵检测