宋巍

作品数：20被引量：86H指数：4
导出分析报告
供职机构：南京理工大学更多>>
发文主题：事件日志日志BPEL启发式规则工作流模型更多>>
发文领域：自动化与计算机技术自然科学总论更多>>
发文期刊：《计算机应用与软件》《中国科学：信息科学》《计算机工程与设计》《计算机与数字工程》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划江苏省基础研究计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向物联网设备移动与通信行为的建模及验证
《软件学报》2024年第11期4993-5015,共23页刘靖宇 李晅松 陈芝菲 叶海波 宋巍 
国家自然科学基金(61702263,61761136003);CCF-华为创新研究计划(CCF-HuaweiFM2021004)。
物联网设备的使用范围正在不断扩张.模型检测是提升这类设备可靠性和安全性的有效手段,但常用的模型检测方法不能很好地刻画这类设备常见的跨空间移动和通信行为.为此,提出一种面向物联网设备移动与通信行为的建模及验证方法,以实现对...
关键词：模型检测 物联网 形式化验证 建模语言 
基于混合型事件日志的模型合规性检验方法
《计算机与数字工程》2021年第2期327-332,共6页尚庆民 宋巍 
国家重点研发计划(编号:2017YFB1001801);国家自然科学基金项目(编号:61761136003)资助。
信息系统记录的事件日志多为包含点事件和区间事件的混合型事件日志,针对现有合规性检验方法不能直接应用于此类事件日志的问题,提出一种对混合型事件日志及对应模型进行合规性检验的方法,从拟合度、精确度、和简洁度三个方面来衡量混...
关键词：过程挖掘 混合型事件日志 过程模型 事件序列 合规性检验 
并发感知的业务过程事件序列编辑距离
《计算机与数字工程》2020年第5期1131-1136,共6页常震 戴汪洋 宋巍 李晅松 
国家自然科学基金项目(编号:61761136003)资助。
业务过程事件序列编辑距离计算在日志修复与过程合规性检查方面具有重要作用。针对业务过程的并发性以及事件序列可能产生的噪音类型,给出了业务过程事件序列编辑距离的定义,并采用动态规划提出了业务过程事件序列编辑距离的求解算法。...
关键词：并发感知 业务过程事件序列 编辑距离 动态规划 
普适计算应用时空性质的运行时验证被引量：1
《软件学报》2018年第6期1622-1634,共13页李晅松 陶先平 宋巍 
国家重点研发计划(2017YFB1001801); 国家自然科学基金(61702263,61373011); 江苏省自然科学基金(BK2017 1427); 中央高校基本科研业务费专项资金(30917011322)
运行时验证是提升普适计算应用可靠性的重要手段.这类应用的很多性质同时涉及时间关系和空间位置关系,这样的时空性质给运行时的验证带来了特有挑战:一方面,传统的时态逻辑难以描述空间性质;另一方面,适合描述空间性质的Ambient Logic...
关键词：普适计算 三值语义 运行时验证 
基于SMT求解器的BPEL过程数据流错误检测
《计算机工程与设计》2017年第12期3311-3315,共5页张成震 宋巍 唐成宇 陈芳菲 
国家自然科学基金项目(61202003;61572171)
针对现有检测数据流反模式错误方法常采用枚举策略,存在路径爆炸和异常误报等问题,提出一种基于可满足性模理论(SMT)约束求解器的符号编码去检测所有可行路径中的数据流反模式错误的方法。进行符号编码,包括最常见的3种数据流反模式,根...
关键词：BPEL过程 数据流 反模式 符号编码 SMT求解器 
面向安卓应用的JavaScript漏洞检测工具
《计算机工程与设计》2017年第11期2898-2902,共5页黄青青 宋巍 钱祥星 
国家自然科学基金项目(61202003;61572171)
针对安卓应用中广泛存在的JavaScript安全漏洞,设计并实现一个检测工具JSDroid。采用静态分析技术,分析安卓应用匹配哪些JavaScript使用模式,分析这些模式的使用是否形成对应的漏洞,分析应用是否暴露可供恶意JavaScript注入的攻击入口...
关键词：安卓应用 JavaScript安全漏洞 自动化检测工具 静态分析 WebView组件 
面向动作的上下文感知应用的规约与运行时验证被引量：3
《软件学报》2017年第5期1167-1182,共16页李晅松 陶先平 吕建 宋巍 
国家自然科学基金(61373011;61202003;61502225)~~
面向动作的上下文感知(activity-oriented context-aware,简称AOCA)应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类应用采用轻量级、增量式的开发方法进行开发.相对于在开发阶段描述全局信...
关键词：普适计算 上下文感知 形式规约 运行时验证 
基于SSME模型和J2EE平台的权限管理系统设计与实现被引量：1
《东北师大学报（自然科学版）》2016年第4期68-72,共5页刘晓天 顾大明 宋巍 朱耀琴 
国家自然科学基金资助项目(61202003)
针对在大型企业应用系统中权限控制由于通过存取控制列表(ACL)机制实现而导致用户操作权限维护复杂的问题,设计了一个权限管理系统.以角色存取控制(RBAC)机制为基础,以服务科学、管理与工程(SSME)理论做指导,采用J2EE领域Struts2-Guice-...
关键词：权限管理 服务科学、管理与工程 J2EE Struts2-Guice-JPA 角色存取控制 
数据感知过程之间差异的检测和解决
《计算机科学》2015年第12期148-151,166,共5页张学伟 邢建春 杨启亮 宋巍 王洪达 
国家重点基础研究发展规划(2009CB320702);国家自然科学基金(61202003)资助
业务驱动开发支持多名业务人员对一项流程进行设计。为获得一个标准的参考数据感知过程,需要将这些变种合并,而检测和解决变种之间的差异是不可或缺的一环。现有方法大多依赖于修改日志从控制流层面检测和解决过程模型之间的差异,而很...
关键词：数据感知过程 差异 程序依赖图 层次性修改日志 
BPEL过程一致性度量被引量：1
《哈尔滨工程大学学报》2015年第6期814-820,共7页张学伟 邢建春 宋巍 王洪达 韩德帅 
国家自然科学基金资助项目(61202003);国家重点基础研究发展规划资助项目(2015CB352202);武汉大学软件工程国家重点实验室开放基金资助项目(SKLSE2012-09-05)
服务组合和云计算作为面向服务体系结构下资源集成和应用互联的有效手段,使得描述Web服务的BPEL过程产生了众多变种。针对变种整合和变种之间差异检测的问题,研究BPEL过程一致性就很有意义。然而,现有的方法要么仅提供一个"是/否"的定...
关键词：BPEL过程 活动约束图 事件日志 一致性度量 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部