一种基于智能规划的信息安全风险过程建模方法

 为了评估网络信息系统的安全风险,提出了基于智能规划的信息安全风险过程建模方法:使用规划领域的定义语言描述信息安全的风险领域和风险问题,修改后的bifrost规划引擎调用相关算法构建系统所有的渗透路径,最后通过Graphviz Toolkit接口绘制出规划渗透图表现系统安全风险过程.     

华中电网调度生产短信息平台研究开发与应用

无线通讯特别是短信息技术在各行各业得到了广泛的应用,如何利用无线通讯技术为调度生产服务是一个重要课题.以华中电网为例,分析了网省调度中心网络信息支撑平台普遍存在的一些问题,就如何在调度生产中引入短信息技术进行了探讨,介绍了华中电网调度生产短信息平台研究开发与应用的具体情况,重点就其功能与应用特色进行了介绍.     

基于Pi演算的Web服务建模与WSDL转换

为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型,通过形式化的方法验证,基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的.wsdl文件。     

SPEM2XPDL模型转换研究*

将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎.此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持.SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性.     

工作流技术在ASP公共服务平台中的应用研究*

根据项目特点,建立了适合ASP平台的基于协调理论和反馈机制的扩展活动网络模型,采用XML模式的XPDL规范实现过程定义;然后通过DOM解析XML数据文档和J2EE的技术支持实现了系统的轻量级工作流引擎.详细介绍了系统实现中解决的两个关键问题:事务型操作的处理和并发控制,并提出了基于优先级的锁绑定机制.     

基于SOA的动态联盟企业流程的网络化协同建模

在研究传统的企业建模方法基础上,结合有关分布应用集成技术,研究了网络化环境下动态联盟企业间的协同建模机制,提出了一种基于SOA实现动态联盟企业流程的网络化协同建模的模型框架。在此基础上讨论了实现网络化协同模型的两项关键技术,即协同建模过程管理技术和基于XML的流程定义语言,并给出了实现网络化协同模型时所使用的一个流程定义文件。     

支持领域复用的过程元模型

过程的复用问题如同软件本身的复用性，具有同样重要的意义．提出了一种支持领域复用的过程元模型．借鉴OO技术中的类继承概念，以表示领域业务过程间的共性以及抽象-特化父子关系；通过参数化模板机制的使用，增强过程的抽象表示能力．据此设计了独立于具体平台的过程定义语言，通过映射机制可转换为特定的过程定义语言如WSFL、WPDL等，从而可被各种工作流引擎执行．实现了过程建模工具PM Builder．     

一种用于网络管理的基于逻辑的Policy定义语言

Policy被越来越多地应用于大型分布式系统的管理，提出了一种基于逻辑的Policy定义语言LPDL，定义了LPDL的语法，运行模型和语义，为基于Policy的网络管理提供了一种形式化的框架，LPDL具有简单的语法规则和与图灵机等价的计算能力，管理人员可以根据实际需要，灵活地将系统的解释决策功能用LPDL语言定义成Policy或封装在系统物理实现现代码中，最后给出了基于LPDL的网络管理模型及其原型实现和应用，表明LPDL能很好满足网络管理动态发展的需要。     

基于XML Schema抽象模型的XML模式验证方法

XML模式验证作为处理XML数据的前提和保证有着重要的地位,XML Schema作为XML的定义语言,其本身并不能保证XML数据的有效性.利用XML Schema抽象模型,定义了XML Schema中每个复杂类型的模式信息,并用非终节点序对集描述XML文档,最后给出了XML模式验证算法,可以有效地验证XML文档的组织结构和内容类型.     

基于中间件的运行时监测与分析框架

运行时刻软件的监测与分析不仅可以提高软件质量,也是软件自适应性的基础.本文提出了基于模式的声明式约束描述方法,以此为基础,在J2EE中间件PKUAS上开发了运行时监测与分析框架,其最大的特点是探针的灵活部署和监测面向业务逻辑的约束.最后,阐述了框架的实现和相关实验的效果.