【摘 要】
：
工作流过程验证领域存在的问题是:通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低。文章提出了一种通用Petri网工作流建模和验证方法。以常规信息系统的一个工作流程为例,构建基于随机Petri网的工作流模型,从静态角度给出正确的工作流模型结构标准,从动态角度给出正确性验证方法及有关规则,并分析了模型的正确性,通过冲突分析说明该模型结构不存在死锁结构、不可达节点、同步
论文部分内容阅读
工作流过程验证领域存在的问题是:通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低。文章提出了一种通用Petri网工作流建模和验证方法。以常规信息系统的一个工作流程为例,构建基于随机Petri网的工作流模型,从静态角度给出正确的工作流模型结构标准,从动态角度给出正确性验证方法及有关规则,并分析了模型的正确性,通过冲突分析说明该模型结构不存在死锁结构、不可达节点、同步丢失等现象。研究结果表明:随机Petri网及其扩充形式便于描述异步、并发、并行等情况、一定程度上解决状态
其他文献
北京辰兴环宇高新技术发展有限公司在向北京市科委申报2006年度重点新产品计划项目中,涉嫌伪造《商用密码产品生产定点单位证书》、《商用密码产品销售许可证》和《商用密码产品技术鉴定证书》。经北京市国家密码管理委员会办公室调查核实,该公司所持商用密码有关资质证书均系伪造。北京辰兴环宇高新技
声明:本十大安全漏洞由NSFOCUS(绿盟科技)安全小姐根据安全漏洞的严重程度,利用难易程度,影响范围等因素综合评出,仅供参考。Http://www.nsfocus.net/index.php?act=sec_bug&do=top_ten
分片代数曲线是经典代数曲线的推广．贯穿剖分上的分片代数曲线的Nther型定理对构造二元样条空间的Lagrange插值适定结点组有非常重要的作用．文中利用二元样条的性质,给出了任意三角剖分上分片代数曲线的N(?)ther型定理．
鲁棒水印技术通常被用于版权保护和所有权声明等目的。许多提出的水印方案通常把水印嵌入在变换域内,如2维的DFT域、DCT域和DWT域以及3维的DCT域、WT域。前3个域主要被用于2维的图像载体,而后2个域主要被用于3维的视频载体和3维的图像载体。在本文中,一种基于3维提升可分离小波(3-D SWT)的灰度图像水印方案被提出。首先,通过之字扫描把灰度图像分解为3维的图像序列,然后使用3-D SWT变换
作者:(美)霍格兰德(Hoglund,G.),(美)巴特勒(Butler,J.)著;韩智文译出版社:清华大学出版社出版日期:2007年04月
采用递推算法计算任意数目三维层状单轴各向异性介质的并矢Green函数.根据层界面处电场和磁场的连续性条件得到3个确定Sommerfeld积分待定系数的线性方程组,分别对应于垂向单位电偶极子产生的TM波、水平方向单位电偶极子产生的TE波和TM波,这些方程组均可通过递推算法求解.只需改变3个线性方程组中源项元素的位置,就可以方便地得到当源点和场点在任意层时的并矢Green函数.通过将积分路径在复平面变
文章针对B/S结构中数据库安全访问机制的缺点,利用Oracle触发器的强大功能,结合计算机IP的唯一性构建用户自定义的安全访问机制,并记录用户登录及操作日志,有效地提高了数据库的安全性。
为了增强图像隐藏的安全性,文章在传统的数字图像隐藏方法的基础上,结合混沌序列和图像加密技术,提出了一种改进的图像隐藏方法。首先应用混沌系统的产生混沌序列,用混沌序列来替换图像的隐藏参数进行图像隐藏,然后对隐藏的结果图像做进一步处理,包括行列双向异或置乱和图像像素置乱。实验结果表明,该方法具有较好的安全性,较高的加密效率,能够有效抵抗已知明文攻击。
随着网络的不断发展,网络的安全问题也受到了瞩目,而校园网的安全问题就是其中之一,好的校园网必须要有一套好的安全体系为其做保障,必须采用多种安全技术对其进行维护。随着基础设施的不断投入与升级,基于校园网的应用得到迅速发展,这些应用迫切需要校园网统一身份认证系统的支持,基于LDAP的UIA,利用分布式的目录信息树结构,对用户身份信息和系统控制信息进行有效的组织和管理,可以提供高效安全的目录访问。
声明:本十大安全漏洞由NSFOCUS(绿盟科技)安全小姐根据安全漏洞的严重程序,利用难易程度,影响范围等因素综合评出,仅供参考。