An Aspect-Oriented Software Architecture Description Language based on temporal logic

Aspect-Oriented Programming can resolve the code tangling problem in Object-Oriented Programming via using the technology of separation of concerns. Software architecture is becoming an important part in the phase of software design, it has the ability of helping designer to handle the structure and the complexity of large software systems, and Aspect-Oriented Software Development (AOSD) is a new paradigm proposed to manage the complexity by crosscutting concerns in the whole software life-cycle. In order to adequately specify aspect-oriented design, Aspect-Oriented Architecture Description Languages are needed. XYZ/ADL is an architecture description language which is based on temporal logic language XYZ/E. XYZ/ADL separates computation and communication into two different architecture elements - component and connector, but lacks some appropriate support to represent these crosscutting behaviors. So, XYZ/ADL must be extended to resolve the problem above by adding a kind of new elements - Aspect and modifying the former component and connector. At last, we illustrate them on an example of the Hotel Management System via using AO-ADL.