论文部分内容阅读
利用Petri网对工作流模型进行分析与验证是目前行之有效的一种方法.业务过程模型到工作流网的映射是工作流建模与分析过程中的一个难点,在深入分析了已有的任务结构的映射算法,本文提出了一种从XPDL到工作流网的映射方法,并结合SAX解析技术,给出了具体的映射算法.
基于XPDL的工作流网模型映射算法研究
【摘 要】
：
利用Petri网对工作流模型进行分析与验证是目前行之有效的一种方法.业务过程模型到工作流网的映射是工作流建模与分析过程中的一个难点,在深入分析了已有的任务结构的映射算
【机 构】
：
江苏省行政学院,河海大学计算机及信息工程学院,江苏南京,210098
【出 处】
：
第二届江苏计算机大会
【发表日期】
：
2006年期
其他文献
政府部门网站在电子政务建设中具有重要的意义.本文介绍了政府部门网站信息发布,与社会互动和网上办事等功能,简要说明了它们的基本设计与应用.
本文介绍了某倒转收进高层建筑振动台微粒混凝土模型设计的过程与制作的要点以及试验方法.原型结构自重较大及需满足重力不失真的条件等原因导致模型的几何相似常数较小,质量
会议
传统的数字水印算法在抵抗几何攻击方面存在不足,基于内容的数字水印算法将水印信息嵌入到图像比较稳定的特征周围来增强鲁棒性.本文分析和总结当前基于图像内容的水印算法的
采用高校液相测定了小儿参术健脾丸中橙皮苷的舍量,固定相为安捷伦C(18)柱(5μm,4.6mm×250mm),甲醇-水(45:55)为流动相,检测波长为283nm;橙皮苷在200.4～2004.0μg范围内,呈良
本文采用通信有限状态机模型描述构件化协议,基于通信有限状态机模型提出了构件化协议一致性测试的测试序列自动生成算法,解决了多状态机协议的测试序列生成的问题.文章应用
约束路由选择是流量工程中的核心技术,也是实现QoS业务的关键技术.讨论了基于MPLS的流量工程技术和约束路由算法,提出了一种基于MPLS-TE的约束路由算法.该算法可以保证链路的
Haskell是以数学逻辑为基础、基于λ演算的函数式语言.它包含了很多程序语言设计领域中最近的创新,是多年来函数式语言研究的结晶和顶峰.本文将Haskell语言应用到当前非常热
会议
高速乘法器常采用radix-4的Booth编码并用Wallace-tree进行中间结果的相加,但由于其算法的特点,导致在物理实现时很难设计成规则形状;文中提出了一种Wallace-tree的改进方案,
本文在对ESPRESSO算法进行理解消化吸收改进的基础上,提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法,该算法通过对基于积项表示
会议
介绍民间自发制定空气过滤器标准的过程.介绍现有过滤器试验方法与标识体系.协会标准是一种尝试.非官方标准化活动推动了中国空气过滤行业的发展.