面向服务软件中异常处理的形式化建模方法

针对面向服务软件中异常处理难以建模的问题,基于层次着色Petri网提出了一种面向服务软件中异常处理的形式化建模方法。该方法从异常的抛出、捕获、处理、返回或传播等方面入手进行了异常处理成分建模,给出了各成分的层次化的形式语义模型,来清晰地表达异常处理的过程。结合实例从有效性和可靠性角度对建模方法进行了验证,结果表明,所提方法能够充分利用着色Petri网的层次和数据类型的建模能力,为面向服务软件的数据流和控制流、大规模面向服务软件的层次化模型建模,为异常处理性质的分析与验证提供支持。     

MATLAB在电力拖动自动控制系统教学中的应用探索

本文研究将MATLAB中的Simulink工具应用于电力拖动自动控制系统教学中,进行建模、分析和仿真。分别通过实例介绍了面向传递函数建模和面向电气结构图建模两种方法．探讨它们在自动控制系统动态性能分析、虚拟实验开发和课程设计等方面的应用。     

聚变工程研究中的统一建模与信息集成

针对聚变堆系统设计的复杂性,结合聚变工程研究的现状及面向研究建模与面向工程建模的特点,提出了聚变堆系统的统一建模与信息集成的处理思路,给出了从面向研究到面向工程的全过程统一建模原理及其建模分析模式,并通过包层信息模型建模的实例,说明了这一思路的可行性和必要性.     

一种面向方面的非功能需求建模框架

分析了软件非功能需求与建模的NFR框架与AORE模型,在此基础上对原有的NFR框架进行了修改和扩充,并将其与AORE模型相结合,提出了一种面向方面的非功能需求建模框架AONFR,该框架保持了NFR框架对非功能需求有效的描述与分解,而且利用了面向方面开发方法对非功能需求有效的模块化,从而达到对非功能需求松散耦合的模块化实现.     

从数学建模活动谈高校数学教学改革

数学教学的改革应面向 2 1世纪 ,适应生产和科学技术的发展 ,旨在推动大学生素质教育 ,教学建模是数学教学改革内容之一 ,目的是培养学生解决实际问题的能力 ,本文从数学建模活动分析了高校数学教学改革的三个重要方面 :1 对原有的教学内容要做适当的增删 ;2 增加独立的数学建模课程 ;3 增强数学实验。     

基于UML的信息融合系统自适应敏捷建模

敏捷建模是面向实践的建模过程。研究了基于UML的自适应敏捷建模方法。结合信息融合系统分析,敏捷建模使用UML的一个子集,从域模型出发,进行健壮性和自适应分析,将系统动态建模和静态建模结合起来,快速、有效地构建系统模型。通过关联算法模块的建模证明:该方法可以大大方便设计人员和使用人员的沟通,缩短研发周期,提高研发效率,对信息融合系统的研究具有实际意义。     

面向产品概念设计的虚拟三维装配建模及其仿真技术

探讨了面向概念设计的产品虚拟三维装配建模过程和三维建模方法,提出了面向概念设计阀门装配CAD设计与仿真的思想和方法。     

一种基于Object-Z的面向方面建模方法

提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。     

一种面向Agent的需求分析和建模方法

随着Agent技术的发展,面向Agent软件工程是将来软件工程领域的发展趋势,面向Agent的需求分析和建模更是该内容的研究热点.在介绍几种面向Agent需求分析和建模方法的基础上,定义了一组面向Agent的图形化符号表示方法和形式化建模语言,详细地描述了整个系统的需求情况,最后在实例中进行了验证、分析和说明.     

基于Ptolemy Ⅱ的面向角色工作流建模方法研究

面向角色的建模方法不同于面向对象的方法，角色之间通过端口和参数直接进行通信，是一种真正的基于组件的设计方法。同时，它层次化的设计思想也对大型建模活动有着重要的指导意义。针对工作流的三维模型，探讨使用面向角色的思想来进行工作流建模，并使用面向角色的建模设计工具PtolemyⅡ搭建工作流建模平台。     

基于UML的软件设计信息抽取及其在重构中的应用

运用统一建模语言UML(Unified Modeling Language),提出了一种关系型建模方法,并实现了一个原型系统,能够对UML中蕴含的部分设计信息进行建模与抽取.所得到设计信息能够应用于软件重构及面向方面编程中,能够挖掘设计阶段形成的语义信息,有效地帮助开发人员进行软件重构.     

基于面向方面（AO）的重构

面向方面编程(Aspect Oriented Programming AOP)技术提供了一种在编程阶段实现关注点分离的有效手段。将面向方面技术和重构技术结合形成一种新的重构技术,就是面向方面的重构。对面向方面这种新的编程技术进行了分析,对重构技术进行了简要的说明,阐述了如何利用AOP技术进行重构。通过一个具体实例说明了面向方面的重构技术,并讲述了面向方面的重构技术的优点。     

新形势下图书馆员形象的塑造

阐述了作为图书馆事业灵魂的图书馆员,必须具备合理的知识结构,注重内在素质的提高和外在形象的塑造,才能适应新形势下图书馆生存发展的需要。     

基于UML的图书管理系统建模与设计

统一建模语言UML是面向对象分析和设计过程中重要的建模工具,以图书管理系统为例,探讨应用UML对系统的需求分析、详细设计及实现的不同阶段的分析和建模过程。     

一个面向方面的数字视频监控系统软件质量度量研究与应用

以一个数字视频监控信息系统为基础,分析了面向对象的软件开发方法在横切关注点分离上的缺陷,采用UML对系统进行面向方面建模结合C＆K软件质量度量方法,对基于面向对象开发的软件系统和面向方面架构的软件系统进行了简单的质量度量.结果表明,面向方面的数字视频信息系统在可扩展性、可复用性、降低类之间的耦合度以及增强类的内聚上具有一定优势.     

基于UML的三层分布式图书馆管理系统开发设计

UML是一种面向对象的统一建模语言,本文以UML为工具对三层分布式原理的信息管理系统进行建模分析,给出了系统用例图,序列图等.     

基于熵的AO程序复杂性度量

AOP(aspect-oriented programming)是一种新的程序设计范式,它能够有效解决横切关注点分离问题.由于AO系统的行为依赖于aspect与类之间的交互,因而定义一种新的、适合于AO的复杂性度量,以更加有效的理解和维护AO程序就很有必要.提出了一种新的复杂性度量,用以评估AO系统中aspect的复杂性.首先定义了aspect的信息流图,用以描述组成aspect的元素之间的交互和aspect与其他程序单元的交互;在此基础上,提出了一种基于信息熵的aspect复杂性度量,它从aspect负载的平均信息量角度量化aspect的复杂性.分析了它的外部行为特性,并使用多个AO项目进行了验证.实验结果表明,该度量反映了aspect的设计度量,能够有效的预测aspect的复杂性.     

一种基于UML的面向方面模块动态特性编织方法

在面向方面软件开发Theme方法的基础上引入用例驱动技术,其中用例技术实现软件模块化,面向方面技术封装横切关注点,从而形成一种用例驱动的面向方面软件开发(UCD/Theme)方法。通过分析面向方面模块的动态特性在编织过程中可能产生的冲突,提出了一种扩展UML的面向方面模块动态特性编织时的冲突解决方法。通过ATM案例说明了该方法的应用。