基于时序逻辑的面向方面体系结构描述语言

运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻辑框架下设计出一种面向方面体系结构描述语言AC2-ADL。系统地阐述了AC2-ADL的概念框架并用XYZ/E进行语义解释,最后结合案例介绍了如何用AC2-ADL对SA进行描述。     

面向服务的动态体系结构描述语言SO-DADL

面向服务的架构（SOA）是一种基于Internet的分布式软件体系结构。在SOA中,粗粒度的,可发现的,松散耦合的,自治的服务是其基本的结构单位。基于高阶多型π演算理论和XML语言,提出了一种基于SOA架构的动态体系结构描述语言SO-DADL。SO-DADL指定服务的接口、行为、语义和质量特性,提供了对动态和不断演化的结构建模和分析的机制,并支持基于架构的服务组合和运行时动态演化,用案例说明了SO-DADL的应用。     

一种面向自适应软件系统的体系结构描述语言*

从构件角度出发,结合软件agent技术,提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论,在现有的动态体系结构描述语言D-ADL基础上,提出一种能从运行时角度描述自适应构件的动态行为的体系结构描述语言SOS-ADL。利用SOS-ADL形式化描述E-BDI结构的自适应构件行为,使构件能根据变化的环境和需求,自主推导自身的行为,达到实现软件自适应的目的。案例说明了面向自适应软件系统的体系结构描述语言SOS-ADL的应用。     

面向方面的体系结构描述语言AC2-ADL

体系结构描述语言(ADL)是基于体系结构的软件开发的基础,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,导致软件体系结构设计方案难以理解、难以演化和难以重用.通过设计面向方面的软件体系结构描述语言AC2-ADL,使用方面组件明确地描述系统的横切关注点;并引入方面连接件以及抽象出软件体系结构语境中的注入点,呈现结构之间复杂的交互,以解决不同关注点的分散和交织等问题,试图为设计和描述面向方面的软件系统的软件体系结构提供一种有效的解决方案.研究结合电子商务领域的网上拍卖系统,讨论了该语言的主要应用过程,具有一定的参考作用.     

面向服务软件体系结构的XML描述和构造

介绍一种新的基于XML的用来描述服务软件体系结构的体系结构描述语言S-XADL.S-XADL规约采用XML作为元语言,集成了相关的UML 2.0 Profile规则、OCL语言和MSC表示法,除具备描述软件系统高层结构的能力,还为定义服务的交互集成模式和把服务映射到目标构件配置提供了建模元素.提出一个三阶段的软件体系结构迭代改进过程,该过程把服务视为首要的类建模元素,并认为服务是横切体系结构的方面.给出一个使用MVC模式的运行实例的面向服务体系结构建模,用以展示该方法的可行性和有效性.     

一种面向服务的体系结构参考模型

在对当前的面向服务体系结构研究的基础上,提出了一种用于设计面向服务体系结构的参考模型,深入地阐述了有关概念,详述了参考模型的结构以及其中的服务总线和服务合约的元模型,并提出了一个用于评价面向服务体系结构的成熟度模型．该参考模型为进一步设计面向服务的体系结构奠定了基础．     

SMC/ADL:一种层级式构件系统的体系结构描述语言

针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至演化阶段的完整体系结构规约框架,使其对系统高层抽象的支持扩展到整个软件生命周期。相关辅助工具表明了它的有效性和实用性。     

一种传感器网络应用的面向服务体系结构

为了解决传感器网络和Internet之间的互联以及应用问题,提出了面向服务的体系结构。该体系结构将传感器网络应用的接口和交互作为一种网页服务进行封装。这样用户可以通过HTTP来查找、定位和唤醒这些服务。将传感器网络按功能分为核心服务集合和辅助服务集合。通过应用层的接口来调用传感器网络的功能,为应用开发者提供一个统一的标准,不需要考虑底层的实现,加强了应用开发的通用性和开发速度。描述了该体系结构的实验环境,并与典型应用场景相结合,融合核心服务和辅助服务。研究显示,该体系结构可以促进传感器网络应用的快速发展,有着广阔的发展前景。     

一种面向服务流程异常处理的策略描述语言

研究了组合测试错误定位表的结构。针对t维组合测试情形,在假设待测系统中只有一个强度小于等于t维的错误交互时,提出了一种新的构造这种特殊情形的错误定位表的方法。这种方法构造的错误定位表覆盖了所有的t维交互并且对任意两个t维交互,表中包含这两个t维交互的行的集合互不相同。最后提出了生成这种错误定位表的AETG-like算法。实验表明,用该方法构造出的错误定位表比用t+1维覆盖表构造的错误定位表其行数要少得多。     

