【摘 要】
：
针对业务流程建模符号过程模型语义验证问题,提出了一种新方法。该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及
【机 构】
：
重庆大学机械工程学院,重庆大学自动化学院
【基金项目】
：
国家自然科学基金资助项目(70871127);高等学校博士学科点专项科研基金资助项目(20070611027);重庆市教育委员会科学技术研究资助项目(KJ08A03)~~
论文部分内容阅读
针对业务流程建模符号过程模型语义验证问题,提出了一种新方法。该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法。应用示例表明了该方法的有效性。
其他文献
地方历史名人是地方的榜样力量,能培养学生的爱国爱乡精神。教师在文言文、古诗、现代文文学类文本、实用类文本、作文教学中将地方历史名人引入课堂,可使学生有了学习的榜样
消费主义是一种崇尚和追求过度的占有和消费作为满足自我和人生目标的价值取向,以及在这种价值观念支配下的行为实践。消费主义在我国的经济生活、社会生活和思想意识领域造
为解决并联机器人"盲"工作状态,提高并联机器人的运动精度,构建了一种对并联机器人工作空间监测的双目主动视觉监测平台,并在双目主动视觉监测平台上给出了一种视觉空间目标
以工业应用的HZSM-5为催化剂,在连续固定床反应器中考察了反应温度和甲醇分压对甲醇制丙烯反应产物的影响,发现当温度大于450℃时,随着温度的升高,甲醇的转化率都能达到99%以
介绍传统的射频仿真球面阵三元组控制原理、过程,在此基础上提出一种新的任意阵面的射频仿真辐射源模拟控制方法,给出了通过任意三元组模拟合成一个辐射源的幅度位置控制公式
新世纪以来,由于非洲的安全局势依然不容乐观,更重要的是发展与安全相关联的观念得到欧盟的普遍认可。因此,欧盟调整了发展援助政策,使其与安全挂钩,并向安全化的方向发展。
<正>如今,城里人都崇尚享用山地鸡蛋,因其味鲜美,色鲜艳,气清香,无污染,在市场上的销售价格要比养鸡场圈养的鸡蛋价高一倍。但山区养鸡规模小,产品零星分散,要想进入大市场,
作为一部动画影片,2016年初上映的《疯狂动物城》体现了新时期迪士尼动画的进步与创新。影片讲述了一个怀揣着警察梦的兔子朱迪经受一系列的质疑后仍然不断追求梦想的故事。
环境问题是当今世界普遍关注的三大问题之一。我国作为发展中的社会主义国家,环境问题比较突出,主要表现在人口膨胀、森林锐减、水土流失、酸雨污染、水体污染等。主要是介绍
通过对木、贝壳珍珠层等自然复合材料强韧化的细观机理研究,应用仿生学原理,提出了一种新型蜂窝状钢管约束混凝土遮弹层结构;并对构成该新型遮弹层结构中的单个构件-钢管混凝