构件化业务流程重组应用服务器可信性度量方法研究

针对面向业务流程重组的应用服务器（BPRAS, business process re-engineering oriented application server）的可信性度量方法形式化方面的不足,给出了BPRAS的业务流程建模与可信性度量协作框架,并在此框架基础上,提取组成应用服务器的构件属性和构件组合行为特征,通过进程代数等相关方法进行抽象,从构件之间的运算角度,定义BPRAS构件运算算子,从而建立BPRAS代数模型,并进一步对其支撑的业务流程应用软件可信性进行建模,提出多种可信范式,为可信BPRAS软件可信性度量方法提供理论支撑。最后介绍了一个应用实例。     

并发模型构件的状态迁移派生图及等价判定

模型复用是在建立企业模型过程中避免重复劳动的有效解决方案之一，它可以提高企业建模的效率。针对模型复用，提出了基于代数理论的并发模型构件，刻画了模型构件的状态迁移语义和派生图．给出了基于派生图的并发模型构件等价判定算法。与已有的方法相比，综合考虑了模型构件的状态迁移属性和并发属性，实现了动态过程下并发模型构件的等价性判定．     

基于有色Petri网的模型驱动SOA服务模型组合

在模型驱动SOA的框架下,业务流程层的合理创建可验证的流程服务。通过形式化定义了服务组合过程中的5种基本的逻辑结构,采用有色Petri网表示,并将其抽象成为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务性质以及组合服务的构造方法;最后通过实例,说明该建模方法可以保证组合的服务是正确而且可终止的。     

基于区间数据场景级属性可信评测的检测能力分析

如今的可信计算机仅可以确保系统资源静态安全,但是在运行系统后,其软件行为可信性决定着终端计算机可信性。基于软件运行动态可信性,将基于区间数据场景级属性可信测评模型引入以往软件行为模型中,通过检查点属性分级,简化检查点可信评价,并结合检查点场景级客观赋权和属性主观分级赋权,以构建场景级属性可信模型的方式可信测评区间数据场景及属性。结果发现,基于分级属性减少了对比阈值的次数,由此表明,基于区间数据场景级属性可信评测攻击检测能力比较高,而且具有有效性。     

支持网络动态重构的可信构件模型

基于构件接口分离原则和动态软件体系结构技术,提出了一种支持网络动态重构的可信构件模型,对构件构造和组装进行了分析,并提出了可信数据安全封装机制。基于感知、决策和执行分离机制,构件模型可以支持构件重构,通过容器对构件数据进行安全封装,构件模型可以检测和阻止恶意构件的非法操作,保护构件间的数据安全传递。实现了支持可信构件模型的容器原型,实验表明,使用该模型可进行构件连接拓扑关系的重构,可及时发现恶意构件并暂停构件运行,提高了节点的可信性。     

基于分级属性的软件监控点可信行为模型

为了准确判断软件的可信性,针对软件预期行为轨迹中的软件监控点,该文提出了一个基于分级属性的软件监控点可信行为模型。首先,依据软件监控点各属性在可信评价中的作用范围将属性分级,构建各级属性的可信行为模型。其次,针对场景级属性,对同一监控点的训练样本进行区分,提出了一个基于高斯核函数的场景级属性聚类算法;针对单类训练样本,提出了基于单类样本的场景级属性权重分配策略。最后,实验分析表明:基于分级属性的软件监控点可信行为模型能够准确地对监控点的可信性进行评价;对于场景级属性可信模型,采用基于高斯核函数的场景级属性聚类算法具有更低的分类错误率,基于单类样本的场景级属性权重分配策略具有更优的可信性评价效果。     

基于语义验证的可视化BPR建模工具

为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出具验证的可视化建模工具。该工具在具备基本的可视化业务流程建模功能基础上,可通过与随机Pe-tri Net性能计算工具协同计算,从可覆盖性等角度验证流程属性满足需求语义的合法性。实验结果证明,该工具可提高重组业务流程的正确性和开发效率。     

基于属性的远程证明模型

针对目前TCG组织定义的远程证明信任链模型在描述基于属性的远程证明时存在的不足,通过对基于属性远程证明过程中的证明请求、可信策略以及可信性评估过程进行抽象,提出了一个新的基于属性的远程证明模型.该模型将传统远程证明中信任链模型扩展为信任图,使得模型能够表达更为灵活的可信策略.还对可信策略的属性可信性判定问题以及可信评估过程终止性问题进行了讨论,给出了相关定理及证明,为可信策略的定义与检查提供了理论基础.基于该模型给出了实现可信网络接入时的可信策略定义,用实例验证了该模型在描述能力方面的增强.     

J2EE构件化软件支撑平台研究与应用开发

为了提高软件复用程度,适应需求变化,提高业务应用系统开发效率和可维护性,研究了构件化、平台化的软件开发方法。基于Java2企业版（J2EE）的软件支撑平台,应用结构化、层次化和面向对象的方法,重点研究了软件支撑平台组成结构、软件构件定义、属性、表现和模型、构件分类与管理技术。同时,结合J2EE构件化软件支撑平台及其构件,研究了基于构件的业务应用软件的开发方法和过程模型。给出了基于J2EE的软件支撑平台的业务应用具体开发步骤,在多个实际项目中得到了应用。应用结果表明,提高了业务系统开发效率20％左右,软件复用显著提高,适应需求变化,可维护性增强。     

