主页 > 软件开发公司 >

西安网站开发公司推荐软件开发中语言和基础的

  西安网站开发公司推荐软件开发中语言和基础的应用,横切关注点需要组合过滤器模型;这非常类似于组合(多个)过滤器。此外,过滤器模块的声明完整性使得很容易在编译时和实例化时检查可组合性。在横切关注中益加也是可能的,如前面的例子中的工作流和日志关注点所示。

  可演化性。CF模型可以对行为进行横切,在这一点上扩展了传统的对象模型。这是通过使用过滤器(过滤器模块)扩展对象实现的。这对于任何虚拟对象或组件模型都是可能的.惟一可能的问题是对实现语言的继承和CF模型的继承是垂直的:开发者必须小心避免在CF对象间的实现语言继承。

  位壮性。CF模型的许多属性都有利于健壮性,包括整个语言设计和所选抽象,以及语法和语义。一般性地验证甚或讨论健壮性很难,因此,我们集中在以下属性上:

  (1)封装。CF关注点的实现是被严格封装的;益加过滤器接口、对象、方法和条件限于接口级。因此,登加关注点不依赖于实现细节(甚至实现语言都是封装的)。一些其他方法,如Aspect) [25],允许横切关注点(方面)提到、依赖于基础级抽象的实现细节。这增加了方面重用的难度,更易受到实现变化的影响。尽管研究者并不都认同封装的好处超过了局限性,—但是对于声称封装对于健壮性是有好处的这一点意见来看,它是合理的。

  (2)高级语义。西安网站开发公司推荐软件开发中语言和基础的应用,过滤器规范使用了一个公共模式匹配语言,并采用过滤器类型增加了关注点语义。过滤器类型语义是定义良好的,并且在其特定的关注点领域具有清晰的表达[8, 10]。如例子中所示,Error, Dispatch和Meta过滤器能够有效地分别表示多个视点、委托和消息反射.给出了可用的适合的过滤器类型,使程序员能够清楚准确地表达意图。

  (3)可分析的方面描述语官。多数面向方面的方法采用了通用编程语言来指定关注点。一般来说,推导这样的关注点的语义很难(如,考虑图灵完备语言(Turing-complete language)的不可判定性)。有限的(模式匹配)语言用来定义过滤器为自动分析正确性提供了更好的机会。我们开始在〔9, 18〕中研究这一领域。

  实现无关性。CF模型在很大程度上独立于特定的实现技术、编程语言和平台.这在4. 5. 1节中给出了解释,其中讨论了组合过滤器模型的8种实现,它们在一个或多个方面都有细徽的差别。特别是这使声明过滤器规范成为可能.

  动态性。在很大程度上,实现无关性支持动态修改结构和行为。此外,过建器和亚加的声明式规范也是有帮助的,但是在特殊情况下,通过可操作模型解释和实现语言是可能的。

  西安网站开发公司推荐软件开发中语言和基础的应用。对每个目标,CF模型的一个或多个特定的属性都能够满足目标。我们将来的工作主要集中在新的验证技术、新的过a器类型,以及健壮的CF开发工具上。除此之外,我们还要继续探索提高可组合性的方法。

  

  • 1
  • 2
  • 3