期刊文献+
共找到33篇文章
< 1 2 >
每页显示 20 50 100
基于信任度的授权委托模型 被引量:30
1
作者 廖俊国 洪帆 +1 位作者 朱更明 杨秋伟 《计算机学报》 EI CSCD 北大核心 2006年第8期1265-1270,共6页
在开放式环境中,信任管理是最常用的一种访问控制方法.但是,目前存在的信任管理系统存在以下不足(1)没有刻画实体之间的信任程度,与现实情况不相符合;(2)委托深度没有得到很好的控制.针对上述问题,提出了一种基于信任度的授权委托模型—... 在开放式环境中,信任管理是最常用的一种访问控制方法.但是,目前存在的信任管理系统存在以下不足(1)没有刻画实体之间的信任程度,与现实情况不相符合;(2)委托深度没有得到很好的控制.针对上述问题,提出了一种基于信任度的授权委托模型——TBAD模型(Trustworthiness-BasedAuthorizationDelegationmodel),探讨了TBAD模型的一致性验证算法,并结合具体实例对TBAD模型的使用进行了说明. 展开更多
关键词 TBAD模型 一致性验证 信任度 证书链查找 委托深度
下载PDF
基于BIM的合规性自动审查 被引量:22
2
作者 林佳瑞 郭建锋 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2020年第10期873-879,共7页
建筑工程合规性审查是确保设计或施工方案满足规范,建设绿色、安全、舒适的工程的关键环节。传统人工核对方式对人员的经验及其水平要求高,存在尺度不一、低效漏项、人为操控等弊端。该文对近年来合规性自动审查的有关研究应用作了全面... 建筑工程合规性审查是确保设计或施工方案满足规范,建设绿色、安全、舒适的工程的关键环节。传统人工核对方式对人员的经验及其水平要求高,存在尺度不一、低效漏项、人为操控等弊端。该文对近年来合规性自动审查的有关研究应用作了全面调研和综述,建立了基于建筑信息模型(building information model,BIM)的合规性自动审查研究框架,并从审查规则解译表达、信息建模扩展、规则推理执行及结果输出表现等方面综述了研究现状和不足之处。最后,指出合规性自动审查的研究方兴未艾,尽管已取得了丰硕的成果,但是仍面临信息模型异构和语义鸿沟,规则自动解译和开放、灵活共享,复杂空间关系分析和大规模推理等巨大挑战。 展开更多
关键词 建设工程 合规性审查 自动规则检查 规则推理 建筑信息模型(BIM)
原文传递
基于BIM模型的结构设计审查方法研究 被引量:16
3
作者 张吉松 赵丽华 +2 位作者 崔英辉 任国乾 李海江 《图学学报》 CSCD 北大核心 2021年第1期133-140,共8页
建筑信息模型(BIM)作为建筑工程的数字化表达,正在成为实现建筑全生命期信息化、工业化和智能化的重要手段。以BIM模型作为设计交付成果是未来建筑设计领域发展趋势。然而,现阶段建筑结构设计的审查工作还是以人工手动审查为主,普遍存... 建筑信息模型(BIM)作为建筑工程的数字化表达,正在成为实现建筑全生命期信息化、工业化和智能化的重要手段。以BIM模型作为设计交付成果是未来建筑设计领域发展趋势。然而,现阶段建筑结构设计的审查工作还是以人工手动审查为主,普遍存在主观、效率偏低且易出差错等问题。因此,以框架结构模型审查为实例,通过关系数据库方法解析BIM模型数据,采用Java编程转译结构设计规范条文,提出一种基于BIM模型的结构设计审查方法。实现过程包括:①模型准备与信息映射;②规范条款分类和转译;③建立连接和代码执行。结果表明:该方法可以部分实现结构模型的自动化审查,提高了设计审查工作的科学性、可靠性和规范性,为今后全面实现设计审查的自动化和智能化提供了技术基础和参考方法。 展开更多
关键词 建筑信息模型 结构设计 合规性审查 关系数据库 JAVA
下载PDF
Hyperledger fabric-based consortium blockchain for construction quality information management 被引量:11
4
作者 Botao ZHONG Haitao WU +3 位作者 Lieyun DING Hanbin LUO Ying LUO Xing PAN 《Frontiers of Engineering Management》 2020年第4期512-527,共16页
Lack of trust has been an ongoing issue for decades in construction quality management,hindering the improvement of quality performance.The development of mutual trust depends on immutable,traceable,and transparent co... Lack of trust has been an ongoing issue for decades in construction quality management,hindering the improvement of quality performance.The development of mutual trust depends on immutable,traceable,and transparent construction quality information records.However,current information technologies cannot meet the requirements.To address the challenge,this study explores a blockchain-based framework for construction quality information management,which extends applications of blockchain in the domain of construction quality management.A consortium blockchain system is designed to support construction quality management in which participants’information permissions and lifecycle are discussed.Additionally,this study presents in detail the consensus process that aims to address the problem of information fraud.The automated compliance checking based on smart contracts is presented as well,aiming to assure that construction products meet regulation requirements.Finally,an example of the consortium blockchain network is visualized to validate the feasibility of blockchain-based construction quality information management.The research shows that blockchain can facilitate mutual trust in construction quality management by providing distributed,encrypted,and secure information records and supporting automated compliance checking of construction quality. 展开更多
关键词 blockchain construction quality smart contracts compliance checking information management
原文传递
自动审图及智能审图研究与应用综述 被引量:7
5
作者 林佳瑞 周育丞 +1 位作者 郑哲 陆新征 《工程力学》 EI CSCD 北大核心 2023年第7期25-38,共14页
审图,即设计审查,是保障工程设计安全、环保、舒适、合规的关键环节。针对传统人工审图成本高、主观性强、低效、易错等问题,智能审图应运而生并被广泛关注与应用。该文对近年来自动化审图和智能审图的研究与应用做了全面调研和综述,建... 审图,即设计审查,是保障工程设计安全、环保、舒适、合规的关键环节。针对传统人工审图成本高、主观性强、低效、易错等问题,智能审图应运而生并被广泛关注与应用。该文对近年来自动化审图和智能审图的研究与应用做了全面调研和综述,建立了相应的理论研究框架,并系统总结了智能审图的应用发展路径。当前,相关研究主要围绕图(或设计)的可计算性与规范(或知识)的可计算性展开,前者重点解决计算机如何识别、理解设计方案的问题,后者重点解决计算机如何理解规范知识并进行推理的问题。根据数字化与智能化的方式,可将智能审图相关应用实践分为数字化、感知智能、认知智能三个维度,其中审图流程及业务的数字化是基础,感知智能是CAD(Computer-Aided Design)识图、逆向翻模的技术支撑,认知智能则是知识推理计算的重要手段。最后,研究指出智能审图方兴未艾,在模型语义扩充、复杂工程知识表示学习、性能化设计审查、算法鲁棒性及透明性等方面仍面临着巨大挑战。 展开更多
关键词 智能审图 合规性审查 信息模型 知识推理 发展路径 综述
下载PDF
基于BIM与本体技术的建筑图规则审查方法研究 被引量:6
6
作者 王维欣 贾婧 +1 位作者 桂柯朴 高洁雅 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2022年第9期1346-1353,共8页
基于BIM与本体的自动化审图在智能建造领域具有重要价值,已有研究多为针对特定规范的审图工具开发,缺乏对规则的系统性、结构化分析及BIM数据映射的构建.以28个建筑设计及绿色建筑国家规范为研究对象,分析其审查规则的定义方式,得出具... 基于BIM与本体的自动化审图在智能建造领域具有重要价值,已有研究多为针对特定规范的审图工具开发,缺乏对规则的系统性、结构化分析及BIM数据映射的构建.以28个建筑设计及绿色建筑国家规范为研究对象,分析其审查规则的定义方式,得出具有统计意义的规则分类,构建基于IFC标准的表达模型.对于模型信息缺失,提出基于本体与IFC属性集扩展实现语义丰富的方法,以建筑设计规范为分析对象,将基于BIM模型图的审查流程进行了优化.以档案馆建筑设计规范中的审图规则与某档案馆工程BIM模型为实例进行了该优化流程的演示与验证. 展开更多
关键词 合规性审查 BIM 本体 IFC标准 建筑图
下载PDF
支持建设行业合规性检查的语义方法 被引量:6
7
作者 姜韶华 周涵 《土木工程与管理学报》 北大核心 2017年第5期60-65,89,共7页
基于国内外模型检测领域的研究现状,本文开展了支持建设行业合规性检查的语义方法研究。在借鉴国外可计算规则开发的纯语义方法的基础上,本文运用预先定义的标记语义方法对建筑规范中的文本进行分析和组织,并通过执行规则产生检查报告... 基于国内外模型检测领域的研究现状,本文开展了支持建设行业合规性检查的语义方法研究。在借鉴国外可计算规则开发的纯语义方法的基础上,本文运用预先定义的标记语义方法对建筑规范中的文本进行分析和组织,并通过执行规则产生检查报告。这种语义方法通过一个预先定义的语义系统可以开发出计算机可读的规则,并且这些规则能够应用到建筑信息模型的语义内容中来执行相应的规则检查。文章运用国内建筑设计规范中的条款作为案例,用预定义的标记方法对文本进行处理,并且构建规范本体,生成相应的SWRL规则,然后验证了生成的规则的适用性。案例验证表明该语义方法可以使规范专家在不需要程序员支持的情况下独立承担规则开发的工作,大大降低了开发模型检查工具的时间与成本。最后文章对合规性检查系统的后续研究做出思考与展望。 展开更多
关键词 合规性检查 语义WEB 本体 建设行业
下载PDF
基于BIM和知识图谱的自动审查方法
8
作者 龙丹冰 雷昕 +2 位作者 王初翀 方长建 康永君 《土木建筑工程信息技术》 2024年第2期29-33,共5页
本文在设计合规性审查中引入知识图谱技术,提出以规范知识图谱为核心的自动审查系统。通过对中国规范及结构设计规则(以下统称为规范)分析,提出面向规范最小语义单元的规范知识图谱元结构,建立了反映建筑规范复杂语义逻辑元结构的链接规... 本文在设计合规性审查中引入知识图谱技术,提出以规范知识图谱为核心的自动审查系统。通过对中国规范及结构设计规则(以下统称为规范)分析,提出面向规范最小语义单元的规范知识图谱元结构,建立了反映建筑规范复杂语义逻辑元结构的链接规则,进而以元结构为基元提出了规范知识图谱的构建方法。通过从图谱中获取数据,驱动代码生成模块自动生成用于信息检索和审查的可执行规范审查代码,可实现BIM模型的自动审查。 展开更多
关键词 知识图谱 合理性审查 自动审查 BIM模型
下载PDF
基于语义相似性匹配的BIM模型智能审查系统
9
作者 黄隆盛 林晓东 +2 位作者 徐盛取 熊朝阳 丁志坤 《建筑科学》 CSCD 北大核心 2024年第6期138-145,共8页
本研究提出了1种基于语义相似度匹配的BIM模型智能审查Web系统。采用基于机器学习的自然语言处理技术,自动化提取和分析BIM模型的语义信息,并将其与基于IFC标准表达的规范知识图谱本体进行匹配。通过结合Levenshtein距离和Cosine Simila... 本研究提出了1种基于语义相似度匹配的BIM模型智能审查Web系统。采用基于机器学习的自然语言处理技术,自动化提取和分析BIM模型的语义信息,并将其与基于IFC标准表达的规范知识图谱本体进行匹配。通过结合Levenshtein距离和Cosine Similarity余弦相似度2种相似匹配度量算法,对BIM模型的语义信息进行相似度匹配审查。此外对精确匹配与相似匹配算法进行比较评价,结果表明,相似匹配在整体审查性能上优于精确匹配,并且匹配准确性得到提高。该智能审查系统具备强大的通用性和适应性,能够支持多种行业规范的模型审查,扩大了BIM模型匹配研究的应用范围。研究成果将有助于推动建筑行业更高效地应用BIM技术,从而提升工程项目的管理水平和质量。 展开更多
关键词 BIM模型 合规性审查 自然语言处理 本体 语义映射 相似匹配
原文传递
老旧装置静设备设计文件合规性排查数据分析模型研究
10
作者 苑丹丹 陈嘉怡 +2 位作者 苑旭阳 刘洋 张芷筠 《石油化工设备技术》 CAS 2024年第6期48-53,I0003,共7页
开展老旧装置设计文件合规性排查有利于精准管控炼化行业发展进程中积累的风险,是统筹好发展和安全的必然要求。文章对获取的老旧装置静设备设计文件排查数据中的文本数据进行机器学习算法研究,构建数据分析模型,旨在获取不符合设计文... 开展老旧装置设计文件合规性排查有利于精准管控炼化行业发展进程中积累的风险,是统筹好发展和安全的必然要求。文章对获取的老旧装置静设备设计文件排查数据中的文本数据进行机器学习算法研究,构建数据分析模型,旨在获取不符合设计文件合规性的老旧装置的关键信息,并进行分析研究。研究主要包括3方面:一是利用数据预处理方法对文本进行数据清洗;二是利用TextRank算法实现大量文本中关键词和关键短语的自动获取;三是利用LDA算法训练主题模型,实现文本中关键主题的自动生成。利用该方法得到的结果可辅助专家对老旧装置设备的安全风险信息进行快速、精准的排查和评估。 展开更多
关键词 合规性排查 机器学习 数据清洗 TextRank算法 LDA主题模型
下载PDF
基于语义网的BIM结构模型合规性审查方法 被引量:3
11
作者 张吉松 于泽涵 李海江 《图学学报》 CSCD 北大核心 2023年第2期368-379,共12页
针对目前建筑信息模型(BIM)合规性审查具有耗费人力和自动化程度较低等特点,提出一种基于语义网的BIM结构设计模型合规性审查方法。方法包括规范转译、BIM模型信息处理和合规审查3个子模块。规范转译子模块可实现将半结构化设计规范条... 针对目前建筑信息模型(BIM)合规性审查具有耗费人力和自动化程度较低等特点,提出一种基于语义网的BIM结构设计模型合规性审查方法。方法包括规范转译、BIM模型信息处理和合规审查3个子模块。规范转译子模块可实现将半结构化设计规范条款转换为结构化知识并进行灵活查询与推理;BIM模型信息处理子模块可实现BIM模型信息的提取、转换与映射;合规审查子模块可实现规则的执行和审查报告生成。方法实现从一阶谓词逻辑表示结构设计规范的方式出发,借助本体构建工具protégé,将BIM结构设计模型信息和设计规范条款,通过映射和语义网规则语言(SWRL)转译到采用本体构建的知识库中,进而实现对BIM模型相关信息的查询、推理和设计审查,最后通过框架结构实例验证了方法有效性和可行性,为基于BIM模型的结构设计自动化合规性审查提供一种参考方法。 展开更多
关键词 语义网 合规性审查 建筑信息模型 本体 结构设计
下载PDF
吝啬语义信任协商 被引量:4
12
作者 张妍 冯登国 《计算机学报》 EI CSCD 北大核心 2009年第10期1989-2003,共15页
自动信任协商是通过数字证书的交互披露在陌生实体间建立信任的过程,现有的自动信任协商框架要求主体出示完整属性证书来证明自己满足对方资源披露策略中的身份断言约束条件,导致了属性证书中身份信息过度披露问题.该文中作者提出一种... 自动信任协商是通过数字证书的交互披露在陌生实体间建立信任的过程,现有的自动信任协商框架要求主体出示完整属性证书来证明自己满足对方资源披露策略中的身份断言约束条件,导致了属性证书中身份信息过度披露问题.该文中作者提出一种通过交换DL-TNL语义身份断言来建立信任关系的吝啬语义信任协商框架,避免了完整属性证书的直接出示,减少信任建立过程中身份信息被披露的程度,并提出一种正确、完备且有效的吝啬语义信任协商策略.在该策略下,交易双方的协商引擎可以快速有效地从由身份断言权威签发的包含多个DL-TNL语义身份断言的身份断言证书中,自动计算出批露最少信息且符合对方策略的身份断言集进行出示,以最大限度地减少信任建立过程中被披露的身份信息,并保证理论上存在成功可能性时,使用该策略必然可以有效地帮助主体最终获得网络资源的访问权限.有关该策略完备性和正确性的证明以及策略实施中所使用的符合性检测算法的实现和分析均在文中给出. 展开更多
关键词 自动信任协商 语义方法 隐私保护 协商策略 符合性检测
下载PDF
Dynamo在建筑设计合规性审查中的应用研究 被引量:3
13
作者 刘学贤 张笑彦 《城市建筑》 2020年第19期160-163,共4页
为全面贯彻落实国家关于深化“放管服”改革的部署要求,全国陆续取消了施工图图审环节,由设计单位自行审查。为保证工程图纸设计质量,提高设计单位的审查效率,本文提出一种新的审查方法。文章首先介绍了BIM技术理论及建筑信息模型设计... 为全面贯彻落实国家关于深化“放管服”改革的部署要求,全国陆续取消了施工图图审环节,由设计单位自行审查。为保证工程图纸设计质量,提高设计单位的审查效率,本文提出一种新的审查方法。文章首先介绍了BIM技术理论及建筑信息模型设计交付的相关概念,提出了基于BIM技术的三维模型审查流程,然后应用Dynamo可视化编程实现了建筑设计合规性的自动化审查,最终通过案例分析,验证了该方法的可行性。通过对该审查方法的深入研究及实践应用,可以促进审图工作的无纸化、自动化,从而提高建筑业信息化水平。 展开更多
关键词 BIM技术 DYNAMO 合规性审查 建筑设计
下载PDF
基于BIM和本体的建筑不规则类型审查 被引量:2
14
作者 那扎尔·木拉提别克 史健勇 +3 位作者 姜柳 潘泽宇 杨海涛 王佳亮 《图学学报》 CSCD 北大核心 2022年第5期918-926,共9页
建筑不规则类型审查是建筑抗震审查的重要组成部分,对建筑抗震安全有重要意义。为提高审查效率和准确性,提出一套基于建筑信息模型(BIM)和本体的建筑不规则类型审查方法。首先解析梳理建筑不规则类型审查规范条文,然后将规范条文转译成... 建筑不规则类型审查是建筑抗震审查的重要组成部分,对建筑抗震安全有重要意义。为提高审查效率和准确性,提出一套基于建筑信息模型(BIM)和本体的建筑不规则类型审查方法。首先解析梳理建筑不规则类型审查规范条文,然后将规范条文转译成计算机可识别的语义审查规则,并根据审查逻辑构建建筑不规则类型审查本体;其次从待审查建筑的BIM文件中抽取审查信息,如楼层开洞面积,基于模板匹配算法从结构计算书自动抽取审查所需计算结果参数,如扭转位移比;接着基于建筑不规则类型审查本体组织审查信息,利用审查规则推理获得审查结果,进而生成审查报告。最后以某建筑为例验证了该方法的可行性和较强地扩展能力,为进一步实现建筑抗震审查的自动化奠定了技术基础。 展开更多
关键词 合规审查 建筑不规则 建筑信息模型 工业基础类 本体
下载PDF
水运工程设计信息模型细度合规性检查技术应用 被引量:1
15
作者 李银发 王刚 《水运工程》 北大核心 2021年第8期157-162,175,共7页
针对水运工程设计信息模型应用存在信息细度人工检查工作量大、效率低、容易出错等问题,依据《水运工程信息模型应用统一标准》及《水运工程设计信息模型应用标准》,研究模型信息细度自动化检查技术,采用Revit API、Civil 3D API技术,... 针对水运工程设计信息模型应用存在信息细度人工检查工作量大、效率低、容易出错等问题,依据《水运工程信息模型应用统一标准》及《水运工程设计信息模型应用标准》,研究模型信息细度自动化检查技术,采用Revit API、Civil 3D API技术,开发模型信息细度合规性检查软件,并在实际工程中进行应用。结果表明,该技术和软件能准确、快速完成水运工程设计信息模型信息细度的合规性检查,有效解决上述问题,可推广应用至其他水运工程项目。 展开更多
关键词 水运工程 信息模型 信息细度 合规性检查 REVIT Civil 3D
下载PDF
面向GDPR隐私政策合规性的智能化检测方法
16
作者 李昕 唐鹏 +2 位作者 张西珩 邱卫东 回红 《网络与信息安全学报》 2023年第6期127-139,共13页
欧盟《通用数据保护条例(GDPR,general data protection regulation)》自2018年施行以来,已开出罚单300多起,其中不乏谷歌这类知名企业未能提供透明易懂的隐私政策而遭受巨额处罚。这项严格的数据保护法律使得各国企业在提供跨境服务特... 欧盟《通用数据保护条例(GDPR,general data protection regulation)》自2018年施行以来,已开出罚单300多起,其中不乏谷歌这类知名企业未能提供透明易懂的隐私政策而遭受巨额处罚。这项严格的数据保护法律使得各国企业在提供跨境服务特别是向欧盟地区提供服务时变得尤为谨慎。同时其管辖范围规定,GDPR适用于任何为欧盟公民提供服务的企业,无论其是否在欧盟境内注册,这意味着世界各地涉及海外业务的企业都要考虑其隐私政策面向GDPR的合规性,国内企业也不例外。面向这一需求,构建了一套智能化检测方法,自动提取各在线服务企业的隐私政策,并采用机器学习和自动化技术,将其转化为具有结构层次的标准格式。之后进行基于自然语言处理的文本分类,识别其中涵盖的相应的GDPR概念,并以搭建的GDPR知识图谱为依据,检验隐私政策是否缺少部分GDPR要求披露的概念,从而实现面向GDPR的隐私政策合规性智能化检测,为国内企业向欧盟用户提供跨境服务提供支撑。对语料库中样本的分析结果进一步揭示了主流在线服务企业普遍未达到GDPR合规要求的现状。 展开更多
关键词 通用数据保护条例 隐私政策 层级结构 合规性检测
下载PDF
某型产品补充型号合格证取证过程研究
17
作者 张网 《航空维修与工程》 2023年第1期77-80,共4页
航空器加改装满足了特定市场需求,是市场主体也是民航适航审定部门的一项基础业务。以某加改装项目STC取证流程为例,研究了直升机STC取证过程中审定基础及符合性验证方法的选择,以强度校核计算为例说明了如何通过分析计算验证符合性,为... 航空器加改装满足了特定市场需求,是市场主体也是民航适航审定部门的一项基础业务。以某加改装项目STC取证流程为例,研究了直升机STC取证过程中审定基础及符合性验证方法的选择,以强度校核计算为例说明了如何通过分析计算验证符合性,为今后直升机加改装业务提供参考和借鉴。 展开更多
关键词 加改装 审定基础 符合性验证 强度校核
原文传递
基于标注的业务过程合规性验证方法 被引量:1
18
作者 龚平 冯在文 《计算机应用》 CSCD 北大核心 2014年第7期2115-2123,共9页
当前,企业的业务活动受到越来越多的来自政府法律法规、行业标准及自身内控制度的规范约束。如何确保支撑企业业务活动的过程感知系统是合规的已成为信息系统(IS)研究领域的热点问题。确保过程模型的合规性是实现过程感知系统的合规性... 当前,企业的业务活动受到越来越多的来自政府法律法规、行业标准及自身内控制度的规范约束。如何确保支撑企业业务活动的过程感知系统是合规的已成为信息系统(IS)研究领域的热点问题。确保过程模型的合规性是实现过程感知系统的合规性的重要前提。针对过程设计阶段过程模型的合规性,扩展前期关于语义标注过程模型的可执行性分析的工作,提出了基于标注的合规性验证方法。方法包括:合规性规则模式的标注表达式生成和基于合规性标注的过程模型的可执行性分析方法。合规性标注表达式描述了规则所关联的活动及其相应的合规性约束,对合规性验证的调试及运行时合规性检测评估能起到有效的支持作用;合规性标注的过程模型的可执行分析方法是利用满足性求解器对合规性信息标注后的过程模型是否可执行进行求解。通过银行开户的流程案例,证明了上述方法的有效性。 展开更多
关键词 业务过程管理 合规性验证 标注表达式 过程模型 满足性求解
下载PDF
挤压轴破坏成因与对策 被引量:1
19
作者 胡焱 《铝加工》 CAS 2010年第2期29-31,共3页
结合生产实际,分析了现行中小型卧式挤压机用挤压轴结构设计上的不足,通过校核计算验证了挤压轴失效形式的原因,提出了建议及措施。
关键词 挤压轴 柔度 校核 失效 稳定
下载PDF
基于流程抽象的协同业务过程符合性验证
20
作者 莫启 向吉祥 +3 位作者 汪煜祺 代飞 许小龙 齐连永 《计算机集成制造系统》 EI CSCD 北大核心 2021年第9期2542-2555,共14页
验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方... 验证协同业务过程与领域约束的符合性是一个关键问题,但现有工作需忽视对内部流程细节的处理,从而导致组织内部流程信息暴露、符合性验证误判及验证效率低下等问题。为此,基于流程抽象提出一种针对协同业务过程与领域约束符合性验证方法。首先,利用标号迁移系统和符合性语言分别描述业务过程及领域约束;然后,基于弱轨迹等价将业务过程中含有的内部流程细节全部移除以得到抽象业务过程,并将其并发组合,得到抽象协同业务过程;最后,在协同业务过程与领域约束是否相符的问题上,利用模型验证技术进行自动验证。将针对协同业务过程符合性验证转化为对抽象协同业务过程符合性验证,从而能够有效地避免暴露组织内部流程信息、确保符合性验证结果的正确性及提高形式验证效率。为了阐述所提方法的有效性,利用实际协同业务过程集进行实验,并从分析效率上对所提方法进行评价。实验结果表明:对比现有工作,在协同业务过程与领域约束的符合性分析上,所提方法更加有效。 展开更多
关键词 协同业务过程 领域约束 符合性 模型检测 弱轨迹等价
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部