教育部科学技术研究重点项目(01077)
- 作品数：13 被引量：14H指数：2
- 相关作者：邵志清宋国新郑红丁志义房一泉更多>>
- 相关机构：华东理工大学中国科学院软件研究所焦作大学更多>>
- 发文基金：教育部科学技术研究重点项目国家自然科学基金教育部“优秀青年教师资助计划”更多>>
- 相关领域：自动化与计算机技术语言文字更多>>
- 电子商务系统主体行为的描述与分析
- 2007年
- 电子商务系统的主体行为对整个交易的安全非常重要。本文应用标注Petri网模拟技术,建立了电子商务系统中主体行为模型,解决了主体的责任分析、证据收集等与安全性有关的问题。
- 郑红邵志清杨根兴
- 关键词：电子商务PETRI网
- 命令的指称语义在谓词域上的一种表示
- 2008年
- 文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。
- 丁志义李全德宋国新邵志清
- 关键词：指称语义
- 一种形式化的工作流网模型被引量：1
- 2007年
- 提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。
- 郑红宋国新
- 关键词：工作流工作流管理系统PETRI网形式化
- 命令的操作语义在类型系统中的一种表示
- 2006年
- 类型系统建立在一个小的规则集合基础上,易于实现,可理解性好,且具有计算完全性和足够的表达能力.在类型系统中可以重述推导规则,将其形式化为一些归纳关系,从而直接表示了命令的操作语义.类型理论不仅适合于函数式程序的证明,也是刻画和证明命令式程序的合适的框架.
- 丁志义宋国新邵志清
- 关键词：操作语义
- 对数无限可分级串框架下的异常网络流量分析被引量：1
- 2006年
- 湍流尺度分析中的对数无限可分级串方法具有描述数据流全范围下的多尺度行为的优点,可用于对网络流量的多尺度行为的分析。在对几组正常流量和含蠕虫的异常流量分析讨论的基础上,发现受数据流内含协议数据的成分变化的影响,正常流量的多尺度分段点具有不确定性;而受W32/Blaster蠕虫影响的数据流的尺度特性符合幂律关系,即尺度不变性;W32/Nachi蠕虫不影响TCP数据流的尺度特性。
- 程华邵志清房一泉
- 基于DNA序列切片重组技术的信息加密算法被引量：1
- 2005年
- 深入分析了DNA序列处理中的切片重组技术,研究了这种技术在信息加密中的应用,提出了一种基于切片重组技术的全新信息加密算法,并对算法的加密强度作了详细讨论。实验结果表明该算法是安全、高效和可行的。
- 关淘邵志清李庆超吴庆涛
- 关键词：DNA序列信息加密
- CORBA规范的形式化描述及分析被引量：5
- 2004年
- CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范,其规范主要以IDL语言编写,只提供对象的静态行为描述。提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析,结果表明扩展有色Petri网模型不仅能够清楚描述对象的静态行为,同时也能较好地模拟对象分布性和动态行为。
- 郑红李师贤
- 关键词：CORBACORBA规范PETRI网
- 基于对象角色的应用系统的建模
- 2006年
- 面向对象角色分析方法OO ram(Ob ject-O riented Role Analysis and Modeling)是一种新的面向对象软件开发方法。介绍了它的建模思想和步骤,并与其它面向对象的方法进行了比较。最后,用这种方法实现一个应用系统的模型设计。
- 郑红范开元杨根兴
- 关键词：面向对象
- 基于对数无限可分级串框架Web网络流量分析被引量：1
- 2005年
- 由于Web流量占据了网络流量的主要成分,它的尺度特性必然对整体流量特性产生一定的影响。而对数无限可分级串框架能描述数据流全范围下的多尺度行为,因此可在该框架下分析Web流量与TCP流量的多尺度行为。通过几个对比实验,发现Web流量并不一定就决定了TCP流量的尺度特性,异质的非Web流量的尺度分段交接点大于同质的Web流量的交接点。而且在相近的时间内,Web流量的尺度特性不受一些异常流量的影响,是相对稳定的。
- 程华邵志清房一泉黄建华
- 关键词：WEB流量
- 基于Tecton的验证系统Violet被引量：1
- 2005年
- 在Tecton语言对面向概念的构件进行形式化规范的基础上,创建了Violet验证系统对构件的性质进行自动验证。Violet系统是基于重写技术的验证工具,其主要目的是辅助用户发现和理解构件规范的验证,并建立经过验证的软硬件的构件库。描述了系统在可视化和自动化方面的主要特性,并实现了位交换协议的Tecton规范和系统验证。
- 翟洁邵志清
- 关键词：重写
