A Study of Architecture Description Languages from a Model-based Perspective