AspectJML for better crosscutting modularity


          aspectjml is           aspectjml enables
 
  • a seamless aspect-oriented extension to Java
  • AspectJ compatible
  • design by contract support with JML
  • Java platform compatible
  • easy to learn and use
 
  • clean modularization of crosscutting concerns, while preserving
    encapsulation and modular reasoning of object-oriented code
  • clean modularization/specification of crosscutting contracts,
    such as preconditions and postconditions, while preserving
    documentation and modular reasoning
  • well-defined interfaces between the OO code and crosscutting code
  • pure hierarchical structuring to enable modular crosscutting structure

Quick Links


AspectJML - Downloads - Programming Guide - Who is using AspectJML - Try it now! Online!



 
  • AspectJML 1.8.0 is now available for download. See the readme for more information.
                                                                                                             posted 27-Ago-19

  • AspectJML 1.7.1 is now available for download. See the readme for more information.
                                                                                                             posted 27-Ago-19

  • AspectJML 1.7.0 is now available for download. See the readme for more information.
                                                                                                             posted 12-Dec-14

  • AspectJML 1.7beta1 is now available for download. See the readme for more information.
                                                                                                             posted 1-May-14
  • About

    AspectJML is a general-purpose aspect-oriented extension to Java. It supports modular crosscutting concerns using key object-oriented mechanisms,
    such as hierarchical structure, and allows reasoning that scales to ever-larger programs. With AspectJML, programmers feel like they are programming
    in plain Java, but AspectJML also allows them to modularize crosscutting concerns without having any meta-level shift or without having any extended
    syntax shift for advanced modularity.

    Do not hesitate to contact us at aspectjml@cin.ufpe.br

    People

    The work on AspectJML is a cooperative effort between:

    Related

    JML
    AspectJ
    Ptolemy

    Key Publications

    Henrique Rebêlo and Gary T. Leavens Aspect-Oriented Programming Reloaded. SBLP 2017.

    Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, and Thomas Thüm AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts. Modularity (AOSD) 2014.

    Henrique Rebêlo, Ricardo Lima, Márcio Cornélio, Sérgio Soares, and Leopoldo Ferreira Implementing Java Modeling Language Contracts using AspectJ. SAC 2008.

    Publications related to both JML and AspectJML can be found [here].

    Publications related Ptolemy can be found [here].



    free counters