期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于规则的软件过程事务模型(英文)
被引量：
3
1
作者
沈备军
陈诚
居德华
《软件学报》
EI
CSCD
北大核心
2002年第1期24-32,共9页
事务管理是过程工程环境(PSEE)的一个关键技术.近年来,提出了不少高级事务模型支持长事务.然而,由于软件过程事务处理的特殊性,这些模型只能反映其中一部分需求,而且大多数多层的合作事务模型还不够稳定,无法应用于商业,这对PSEE的事务...
事务管理是过程工程环境(PSEE)的一个关键技术.近年来,提出了不少高级事务模型支持长事务.然而,由于软件过程事务处理的特殊性,这些模型只能反映其中一部分需求,而且大多数多层的合作事务模型还不够稳定,无法应用于商业,这对PSEE的事务机制提出了挑战.基于此,提出了一个基于规则的软件过程事务模型E-Process/TM,能够较好地刻画软件过程的特征,即用户交互性、长周期、迭代式过程和数据共享的多用户协作.基于用户可自定义的正确性规则,E-Process/TM提供了良好的灵活性和开放性.目前,该模型已在商业PSEE产品中得以实现,并成功地应用于实践中.
展开更多
关键词
软件过程
扩充事务模型
正确性规则
软件工程
下载PDF
职称材料
一种适用于Diverse Firewall Design的规则集比较算法
被引量：
2
2
作者
李林
卢显良
+3 位作者
李泽平
聂晓文
彭永祥
李梁
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2009年第5期160-164,共5页
随着防火墙规则数目的增多,Diverse Firewall Design设计方法越来越受到重视。在应用该方法进行规则集设计时,多个开发团队会独立地编写若干规则集。由于规则集配置的复杂性,这些规则集有可能不一致。因此,需要使用规则集比较算法,判断...
随着防火墙规则数目的增多,Diverse Firewall Design设计方法越来越受到重视。在应用该方法进行规则集设计时,多个开发团队会独立地编写若干规则集。由于规则集配置的复杂性,这些规则集有可能不一致。因此,需要使用规则集比较算法,判断这些规则集是否等价,以达到检测出错误配置的目的。然而现有规则集比较算法,实现复杂且效率较低。针对这一问题,提出了一种基于规则交集运算的规则集比较算法。该算法首先使用规则冲突消除算法对规则集进行预处理,将规则集比较问题,转换成多维空间中的图形比较问题;然后利用规则交集运算,判断图形所占区域和颜色是否一致,进而确定规则集是否等价。理论分析和测试表明,算法能检测出规则集之间的不同点,且时空效率优于现有算法。
展开更多
关键词
规则
集
规则
集比较
图形比较
防火墙
规则
集
正确性
下载PDF
职称材料
题名
基于规则的软件过程事务模型(英文)
被引量：
3
1
作者
沈备军
陈诚
居德华
机构
华东理工大学计算机系
中国科学院软件研究所
出处
《软件学报》
EI
CSCD
北大核心
2002年第1期24-32,共9页
文摘
事务管理是过程工程环境(PSEE)的一个关键技术.近年来,提出了不少高级事务模型支持长事务.然而,由于软件过程事务处理的特殊性,这些模型只能反映其中一部分需求,而且大多数多层的合作事务模型还不够稳定,无法应用于商业,这对PSEE的事务机制提出了挑战.基于此,提出了一个基于规则的软件过程事务模型E-Process/TM,能够较好地刻画软件过程的特征,即用户交互性、长周期、迭代式过程和数据共享的多用户协作.基于用户可自定义的正确性规则,E-Process/TM提供了良好的灵活性和开放性.目前,该模型已在商业PSEE产品中得以实现,并成功地应用于实践中.
关键词
软件过程
扩充事务模型
正确性规则
软件工程
Keywords
Iterative methods
Knowledge based systems
Management
Mathematical models
World Wide Web
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种适用于Diverse Firewall Design的规则集比较算法
被引量：
2
2
作者
李林
卢显良
李泽平
聂晓文
彭永祥
李梁
机构
电子科技大学计算机科学与工程学院
出处
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2009年第5期160-164,共5页
基金
信息产业部生产发展基金资助项目(信运部2004)
文摘
随着防火墙规则数目的增多,Diverse Firewall Design设计方法越来越受到重视。在应用该方法进行规则集设计时,多个开发团队会独立地编写若干规则集。由于规则集配置的复杂性,这些规则集有可能不一致。因此,需要使用规则集比较算法,判断这些规则集是否等价,以达到检测出错误配置的目的。然而现有规则集比较算法,实现复杂且效率较低。针对这一问题,提出了一种基于规则交集运算的规则集比较算法。该算法首先使用规则冲突消除算法对规则集进行预处理,将规则集比较问题,转换成多维空间中的图形比较问题;然后利用规则交集运算,判断图形所占区域和颜色是否一致,进而确定规则集是否等价。理论分析和测试表明,算法能检测出规则集之间的不同点,且时空效率优于现有算法。
关键词
规则
集
规则
集比较
图形比较
防火墙
规则
集
正确性
Keywords
rule sets
rule sets comparing
pictures comparing
firewall
rule sets correctness
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于规则的软件过程事务模型(英文)
沈备军
陈诚
居德华
《软件学报》
EI
CSCD
北大核心
2002
3
下载PDF
职称材料
2
一种适用于Diverse Firewall Design的规则集比较算法
李林
卢显良
李泽平
聂晓文
彭永祥
李梁
《四川大学学报（工程科学版）》
EI
CAS
CSCD
北大核心
2009
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
