基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法

来源 :计算机集成制造系统 | 被引量 : 0次 | 上传用户:mxqfeng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体
其他文献
以采用大修维护的设备为研究对象,以有限时间内维护净收益最大为目标,以更新时机和更新前后大修间隔为决策变量,基于风险控制因素,建立了大修与新型更新的组合优化模型。在此
目的:探讨单孔双管冲洗引流治疗慢性硬膜下血肿的临床效果。方法:收集笔者所在医院57例慢性硬膜下血肿患者,按照随机数字表法分为观察组(n=30)和对照组(n=27),对照组患者采取血肿前后
针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述。在考虑不同流程活动之
目的:对胺碘酮在食管癌术后并发心房颤动患者的治疗效果予以探讨。方法:随机选取2010年1月-2015年6月笔者所在医院收治的食管癌术后并发心房颤动患者31例,将其随机分为对照组(n=
<正> 使用圆盘锯经常会碰到分片厚薄不均,运行不平稳,切割效率低等故障。认真分析研究这些故障产生的原因,找出解决和排除故障的措施和方法,对于合理利用和充分发挥圆盘锯的
<正> 众所周知,冷却和排屑是切割石材很重要的技术问题,尤其是切割超薄板石材,这两个问题如解决不好,很容易使板材出现裂纹、甚至破裂。所以,更应充分研究冷却和排屑。
为满足基于应用服务提供商平台的制造资源管理和决策的需求,提出了网络制造资源模糊关联规则的挖掘模式。根据应用领域数据类型的特点,提出了制造资源管理数据预处理方法,并
针对Web服务流动态、分布和松散耦合的特点,提出将兼顾公平性的服务质量模型用于服务的动态集成。通过分析Web服务流与传统工作流的不同,对原工作流Petri网定义进行了可行替换
通过分析区域虚拟企业结盟中制造任务导向和调度,建立了基于应用服务提供商资源优化配置的服务模型;构建了面向评价体系的制造资源模型,运用聚类分析和粗糙集理论,完成资源优
<正> 以市场为导向,在尽可能减少产品工艺工序,提高单工序技术含量的前提下,我公司设计出了石材改色工艺通式和GF—G附着式染色剂,综合技术经济效果显著,令色度稍逊的蒙古黑