标号迁移系统

作品数：15被引量：19H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：徐士华赵磊徐玮严志民莫启更多>>
相关机构：哈尔滨师范大学黑龙江司法警官职业学院复旦大学浙江师范大学更多>>
相关期刊：《软件导刊》《计算机工程与应用》《电脑开发与应用》《金融管理研究》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划黑龙江省教育厅科学技术研究项目国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
异步通信系统的合理性检测
《计算机集成制造系统》2024年第8期2936-2946,共11页王帅 代飞 黄苾 莫启 付晓东 
国家自然科学基金资助项目(61862065,62262063);云南省重点研发项目(202402AD080002-5);云南省基础研究面上项目(202001BB050031);云南省软件工程重点实验室开放基金青年项目(2020SE401);云南省窦万春专家工作站资助项目(202105AF150013);云南省“兴滇英才支持计划”产业创新人才资助项目(XDYC-CYCX-2022-0009);云南省科协青年科技人才托举工程资助项目。
异步通信系统是一种并发分布式系统,由一组具有无界缓冲区的分布式组件通过异步通信构成。分析异步通信系统的核心问题是检测其合理性,即确保组成系统的分布式组件可以无错误地进行异步通信。然而,基于无界缓冲区的异步通信容易导致异...
关键词：异步通信系统 无界缓冲区 合理性 稳定性 标号迁移系统 
微服务的死锁兼容性检测被引量：2
《电子设计工程》2021年第4期11-15,共5页李呓瑾 吴玮 张雪坚 陈姣 彭剑锋 
国家自然科学基金项目资助(61702442)。
兼容性检测是使用微服务构建软件时将面临的一个关键问题,如果一组微服务的组合满足某些属性,如无死锁,则称这组微服务是兼容的。但是,微服务固有的动态性和复杂性给兼容性检测带来了新的挑战。提出了一种微服务的死锁兼容性检测方法,...
关键词：微服务 兼容性 死锁 标号迁移系统 
航空软件模型状态最小化算法的比较
《金融管理研究》2020年第2期133-142,共10页杜文杰 雷国庆 
标号迁移系统是对航空软件操作行为建模的重要手段。当软件规模很大时,对应的标号迁移系统变得非常庞大,需要对其状态空间进行压缩。本文分别实现了由Valmari和Schtzle等人提出的两种互模拟压缩算法,并将其应用于互模拟压缩问题中,比较...
关键词：标号迁移系统 互模拟压缩 算法 
概率系统差分隐私研究综述
《广州大学学报（自然科学版）》2019年第4期75-82,共8页曹永知 
国家自然科学基金资助项目(61772035)
尽管大数据分析在许多领域展现出巨大价值,但目前大数据的发展仍然面临着诸多问题,隐私保护便是公认的关键问题之一.在大数据背景下,数据间存在着复杂的关联性.为防止攻击者利用先验知识获取隐私,Dwork提出了差分隐私概念.近年来,差分...
关键词：隐私保护 差分隐私 形式化方法 概率自动机 概率标号迁移系统 概率进程代数 马尔可夫链 模型检测 
标号迁移系统的互模拟关系及其性质
《福建工程学院学报》2018年第6期547-552,共6页唐郑熠 林佳音 黄泽斌 
福建省自然科学基金资助项目(2016J05146);福建工程学院科研启动基金资助项目(GY-Z13112;GYZ13113)
以标号迁移系统为工具,探讨了系统行为的等价性问题,构建了模拟及互模拟关系的形式化模型,进而将互模拟的概念推广到了系统的层面,进一步探讨了模拟及互模拟关系的性质,揭示了互模拟概念的本质,为其在形式化分析及验证技术中的应用提供...
关键词：系统行为 等价 标号迁移系统 模拟 互模拟 
结合Petri网与进程代数的业务过程协同模型研究被引量：2
《软件导刊》2017年第12期49-52,共4页笪建 程耀坤 莫启 孙华 吕永华 
业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进...
关键词：PETRI网 进程代数 跨组织业务过程 进程标号迁移系统 约简 
一种可信虚拟机迁移模型构建方法被引量：6
《计算机研究与发展》2017年第10期2284-2295,共12页石源 张焕国 吴福生 
国家自然科学基金项目(61332019);国家"九七三"重点基础研究发展计划基金项目(2014CB340601);国家"八六三"高技术研究发展计划基金项目(2015AA016002)~~
虚拟机的安全迁移是保障云环境安全可信的重要需求之一.对于包含虚拟可信平台模块(virtual TPM,vTPM)的可信虚拟机,还需要考虑vTPM的安全迁移问题.目前,已有一些针对可信虚拟机的安全迁移的研究,但是由于研究可信虚拟机的模型不统一,导...
关键词：可信虚拟机 虚拟机迁移 安全协议 标号迁移系统 安全模型 
一种软件体系结构级测试序列生成技术被引量：1
《微电子学与计算机》2012年第1期117-120,共4页徐士华 吕莉媛 赵磊 
教育部青年基金项目(10YJC870025)
软件体系结构(software architecture,SA)通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,软件体系结构的动态描述常被用来指导分析和测试.本文通过CHAM(chemical abstract ma-chine,CHAM)描述的SA规格说明生...
关键词：软件体系结构 软件测试 标号迁移系统 测试序列 
基于扩展CHAM的SA级路径覆盖方法
《微电子学与计算机》2011年第9期22-26,共5页徐士华 吕莉媛 赵磊 
教育部项目(10YJC870025)
化学抽象机形式化语言(CHAM)通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构(SA)中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统(LTS),以表示该构件...
关键词：测试路径 标号迁移系统 测试覆盖准则 化学抽象机 
解决变化问题的自底向上流程建模方法被引量：4
《计算机集成制造系统》2011年第8期1595-1602,共8页严志民 徐玮 
国家自然科学基金资助项目(60873115)~~
为使工作流适应业务快速发展而复杂多变的特点,提出一种全新的以数据为中心的业务流程定义和业务流程建模的说明性业务流程建模方法。以自底向上机制分析解剖业务流程,提取出原子工单、活动和业务策略等,将业务要素和业务变化的描述分...
关键词：自底向上机制 工单 业务流程建模 有限状态自动机 标号迁移系统 工作流 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部