Schema Design on Detection of Business Constraints Based on AOP

The paper begins with discussion on Aspect-Oriented programming (AOP), including its concept, thought, development, and advantage in handling crosscutting concerns, followed by description of the theory of constraints. Furthermore, combined AOP with first-order logic language, a schema on detection of the business constraints in requirement analysis is presented, which is simple and practicable, thus making optimal designs for improving software robustness.