Design by contract with aspect-oriented programming
    1.
    发明授权
    Design by contract with aspect-oriented programming 有权
    通过面向方面编程的合同设计

    公开(公告)号:US06442750B1

    公开(公告)日:2002-08-27

    申请号:US09426142

    申请日:1999-10-22

    IPC分类号: G06F944

    CPC分类号: G06F8/316

    摘要: An aspect oriented system for implementing the Design by Contract software development methodology is provided in which preconditions and postconditions defining the contract need not be coded into the program modules being developed. Rather, an aspect is provided which encapsulates these preconditions and postconditions. This behavior may easily and transparently be forced onto the resource by compiling the object class for the program module along with the contract aspect. When the software program in which the program modules is used is no longer needed, the preconditions and postconditions are removed simply by recompiling the resource object classes without the aspect.

    摘要翻译: 提供了一种实现“按合同设计”软件开发方法的面向方面的系统,其中定义合同的先决条件和后置条件不需要被编码到正在开发的程序模块中。 相反,提供封装这些前提条件和后置条件的方面。 通过编译程序模块的对象类以及合同方面,可以轻松,透明地将此行为强制转换到资源上。 当不再需要使用程序模块的软件程序时,通过重新编译没有方面的资源对象类,将删除前提条件和后置条件。

    Aspect-oriented system monitoring and tracing
    4.
    发明授权
    Aspect-oriented system monitoring and tracing 有权
    面向方面的系统监控和跟踪

    公开(公告)号:US06473895B1

    公开(公告)日:2002-10-29

    申请号:US09357508

    申请日:1999-07-20

    IPC分类号: G06F944

    CPC分类号: G06F8/316

    摘要: An aspect oriented system for implementing system monitoring and tracing is provided in which the monitoring and tracing functionality needs not be coded into the resources being monitored or traced. Rather, an aspect is provided which encapsulates the monitoring/tracing behavior. This behavior may easily and transparently be forced onto the resource by compiling the object class for the resource along with the monitoring/tracing aspect. When the monitoring/tracing is no longer needed, it is removed simply by recompiling the resource object classes without the aspect.

    摘要翻译: 提供了一种用于实现系统监视和跟踪的面向方面的系统,其中监视和跟踪功能不需要编码到被监视或跟踪的资源中。 相反,提供了一个封装监视/跟踪行为的方面。 通过编译资源的对象类以及监视/跟踪方面,可以轻松,透明地将此行为强制转换到资源上。 当不再需要监视/跟踪时,只需重新编译没有方面的资源对象类即可将其删除。