约束描述语言相关论文
Internet的普及使得软件的运行平台从单机环境发展为开放性、异构性的网络环境。这不仅使软件本身的规模迅速增长，同时也增加了软件......
在该系统中,用户可用形式化的约束描述语言描述系统约束规则,并可自行定制工作流模板及其任务环节.系统还提供对任务、约束规则和......
在企业信息泄密层出不穷的今天,计算机系统的安全性问题越来越被企业所重视。尤其是在分布式系统中,由于企业信息的共享,安全性尤......
针对现有用户-用户的角色转授权模型存在授权冲突问题，基于转授权的组件、相关性质以及约束规则，提出了一种约束转授权模型，该模型满......
该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言。并设计实现了该语言的编译器。详细介绍了语言特性以及为......
一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型—T-RBAC。该模型采用了以任务为中心......
近年来，工作流技术在计算机应用领域迅速发展。在人员密集型的办公环境，如银行、证券以及行政管理等行业中得到广泛的应用。同时工作......