面向服务软件中异常处理模块重要性的仿真分析方法

基于蒙特卡洛方法,提出异常处理模块重要性的影响因子,其中包括异常处理模块所对应的保护区的重要性以及异常处理模块自身的稳态故障率.基于贝叶斯理论,计算保护区的重要性;运用马尔可夫链的遍历性计算异常处理模块的稳态故障率.试图提出一种面向服务软件中异常处理模块重要性的定量分析方法,设计人员可以根据分析结果对重要度高的异常处理模块给予更多的关注.     

面向服务软件中基于着色Petri网的异常处理模型

面向服务软件异常处理的开发工作量大且程序逻辑复杂。若只在设计阶段后期或是编码阶段考虑异常处理功能的开发,则可能由于没有充分、完整、系统地考虑待处理的异常而严重影响软件整体可靠性。针对面向服务软件中异常处理机制的特点,提出一种基于着色Petri网的异常处理模型。通过对异常处理组成元素和异常处理模式分别进行形式化描述,可提供可重用的异常处理模型元素。设计者根据面向服务软件中异常处理的实际需求,使用异常处理模式连接异常处理组成元素,形成一个完整的异常处理模型。利用该模型可以精确描述面向服务软件中异常处理总体方案,便于辅助设计人员检测异常处理设计方案中的缺陷。     

一种策略驱动的BPEL流程异常处理描述方法

针对如何提高BPEL流程的异常处理描述能力的问题,提出了一种策略驱动的BPEL流程异常处理描述方法。首先设计了一种新型的BPEL流程异常处理策略描述语言BPEH/PDL,并基于着色Petri网提出了BPEH/PDL异常处理策略的形式化描述方法。最后结合制造执行系统领域的汽车装配流水线管理系统,讨论了基于BPEH/PDL的BPEL流程异常处理策略的应用过程,以供参考。     

基于Java语言的异常处理机制的研究

Java是面向对象的程序语言,其异常处理机制是Java的一大特色。本文讨论了Java的异常处理机制,并指出异常处理机制中常见错误模式及注意事项,以便更好的利用Java解决实际问题。     

实时异常处理技术的探讨

在分析现有异常处理技术的基础上,比较了在程序语言及操作系统中实现异常处理的优缺点,然后讨论了实时系统中异常处理的本质需求、必要需求及性能目标。为设计出适合于实时系统的异常处理机制,从异常的表示、关键度的管理等几个方面进行了讨论,为实时异常处理的设计提供了指导原则。最后对实时异常设计进行了总结,同时展望了该领域内的相关工作及发展方向进行。     

工作流管理系统中的一种异常处理

目前，开发和运行企业过程的最好工具是工作流管理系统，对于企业这样复杂的应用系统，出现异常是非常频繁和正常的，但企业要求工作流管理系统不仅在正常情况下发挥作用，而且需要灵活地处理各种异常情况。文章设计了数字银行的电话收费业务的异常处理机制，使用JECA规则描述异常处理，同时采用基于CBR的异常处理机制提高系统的灵活性和柔性，增强系统处理异常的能力。     

Java异常处理机制的研究

异常处理是Java语言的重要语言机制，正确、合理地处理异常对程序的可靠性、健壮性是十分重要的。在分析了异常处理技术的概念和思想后，对异常处理提出了指导原则，并针对检查型异常和非检查型异常的差异，探讨了对应的解决措施。     

C^＋＋语言异常处理机制的研究

Here we make a detailed investigation on the exception handling mechanism of C^ ,have much discussion on many design and implementation problems ,and offer many suggestions on the use of it.     

一种静态分析C^＋＋异常处理的方法

异常处理是现代程序设计语言提供的用来提高软件健壮性的一种机制。由于在C^＋＋的函数界面中并不要求声明该函数所能传播出的异常的类型，所以要想提高系统的健壮性，必须清楚在程序的执行过程中可能引发的异常、异常的传播路径等。然而在大型系统中，要想确定这些信息是非常困难的。本文针对C^＋＋的异常处理机制，首先提出了一个描述C^＋＋异常结构信息的模型，并把该模型应用于递归函数中。然后，描述了一个基于该模型的分析C^＋＋程序异常结构信息的工具CETool。该工具能提供所有显式引发异常的有关信息，为系统中异常处理结构的改进和程序的结构测试提供有价值的信息。最后给出了该工具的实现方法和应用实例。