【摘 要】
：
业务流程模型的正确性,尤其是对时间约束要求比较严格的模型,是组合服务领域的重要研究内容。模型验证是保证业务流程可信任的重要方法.近年来,BPMN被广泛接纳作为业务流程描
【机 构】
：
北京航空航天大学计算机新技术研究所,北京100191
【出 处】
：
2010年全国软件与应用学术会议(NASAC2010)
论文部分内容阅读
业务流程模型的正确性,尤其是对时间约束要求比较严格的模型,是组合服务领域的重要研究内容。模型验证是保证业务流程可信任的重要方法.近年来,BPMN被广泛接纳作为业务流程描述用以指导服务组合。模型的正确性不仅依赖模型的逻辑结构,而且依赖定量属性,如时间属性.本文将BP圳模型转换为等价的时间Petri网模型,在此基础上提出一种检验方法,支持对模型结构和时间约束的验证。在该方法基础上,设计并实现了业务流程模型验证工具BPMV。
其他文献
针对山区公路改造工程中常出现的路肩式挡土墙背填土与旧线路基沉降不均引起路面开裂的现象，开展了基于离心模型试验的衡重式路肩挡土墙的墙背路基填土加筋效应的分析。试验数
复合排水材料是一种新型的路基内部排水材料，与传统的排水材料相比，具有排水能力强、抗压强度高、施工简便、滤材可选、耐久性好等诸多优点。
水力性能是复合排水材料的重
地下煤炭的开采引起采动区道路大幅沉降。常规处理方法为直接回填土后再进行放坡，这种方法即浪费土地，经济上又不合理。双面加筋土挡墙能解决此类问题。本文以数值模拟实验为主
新疆天业(集团)有限公司充分利用资源丰富、地理位置独特等优势和国家政策的支持，按循环经济的发展理念，采用先进技术，建设大型氯碱生产基地。
介绍了ELE-9000型电化学整流调节器所采用的现场总线技术、全数字化控制技术、基于触摸屏的人机界面技术的特点和功能。该调节器应用先进的技术和工艺，大大提高了整流系统的自
研究了BCIM、TCTM、TCDM、B1-HABI和B2-HABI五种六芳基双咪唑化合物的紫外吸收性能，B1-HABI在365nm的摩尔消光系数为10540,比SBCIM和TCTM分别高38倍和28.5％，在405nm的摩尔消光系
UV-LED光固化作为UV辐照固化领域的新技术，已在众多领域广泛应用，在“高效、节能、环保”等方面已表现出卓越的性能，大功率UV-LED光源的封装应用，将会进一步弥补功率不足造成的系
建立了光引发剂907合成工艺控制中反应原料、中间体及产物的气相色谱快速分析方法。选用SE-54石英毛细管柱程序升温进行分离，FID氢火焰离子化检测器进行检测。原料苯甲硫醚、
自20世纪60年代开始，光固化技术广泛应用在涂料、油墨、胶黏剂、微电子、齿科修复和生物材料等领域，国内国外市场发展迅猛。光引发剂(photoinitiator)是光固化体系的关键组成部
数据处理流程在信息爆炸的今天应用广泛并呈现出海量和并行的特点,MapReduce编程模型的简单性和高性价比使得其适用于海量数据的并行处理,但是MapReduce不支持多数据源的数据