基于中间件的可定制信任管理框架

针对Internet环境下广泛的信任危机,人们着力于研究可信性支撑和度量技术.传统模型和机制很少从信任本身看问题,并且大多只涉及可信的单个方面,对于有多种可信特性需求的系统来说,很难提供一致的管理.本文以Internet环境下的软件服务为研究实体,从信任角度出发,致力于为软件服务的可信性管理建立一致视图.首先基于中间件建立了一个信任管理模型,然后基于对可信特性的共性提炼,构建了一个可定制、扩展性良好的信任管理框架,并以可扩展为目标建立了一个可行的可信性度量模型.最后基于构件运行支撑平台PKUAS进行了设计和实现,并与相关工作进行了比较.     

MVC和UML在教学管理系统中的研究与应用

MVC(模型-视图-控制器)是一种优秀的编程模型,它可以把用户界面设计、流程控制和事务逻辑进行分离。文中结合南京邮电大学教学平台建设的实践,研究了MVC模式和UML(统一建模语言)在教学管理系统中应用,探索了一种把MVC和UML相结合的方法,提出了基于多层网络应用框架的教学管理系统,即客户应用层、J2EE(Java 2平台企业版)服务器中W eb处理层、J2EE服务器中处理各种复杂教学事务的业务逻辑层、存储数据和文件的企业信息层。其中,业务逻辑层是整个系统的重点,它包含6个EJB(企业Java组件)。实践表明,这种多层结构的软件系统有着良好的推广价值和应用前景。     

Strategy-based design of reusable business components

Grounded on principles of manufacturing design, component-based software development (CBSD) has been viewed as the future trend in software development. In this paper, we propose a methodology for component fabrication and argue that, as in classical product development, business strategy of component development companies must guide the design of reusable business components. Accordingly, we link business strategy with component design through managerial goals (identified as cost effectiveness, ease of assembly, customization, reusability, and maintainability). These managerial goals are then mapped to technical features (identified as coupling, cohesion, number of components, component size, and complexity). We develop a formal model, called Business Strategy-based Component Design that uses the object-oriented model of a business to derive the component structure by grouping appropriate object classes to achieve the desired business strategy. We examine the validity of the model by a two-phase application process.     

基于数字电视网络的导航系统设计

介绍了数字电视交通导航系统的用户需求,分析了系统实现的关键技术,给出了系统的硬件组成与网络结构;系统的软件结构分为数据处理层、业务引攀、业务应用层3层.该系统不需要对电视终端和有线电视网络做任何改造,易于实现.     

支持软件重用的面向模式的软件开发方法

软件模式作为一种有效的重用手段正日益得到开发组织和学术界的广泛关注．目前对软件模式的研究侧重于利用非结构化的方法构建和描述模式，开发者很难对模式进行维护和重用．本文提出了一个支持软件重用的面向模式的软件开发过程，它将基于体系结构的建模方法与软件过程有机地结合在一起．面向模式的软件开发过程包括四个阶段：业务分析、需求分析、构件设计和构件实施．模式用于描述各个阶段的丁作产品，同时也是开发经验的表示．不同模式之间的可跟踪性是随着开发过程自动产生的，软件构件具有可跟踪性，其可重用性得到提高．     

基于微内核结构的统一网管平台设计研究

微内核结构的软件系统是软件设计发展的方向之一。提出并设计了一套基于微内核结构的统一网管平台。平台采用客户/服务器群模式,服务器端各功能服务器仅负责各业务组件的初始化以及作为调度者充当业务组件与客户端、其他功能服务器之间数据传输的桥梁;具体业务皆由各网管业务组件负责完成。客户端以单一框架为容器,各业务显示、设置部件统一加载、分布其中。同时阐述了网管平台各业务的关键技术实现思想。最后给出了平台运营实例。     

基于领域工程的特种作战指挥系统建模研究

在领域工程理论的指导下,通过分析研究特种作战自动化指挥领域各业务领域的特点,采用面向特征的领域分析方法,结合面向对象的软件设计思想,得出了该领域的可继承和研究的共用和业务通用构件及系统集成模型框架。阐述了特种作战自动化指挥领域分析模型、领域设计模型和领域实现模型的建模过程及各阶段建模目标,介绍了选用的建模工具及模型的表示方法。     

基于GEF和EMF的JavaEE快速开发工具设计

讨论了基于GEF和EMF技术的JavaEE应用快速开发工具,即jStudio。该工具是一个桌面程序,采用MDA模型驱动开发。通过可视化、图形化的编辑器建立业务模型对象,生成增、删、改、查等所有代码,并能够自动编译、自动发布和部署及同步更新数据库,能够快速高效地自动生成基于Struts＋Spring＋Hibernate框架的JavaEE应用系统和构件。实践检验表明,jStudio能极大地提高软件开发效率和生产力,加快软件价值的实现。     

基于SOA技术的管理信息系统设计

在分析科技成果管理信息系统平台开放、标准、集成的实际需求的基础上,阐述了基于.NET技术和面向服务架构(SOA)的科技成果管理信息系统平台。提出了业务组件化、服务化、应用分层的设计思想,对系统运行流程、各软件层和组件的功能进行了论述,提出了系统关键层的设计要求和实现方法.通过对系统一年多的实际应用结果表明,采用基于SOA模式的系统架构可以很好地满足科技成果管理系统的流程变化和异构系统的集成,同时也大大提高了程序编写的效率。