正确性保证的私有过程建模方法

来源 :电子学报 | 被引量 : 0次 | 上传用户:wawayu0bell212
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
私有过程是构建协同业务过程基础,其正确与否对业务协同实施产生直接影响.为此,提出了一种逐步求精构建私有过程的方法.首先,定义私有过程,并将其控制流抽象为四种基本块,即顺序块、并发块、选择块及迭代块;然后,针对四种基本块提出各自的精化规则,并以此为基础提出了私有过程构建方法;最后,从理论上证明了通过该方法建立的私有过程具有工作流网特性且是正确的.通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的工作,本文方法能够更加有效地对私有过程进行建模.
其他文献
为解决在CMDSS实验室现有的船台MBDP终端设备上进行船台与岸台之间 通信的训练要求,我们研制了NBDP岩台模拟训练系统。结合研制中遇到的问题,对系统原理,系统功能作一理论阐述。
近年来,我国反垄断民事诉讼案件数量不断增加,但均为个别诉讼案件。个别诉讼不能有效弥补分散的众多受害者的利益损失。集体诉讼制度兼具维护公共利益及大量、小额的私人利益
为解决GMDSS实验中DSC设备少和液晶显示清晰度差等问题,编制了DSC辅助训练程序并在教学中使用,现介绍这一程序的编制方法,并对开展计算机辅助教学作一些探讨。
本文基于安全系统工程理论,对影响地铁施工风险的各个因素进行分析和总结,建立评价指标体系。利用三角模糊数层次分析法,对各个因素进行单排序和总排序,得到其最终目标的权重排序
摘要:《春秋繁露》一书包含数篇以“郊祀”为主题的篇章。郊祀原为国君于国都郊外祭祀至上神的典礼,《春秋繁露》依据《春秋》与《孝经》等儒家经典,说明“祭天于郊”之礼的规定、位置、作用及性质等,同时对此赋予德行与教化的意涵,亦即使其伦理化及政治化。《春秋繁露》的郊祀论是在董仲舒学术思想——春秋学、政治论及天人感应论等——的理论前提下形成的,并非神祇信仰或神秘思想的产物,而是汉代儒家经学将“宗教”转为“人
<正> 在现实的条件下,为了搞活国有企业,盘活国有企业的存量资产,加速企业资产市场化的进程,需要寻求一条有效的改革国有企业的方式,而企业托管经营是其中之一。因为它能够提
<正> 老年慢性肾功能衰竭患者往往存在着程度不同的肾性骨质疏松。我们对29例老年慢性肾衰(CRF)的患者骨矿含量、骨密度和钙磷代谢进行测定,现报告如下。1 材料与方法1.1 一
运动强度是身体练习的科学性,定量化和安全的核心问题,中老年体育锻炼如果不重视运动强度问题,轻则达到不应有的效果,重则可能导致伤害事故,甚至及生命,所以应该把它摆到十分重要的
在桥梁工程中,桩基静载试验自平衡测法是一项重要的手段,通过这种方法能够有效测量桩端阻力与桩侧摩擦力之间的静荷载,大大提高了测量的准确性,同时相比于传统的静载试验法,这种方