Graph grammars and constraint solving for software architecture styles
A Classification and Comparison Framework for Software Architecture Description Languages