协同业务过程的建模及正确性修正

来源 :软件学报 | 被引量 : 0次 | 上传用户:dashunyy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在的重复检测和调整,但这方面的研究较少,不能有效地应用于协同业务过程修正.为此,基于简单路径提出一种协同业务过程正确性修正方法.首先,在考虑活动同步及异步交互情况下,将部分正确协同业务过程行为抽象为完整的简单路径,并将其合并成核;然后,利用协调映射技术将核映射为修正业务过程,通过将所有的修正
其他文献
伴随着我国经济的高质量发展和5G时代的到来,新媒体作为大学生学习、生活的重要领域的情况愈发突出.认清当前新媒体环境下高校主流意识形态安全面临的现实情况,加强对大学生
在我国“十二五”合理规划下,高速公路事业得到飞速发展。由于高速公路运营具有大投入、长周期、高风险等特征,因此高速公路管理研究具有特别重要的意义。又由于现阶段高速公路
校园是地灵人杰之所、钟灵毓秀之地,同时也是我国传统文化的载体,是华夏文明传承的文化中心,所以"文化"是校园的灵魂。高校校园景观园林植物选择和造景与普通园林的区别在于
本文围绕新形势下中小企业如何转型做好跨境电子商务,提出做好市场定位、选准物流公司、改善信用状况、提高物流质量、确定价格合理和规范服务标准等措施。
在隧道施工过程中,管棚是一种十分有效的预支护手段,但其力学模型一直存在争议。文章建立了隧道开挖过程中管棚作用的力学模型,并结合具体工程进行了应用验证,揭示了管棚作用
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
随着我国教育的不断发展,体育课程改革随着基础教育改革的全面推进而进入改革的浪潮中。2011年1月我国教育部最新出台了《体育与健康课程标准》。这一标准的颁布与实施标志着