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:

Henrique Rebêlo's group at Universidade Federal de Pernambuco (UFPE) in Brazil.
Gary T. Leavens's JML group at the University of Central Florida (formerly at Iowa State University).
Hridesh Rajan and Mehdi Bagherzadeh from Iowa State University. The authors of Ptolemy.
Ricardo Massa F. Lima from Universidade Federal de Pernambuco (UFPE) in Brazil.
Daniel M. Zimmerman the author of JMLUnitNG.
Thomas Thümm the author of FeatureIDE.
Márcio Lopes Cornélio from Universidade Federal de Pernambuco (UFPE) in Brazil.

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].