【摘 要】
：
BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生
【基金项目】
：
国家高技术研究发展计划(863计划);
论文部分内容阅读
BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程模板之间往往存在不一致情况.针对该问题,提出一种面向领域需求与业务流程一致性的模型检测方法,该方法使用变数线性时态逻辑(FLT[L)描述领域需求,同时使用状态进程公式(FSP)描述BPMN实例,在持续的迭代过程中使用自动化模型检测工具发现领域需求与业务流程之间的不一致,并将其反馈给相关人员实施修正.
其他文献
地质资料是指在地质生产工作中形成的文字、图表、声像、电磁介质等形式的原始地质资料、成果地质资料、实物地质资料以及地质科技档案等①。地质资料汇集了几代地质人的智慧
基于计算机视觉的人体运动检测是计算机视觉领域中备受关注的前沿课题。本文利用一个基于灰度、颜色和运动等时空特征的视觉注意模型,有效地提取出视频中包含运动信息的显著区域。将这一视觉注意模型与一个基于时空梯度特征提取与子块匹配的人体动作检测相结合,可弥补传统方法耗时长的不足,并提高了对噪声的鲁棒性。实验表明,利用该方法能有效提高人体动作检测的效率和准确率。
In accordance with the requirements of the National Key Technology R＆D Program of the 11th ＂Five-year Plan＂, a densified seismic network consisting of 26 seismic s
6月3日以来，长江中下游及以南地区迎来了较强降雨过程，赣、湘、黔、闽等省份的旱区在喜降甘霖的同时，部分河流或河段超警戒水位。发生了不同程度的洪涝灾害。长江水利委员会水文
网络编码是网络通信的一种新技术,可以优化网络的传输性能,其基本思想是网络节点不仅可以进行存储转发,还可以进行编码处理,有别于传统路由的传输方式。文章介绍了网络编码的
第十届中国长春国际农业食品博览（交易）会定于2011年8月12日-21日在长春净月经济开发区长春农博园举行。市农业局借助展会平台，广泛宣传双辽农业的资源优势和产业特色，突出双辽特
讨论湿陷性黄土的孔隙特征、胶结特征、显微结构类型与压实功的关系、黄土的湿陷机理等，提出了地基加固处理方法和膨胀法纠正建筑物微倾斜的技术方法，可供工程实践参考。
Based on the geochemical characteristics of oil-cracking gas and kerogen-cracking gas revealed by simulation experiments and the chemical composition of natural
The recovery of heavy oil by water flooding is 10％ lower than that of conventional crude oil,so enhanced oil recovery (EOR) is of great significance for heavy oi
从我国目前的实际情况出发,对储层地质摸型及建模方法步骤进行认真的介绍.并对储层建模的随机模拟技术的作用与方法进行阐述.