期刊文献+
共找到245篇文章
< 1 2 13 >
每页显示 20 50 100
一种面向方面软件体系结构中的编织机制研究 被引量:7
1
作者 倪友聪 应时 +3 位作者 张琳琳 文静 叶鹏 赵楷 《计算机研究与发展》 EI CSCD 北大核心 2010年第4期695-706,共12页
在面向方面软件体系结构设计中,通过指定注入位置、时机及约束,将封装了横切行为和特征的方面组件与组成软件体系结构(SA)的组件、连接件编织起来,形成一个有机整体,这对SA整体行为和质量特征的分析和验证具有十分重要的意义.提出一种S... 在面向方面软件体系结构设计中,通过指定注入位置、时机及约束,将封装了横切行为和特征的方面组件与组成软件体系结构(SA)的组件、连接件编织起来,形成一个有机整体,这对SA整体行为和质量特征的分析和验证具有十分重要的意义.提出一种SA层编织机制,它基于AC2-ADL建立的编织前SA模型,通过明确定义的编织过程和相关编织规则,将编织前独立设计的方面组件显式地织入到组件中,使得最终形成的仅含组件、连接件的编织后SA模型更加易于分析和验证.最后结合案例进一步对该编织机制作详细解释. 展开更多
关键词 面向方面软件开发 面向方面软件体系结构 面向方面软件体系结构描述语言 方面编织 编织机制
在线阅读 下载PDF
从面向方面程序设计的定义到面向方面程序设计语言 被引量:9
2
作者 古思山 蔡树彬 李师贤 《计算机科学》 CSCD 北大核心 2011年第10期133-139,共7页
目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方... 目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面,给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与Obliviousness,模块化横切关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。 展开更多
关键词 面向方面程序设计 面向方面程序设计语言 横切关注点 Quantification Obliviousness
在线阅读 下载PDF
基于UML的面向方面建模方法 被引量:16
3
作者 刘瑞成 张立臣 《计算机科学》 CSCD 北大核心 2005年第10期204-209,213,共7页
面向方面编程(AOP)技术通过横切关注来实现软件系统。面向方面建模可通过扩展UML来实现,在元模型层次上设计面向方面软件开发(AOSD)模型框架。从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法。利用UML类图... 面向方面编程(AOP)技术通过横切关注来实现软件系统。面向方面建模可通过扩展UML来实现,在元模型层次上设计面向方面软件开发(AOSD)模型框架。从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法。利用UML类图实现方面的结构模型,方面与核心组件及方面之间的静态模型关系。协作图表达方面与核心组件及方面之间的动态行为,并通过状态图细化方面和核心组件的动态行为,实现状态图的方面与核心组件及方面之间的织入关系,最终实现方面代码的自动生成。基于UML的方面建模填补AOP与OOP技术之间的空白,提高软件设计的模块化,增强代码的重用性、维护性。 展开更多
关键词 面向方面 UML 元模型 框架 UML类图 建模方法 OOP技术 核心组件 面向方面编程 动态行为 软件设计 软件系统 结构建模
在线阅读 下载PDF
基于扩展UML的面向方面的建模 被引量:8
4
作者 郭东亮 张立臣 《计算机工程》 EI CAS CSCD 北大核心 2006年第19期100-102,共3页
提出了一个新的扩展UML进行面向方面建模的方法,它以合适的语义表达了AspectJ和AspectC++的元素和织入机制。在这个方法中,方面继承自类,切入点和通知继承自特征,这样切入点和通知是方面的一部分,方面与基本类的关系用横切依赖表示。切... 提出了一个新的扩展UML进行面向方面建模的方法,它以合适的语义表达了AspectJ和AspectC++的元素和织入机制。在这个方法中,方面继承自类,切入点和通知继承自特征,这样切入点和通知是方面的一部分,方面与基本类的关系用横切依赖表示。切入点的图符可以表达多个方面在相同连接点的横切行为,通知以一致的方式建模结构横切和行为横切,通过在顺序图上新加一个通知发出焦点,并通知表示为消息,这样可以清晰建模通知在何时何处怎样影响系统的行为。 展开更多
关键词 面向方面编程 面向方面建模 ASPECTJ AspectC++ UML
在线阅读 下载PDF
面向方面的软件工程指南 被引量:10
5
作者 莫倩 刘晓 《计算机工程》 CAS CSCD 北大核心 2007年第14期62-65,共4页
面向方面的软件开发(AOSD)技术的目标,是在整个软件生命周期中提供系统化标识、模块化以及组合横切关注点。随着AOSD技术的成熟,需要一个指南来支持良好工程化的面向方面系统的开发。该文综述了现有面向方面软件工程的各种方法,分析了... 面向方面的软件开发(AOSD)技术的目标,是在整个软件生命周期中提供系统化标识、模块化以及组合横切关注点。随着AOSD技术的成熟,需要一个指南来支持良好工程化的面向方面系统的开发。该文综述了现有面向方面软件工程的各种方法,分析了在需求分析、设计和编程实现阶段对方面进行考虑的方法,并提出了比较这些方法的准则。文章为面向方面的实际应用选择专门的方法(方法组)提供了指南。 展开更多
关键词 面向方面 软件工程 面向方面软件开发
在线阅读 下载PDF
一种面向方面的网格安全模型研究 被引量:2
6
作者 葛君伟 沈玉 方义秋 《计算机应用研究》 CSCD 北大核心 2010年第9期3533-3535,共3页
通过引入面向方面的核心思想,分析了网格安全实现方案GSI中存在的结构复杂和耦合度过高问题。在传统网格安全模型的基础上,利用方面机制来实现网格安全,提出了一种新的面向方面的网格安全模型(AOGSM),并对该模型进行了详细描述。仿真... 通过引入面向方面的核心思想,分析了网格安全实现方案GSI中存在的结构复杂和耦合度过高问题。在传统网格安全模型的基础上,利用方面机制来实现网格安全,提出了一种新的面向方面的网格安全模型(AOGSM),并对该模型进行了详细描述。仿真实验表明,面向方面的网格安全模型通过对网格安全横切特性的分离,降低了网格安全机制的复杂度和模块间的耦合度。 展开更多
关键词 面向方面 网络安全基础结构 网格安全 面向方面的网格安全模型 横切特性
在线阅读 下载PDF
基于UML扩展的面向方面建模 被引量:2
7
作者 葛君伟 何勇 《计算机应用研究》 CSCD 北大核心 2008年第10期3012-3014,3025,共4页
面向方面编程(AOP)把横切关注点从系统中分离,解决了面向对象编程(OOP)中代码纠缠、散射的问题。但在面向方面建模中,横切方面没有得到很好的支持。首先,在统一建模语言(UML)元模型的基础上利用类图建立了整体框架模型,设计了核心类、... 面向方面编程(AOP)把横切关注点从系统中分离,解决了面向对象编程(OOP)中代码纠缠、散射的问题。但在面向方面建模中,横切方面没有得到很好的支持。首先,在统一建模语言(UML)元模型的基础上利用类图建立了整体框架模型,设计了核心类、方面、横切元素及其之间的关系;其次,利用UML扩展机制为切点、通知、方面等主要元素建立了新的模型,设计了它们与方面之间新的关联关系并为其定义了语义。通过UML扩展,使得UML能够直接表达面向方面概念,支持面向方面建模设计,实现了面向方面模型的可视化和可辨别性;整体框架模型使得面向方面整体结构清晰,各个核心元素之间关系明确,为面向方面建模提供了一个整体设计平台,提高了面向方面软件设计的模块化,增强了代码的重用性和系统的可维护性。 展开更多
关键词 面向方面 统一建模语言 元模型 面向方面建模 PROFILE
在线阅读 下载PDF
面向方面测试方法的研究 被引量:1
8
作者 葛君伟 樊宁 方义秋 《计算机应用研究》 CSCD 北大核心 2008年第12期3628-3630,3644,共4页
面向方面编程(AOP)允许程序员将跨越多个模块的横切关注行为封装到一个可重用的模块中,极大地增强了系统的可维护性和代码的重用性。但这样的新特性也给测试带来了新的挑战,因为方面与原始模块之间错综复杂的依赖关系可能导致新的错误,... 面向方面编程(AOP)允许程序员将跨越多个模块的横切关注行为封装到一个可重用的模块中,极大地增强了系统的可维护性和代码的重用性。但这样的新特性也给测试带来了新的挑战,因为方面与原始模块之间错综复杂的依赖关系可能导致新的错误,从而使得传统的测试方法不能很好适应。以AOP错误模型为基准,对四种具有代表性的AOP测试方法发现错误的能力和有效性进行了深入详细的研究和对比,分析总结了目前面向方面测试技术领域存在的主要问题以及将来的发展方向。 展开更多
关键词 面向方面编程 横切行为 依赖关系 错误模型 面向方面测试方法
在线阅读 下载PDF
基于面向方面技术的HLA联邦成员开发方法 被引量:2
9
作者 王庆楠 李增亮 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第6期1296-1299,共4页
高层体系结构的联邦成员中存在大量的横切关注点,直接影响了联邦成员的开发和性能。利用面向方面的编程技术,能够有效地解决邦员的横切问题。介绍了联邦成员横切关注点的确定和方面的分离,面向方面的邦员实现,用扩展的UML表示面向方面... 高层体系结构的联邦成员中存在大量的横切关注点,直接影响了联邦成员的开发和性能。利用面向方面的编程技术,能够有效地解决邦员的横切问题。介绍了联邦成员横切关注点的确定和方面的分离,面向方面的邦员实现,用扩展的UML表示面向方面的邦员建模,结合一个恒温供热仿真系统邦员的开发实例,详细阐述了面向方面的联邦成员开发方法。 展开更多
关键词 面向方面的建模 面向方面的编程 统一建模语言 HLA联邦成员 横切关注点
在线阅读 下载PDF
一种新的面向方面的架构描述概念模型研究
10
作者 葛君伟 唐蓉 夏英 《计算机应用研究》 CSCD 北大核心 2008年第12期3636-3638,3641,共4页
软件架构的描述和设计决定了软件的质量和生命。作为方面的横切关注点横跨在多个架构组件中,影响了模块间的内聚性和耦合度,从而降低了软件的可重用性,增加了维护的难度。目前提出的许多架构描述方法均未能对存在的横切关注点进行恰当... 软件架构的描述和设计决定了软件的质量和生命。作为方面的横切关注点横跨在多个架构组件中,影响了模块间的内聚性和耦合度,从而降低了软件的可重用性,增加了维护的难度。目前提出的许多架构描述方法均未能对存在的横切关注点进行恰当的描述和定位,所以在软件的架构描述方法中引入了方面的概念机制来解决这些问题。基于IEEE 1471-2000中提出的架构描述概念模型,引入用例视图提出了一种新的面向方面的架构描述概念模型。该模型能够在架构描述中精确地描述和处理横切关注点即增加方面这一抽象层,从而提高软件系统的维护性、重用性和扩展性。 展开更多
关键词 面向方面 架构描述 用例 面向方面的软件开发
在线阅读 下载PDF
面向方面的信息系统建模方法及应用研究 被引量:2
11
作者 连若木 王理 +1 位作者 蔡华利 张际春 《计算机工程与应用》 CSCD 北大核心 2009年第34期63-66,共4页
随着面向对象软件开发技术的不断发展以及软件规模的不断扩大,系统地分析和设计变得日益复杂。软件开发过程中很难利用现有的编程技术(如面向对象编程、面向过程编程)对横切系统多个模块的关注点进行鉴别、理解和模块化。为解决面向对... 随着面向对象软件开发技术的不断发展以及软件规模的不断扩大,系统地分析和设计变得日益复杂。软件开发过程中很难利用现有的编程技术(如面向对象编程、面向过程编程)对横切系统多个模块的关注点进行鉴别、理解和模块化。为解决面向对象开发方法中的耦合性较高、可重用性较低和代码分散等问题,将面向方面的编程思想引人到系统分析和设计阶段,提出了一种面向方面的信息系统建模方法。 展开更多
关键词 面向方面软件开发 面向方面建模 信息系统 系统分析与设计 面向对象方法
在线阅读 下载PDF
基于元数据和反射的面向方面软件演化方法 被引量:6
12
作者 何成万 张立军 张慧 《电子学报》 EI CAS CSCD 北大核心 2011年第8期1771-1777,共7页
面向方面软件中的基础程序的结构信息发生变化后,会导致意外的连接点丢失问题.其原因在于连接点的定义紧紧地依赖于基础程序的结构,这种紧密的耦合严重阻碍了面向方面软件的演化.提出一种基于元数据和反射的面向方面软件演化方法.在连... 面向方面软件中的基础程序的结构信息发生变化后,会导致意外的连接点丢失问题.其原因在于连接点的定义紧紧地依赖于基础程序的结构,这种紧密的耦合严重阻碍了面向方面软件的演化.提出一种基于元数据和反射的面向方面软件演化方法.在连接点定义和基础程序之间加入概念层,以实现连接点定义和基础程序结构的解耦.概念层模型用于描述基础程序的逻辑信息、物理信息,以及这两类信息之间的映射关系.基于Java Annotation元数据机制在基础程序中使用逻辑信息对程序结构进行标注,同时,使用逻辑信息定义连接点.根据基础程序中定义的元数据对基础程序进行转换,自动生成元对象,基于反射机制实现基础程序演化后连接点的正确匹配.详细阐述了函数、构造函数的转换算法.该方法较好地解决了面向方面软件中由于基础程序结构信息的变化而导致的连接点丢失问题,有助于构建可适应的面向方面软件. 展开更多
关键词 面向方面软件 意外的连接点丢失 软件演化 元数据 反射
在线阅读 下载PDF
面向方面的编程的研究与实现 被引量:15
13
作者 王申源 董传良 刘英丹 《计算机应用研究》 CSCD 北大核心 2004年第11期220-223,共4页
面向方面的编程(AOP)是一种新的编程技术,它弥补了面向对象的编程(OOP)在跨越模块行为上的不足。AOP引进了Aspect,它将影响多个类的行为封装到一个可重用模块中,它允许程序员对横切关注点进行模块化,从而消除了OOP引起的代码混乱和分散... 面向方面的编程(AOP)是一种新的编程技术,它弥补了面向对象的编程(OOP)在跨越模块行为上的不足。AOP引进了Aspect,它将影响多个类的行为封装到一个可重用模块中,它允许程序员对横切关注点进行模块化,从而消除了OOP引起的代码混乱和分散问题,增强了系统的可维护性和代码的重用性。首先进行了AOP与OOP的比较,给出了AOP的原理和AOP的JBoss实现,最后介绍AOP在设计模式中的应用,并说明了使用它所带来的设计益处以及在应用AOP中应注意的问题。 展开更多
关键词 面向方面的编程 设计模式
在线阅读 下载PDF
面向方面软件重构等价性形式化证明方法 被引量:6
14
作者 陈生庆 张立臣 陈广明 《计算机科学》 CSCD 北大核心 2006年第7期257-261,共5页
软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计,使之更容易理解和维护,面向方面的程序设计是软件开发的新技术,为了有效实施面向方面的软件重构,需要开发者识别面向方面程序的转化规则。然而,由于使用的AOP语言没... 软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计,使之更容易理解和维护,面向方面的程序设计是软件开发的新技术,为了有效实施面向方面的软件重构,需要开发者识别面向方面程序的转化规则。然而,由于使用的AOP语言没有形式化的语义定义,难以确认转化和重构的程序运行行为。本文对MCI操作语义的面向方面的扩展使之支持程序的方面特征的描述,定义了两个程序的观测等价,讨论了AspectJ的形式语义模型的建立,在MCI的语义下形式化地精确证明了AddBefore-executing编程规则的观测等价性,其基本原理和方法可以适用于其他规则的证明,通过上述工作提出了面向方面重构的程序和它的面向对象程序原型等价性的证明方法。 展开更多
关键词 重构 面向方面编程 形式化方法 MCI 等价性 ASPECTJ
在线阅读 下载PDF
基于面向对象XML文档的面向方面模型 被引量:4
15
作者 姜岩 宫义山 +1 位作者 王国仁 薛海龙 《沈阳建筑大学学报(自然科学版)》 EI CAS 2006年第4期673-676,共4页
目的提出一种XML文档定义的方法,解决XML文档定义仅是一种简单包含关系和应用简单面向对象的功能、代码重复、横切关注点的分散、扩充XML元素时必须对原有元素修改问题.方法利用面向对象及面向方面定义方式方法的优势互补性,将其引入XM... 目的提出一种XML文档定义的方法,解决XML文档定义仅是一种简单包含关系和应用简单面向对象的功能、代码重复、横切关注点的分散、扩充XML元素时必须对原有元素修改问题.方法利用面向对象及面向方面定义方式方法的优势互补性,将其引入XML文档定义模式XML Schema中,提出基于面向对象XML文档的面向方面定义方式.结果在XML Schema原有定义方式中增加aspect、pointcut和advice几个定义元素的标识元素,并对XML Schema原有定义方式中简单面向对象方法进行扩充.定义XML元素及对元素进行扩充时采用多继承、阻塞、重命名、重载及织入结合,给出相应的表示符号,并用数学模型描述.结论基于面向对象XML文档的面向方面定义方式减少了XML文档定义中代码的重复,提高文档定义的模块性和可移植性.在实际应用中具有一定的可行性. 展开更多
关键词 面向对象 面向方面 织入 继承 阻塞 重载 XML文档
在线阅读 下载PDF
基于面向方面技术的服务安全组合故障分析 被引量:3
16
作者 范贵生 虞慧群 +1 位作者 顾春华 陈丽琼 《小型微型计算机系统》 CSCD 北大核心 2011年第9期1762-1769,共8页
服务组合作为实现服务增值的一种有效方法,业已广泛使用于各种应用.安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用.然而目前还缺乏对服务安全组合进行有效描述和分析的方法.提出一种基于面向方面的形式化服务安全组... 服务组合作为实现服务增值的一种有效方法,业已广泛使用于各种应用.安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用.然而目前还缺乏对服务安全组合进行有效描述和分析的方法.提出一种基于面向方面的形式化服务安全组合建模及其分析方法.重点讨论了服务的授权、执行的可追踪、数据保护及故障处理,并利用面向方面规范基本模块的行为、描述它们相互关系的手段,编织机制将这些模块动态地集成为一个完整的服务组合模型.基于此,Petri网的操作语义及相关理论分析服务组合的安全性及故障处理能力,给出服务组合的正确性准则,并证明了其有效性.具体实例及仿真结果表明,该方法能有效地简化系统建模,有助于提高服务组合的设计质量. 展开更多
关键词 WEB服务 面向方面 PETRI网 安全性 故障
在线阅读 下载PDF
基于用例的面向方面需求建模 被引量:5
17
作者 方义秋 冉华锋 葛君伟 《计算机工程》 CAS CSCD 北大核心 2009年第12期44-46,共3页
面向方面软件开发(AOSD)方法在编程阶段已能较好地实现横切关注点的分离,因此,对如何利用AOSD在软件开发的需求分析阶段实现横切关注点的分离进行探讨,结合用例技术实现对关注点的建模,以提高软件的重用性和可维护性。通过实际案例对模... 面向方面软件开发(AOSD)方法在编程阶段已能较好地实现横切关注点的分离,因此,对如何利用AOSD在软件开发的需求分析阶段实现横切关注点的分离进行探讨,结合用例技术实现对关注点的建模,以提高软件的重用性和可维护性。通过实际案例对模型进行分析说明,将横切关注点作为扩展用例处理,合成到需求模型中,可提高系统模块化程度和需求追踪性。 展开更多
关键词 面向方面 横切关注点 用例建模 需求
在线阅读 下载PDF
一种面向方面需求模型的分析与验证方法 被引量:5
18
作者 金英 刘华虓 张鹏 《计算机学报》 EI CSCD 北大核心 2013年第1期63-73,共11页
建立具有完整性和一致性的需求模型是软件项目成功的基础,验证需求模型是否具有相关性质在软件开发中具有重要的意义.文中针对面向方面文档驱动需求方法中的需求分析过程,给出了关注点建模过程中的若干验证策略,提出了基于本体的关注点... 建立具有完整性和一致性的需求模型是软件项目成功的基础,验证需求模型是否具有相关性质在软件开发中具有重要的意义.文中针对面向方面文档驱动需求方法中的需求分析过程,给出了关注点建模过程中的若干验证策略,提出了基于本体的关注点模型验证的相关方法,并通过一个实例说明了文中方法的有效性. 展开更多
关键词 面向方面需求分析 关注点关联图 本体 一致性验证
在线阅读 下载PDF
面向方面业务过程建模的正确性控制与检测 被引量:3
19
作者 张璇 王旭 +2 位作者 李彤 陈清毅 刘俊晖 《计算机学报》 EI CSCD 北大核心 2018年第3期521-544,共24页
在组织机构不断将其业务转向面向过程模式从而获得低成本、高效率、高服务质量与高生产力的同时,积累了成百上千的业务过程模型.为了支持这些大批业务过程柔性建模并提高业务过程模型可重用性,采用关注点分离思想,将实现不同功能的活动... 在组织机构不断将其业务转向面向过程模式从而获得低成本、高效率、高服务质量与高生产力的同时,积累了成百上千的业务过程模型.为了支持这些大批业务过程柔性建模并提高业务过程模型可重用性,采用关注点分离思想,将实现不同功能的活动按照横切关注点活动和基本业务活动实施分离,提出面向方面业务过程建模框架.提供业务过程可重用建模方法的同时,灵活可控地实现过程模型正确性保障与检测.在面向方面业务过程建模框架中,首先定义面向方面业务过程元模型,将横切关注点活动封装为横切方面,将基本业务活动建模为基本过程.然后,按照业务过程模型正确性需求,基于面向方面编织特征,定义面向方面业务过程模型正确性,设计方面间编织正确性准则和方面织入基本过程正确性准则,为面向方面业务过程建模提供预防错误与异常建模的方法,并提出过程建模正确性检测方法,在建模过程中保证无错误与异常.在此基础上,提出面向方面业务过程建模方法,证明过程模型的结构正确性、性质合理性和行为一致性,并设计实现建模辅助工具TPAT(Trustworthy business Process Aided Tool),为面向方面业务过程建模提供技术支持.最后,通过在两个银行业务案例分析中使用所提出的理论、方法和技术,并进行性能评估,说明所提出的理论和方法是可行的,开发的辅助工具是有效的.面向方面方法可以为业务过程建模提供灵活可重用的建模方法,通过使用建模正确性准则并在建模过程中监控异常与错误,保证业务过程模型正确性,支持组织机构获得更好的过程支持和日益变更环境的适应性. 展开更多
关键词 面向方面建模 业务过程建模 PETRI网 正确性 性能
在线阅读 下载PDF
基于时序逻辑的面向方面体系结构描述语言 被引量:4
20
作者 倪友聪 应时 +2 位作者 张琳琳 文静 叶鹏 《计算机科学》 CSCD 北大核心 2010年第1期146-152,162,共8页
运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻辑框架下设计出一... 运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻辑框架下设计出一种面向方面体系结构描述语言AC2-ADL。系统地阐述了AC2-ADL的概念框架并用XYZ/E进行语义解释,最后结合案例介绍了如何用AC2-ADL对SA进行描述。 展开更多
关键词 软件体系结构 软件体系描述语言 时序逻辑 面向方面体系结构描述语言
在线阅读 下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部