SpringContracts是契约式设计(Design by Contract)的一个Java解决方案，能够无缝地集成到Spring框架中。基于Annotations，AOP并且支持EL表达式语言。