宋巍
- 作品数：79 被引量：98H指数：4
- 供职机构：南京理工大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划江苏省基础研究计划更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 一种Solana中依赖运行顺序的不稳定测试的检测方法
- 本发明公开了一种Solana中依赖运行顺序的不稳定测试的检测方法，为了降低运行所有测试函数的执行成本，本发明基于提取测试函数和全排列运行的思想，对一份Solana的.rs源文件进行两次提取，第一次提取得到公共配置文件和只...
- 马瑞君宋巍
- 一种含时间约束工作流的挖掘算法
- 本发明公开了一种含时间约束工作流的挖掘算法,以含时间戳的事件日志作为输入，以挖掘出的正确的含时间约束的工作流模型作为输出；首先从日志中挖掘出事件之间的关系；之后，根据挖掘出的关系推导计算出事件的时间约束；最后，调用α算法...
- 宋巍尚庆民常震戴汪洋
- 文献传递
- 基于事件处理器的Android自动化测试工具及测试方法
- 本发明公开了一种基于事件处理器的Android自动化测试工具及测试方法，测试工具包括事件插桩模块、代码分析工具Soot和App探索模块；事件插桩模块包括XML解析器、识别器、分发器、语句构造器和语句管理器；代码分析工具S...
- 宋巍钱祥星黄青青
- 文献传递
- 基于动态依赖图的服务组合实例迁移有效性判定方法
- 本发明提供一种基于已执行路径动态依赖图的服务组合实例迁移有效性判定方法，以演化前后的服务组合、待迁移实例的已执行路径为输入，以迁移有效性判定结果为输出，其实现包括：分析待迁移实例的已执行路径中活动间的依赖关系，生成已执行...
- 宋巍陈先博张功萱
- 文献传递
- 一种启发式过程日志修复方法
- 本发明公开了一种启发式过程日志修复方法，以Petri net表示的过程规约和对应的带有丢失事件的日志为输入，以相应的修复后的日志作为输出。为了修复业务过程日志中丢失的事件，首先，分析过程规约，将过程规约分解为不包含选择结...
- 宋巍夏小旭唐成宇张成震刘红玉
- 文献传递
- BPEL行为相似度研究
- 随着Web服务业务流程语言(BPEL)的普及，很多大型企业和机构都在致力于建立大型的BPEL仓库。而目前基于文本搜索和文件夹导航的技术不能满足高效检索BPEL仓库的需求，并且现有的相似度度量方法大多不满足距离函数特征。为...
- 汪正舟张功萱宋巍周健朱昭萌
- 关键词：相似度
- 文献传递
- 基于SMT求解器的BPEL过程数据流错误检测
- 2017年
- 针对现有检测数据流反模式错误方法常采用枚举策略,存在路径爆炸和异常误报等问题,提出一种基于可满足性模理论(SMT)约束求解器的符号编码去检测所有可行路径中的数据流反模式错误的方法。进行符号编码,包括最常见的3种数据流反模式,根据SMT约束求解器进行数据流反模式错误的识别检测。使用工业界中真实的BPEL过程作为数据集进行实验,实验结果表明,所提方法能够高效无误地检测出BPEL过程中的数据流异常错误。
- 张成震宋巍唐成宇陈芳菲
- 关键词：数据流反模式
- 业务过程死锁与缺乏同步错误的挖掘方法
- 本发明公开了一种业务过程死锁与缺乏同步错误的挖掘方法，该方法通过挖掘业务过程事件日志来获得业务过程中所有包含死锁与缺乏同步错误的过程片段；首先通过解析XES日志文件获得所有事件序列集合并对其进行预处理，获得分别用于挖掘死...
- 宋巍常震尚庆民戴汪洋
- 文献传递
- 基于用户行为描述智能家居环境需求的方法
- 本发明公开了一种基于用户行为描述智能家居环境需求的方法，首先定义智能家居需求相关的环境概念以及环境信息持有者的信息，然后基于不同用户的不同行为，定义行为的公共需求和某个用户的特有需求；在此基础上，部署感知行为、环境的设备...
- 李晅松宋巍
- 文献传递
- 普适计算应用时空性质的运行时验证被引量：1
- 2018年
- 运行时验证是提升普适计算应用可靠性的重要手段.这类应用的很多性质同时涉及时间关系和空间位置关系,这样的时空性质给运行时的验证带来了特有挑战:一方面,传统的时态逻辑难以描述空间性质;另一方面,适合描述空间性质的Ambient Logic在真值不确定等情况下不能很好地支持有限轨迹中时间性质的描述.为支持普适计算应用时空性质的运行时验证,引入三值逻辑语义,提出了AL_3(3-valued ambient logic);并在此基础上设计实现了基于AL_3的性质检验算法和运行时监控器.最后,通过案例分析和运行效率实验阐明了所提方法的有效性和可行性.
- 李晅松陶先平宋巍
- 关键词：普适计算
