The architecture smells are the poor design practices applied to the software architecture design. The smells in software architecture design can be cascaded to cause the issues in the system implementation and significantly affect the maintainability and reliability attribute of the software system. The prevention of architecture smells at the design phase can therefore improve the overall quality of the software system. This paper presents a framework that supports the detection of architecture smells based on the formalization of architecture design. Our modeling specification supports representing both structural and behavioral aspect of software architecture design; it allows the smells to be analyzed and detected with the provided tools. Our framework has been applied to seven architecture smells that violate different design principles. The evaluation has been conducted and the result shows that our detection approach gives accurate results and performs well on different size of models. With the proposed framework, other architecture smells can be defined and detected using the process and tools presented in this paper.

中文翻译：

---

用于软件架构气味检测的集成形式化工具

架构气味是应用于软件架构设计的不良设计实践。软件架构设计中的异味可以级联导致系统实现出现问题，严重影响软件系统的可维护性和可靠性属性。因此，在设计阶段防止架构异味可以提高软件系统的整体质量。本文提出了一个支持基于架构设计形式化检测架构气味的框架。我们的建模规范支持表示软件架构设计的结构和行为方面；它允许使用提供的工具分析和检测气味。我们的框架已应用于七种违反不同设计原则的架构气味。已经进行了评估，结果表明我们的检测方法给出了准确的结果，并且在不同大小的模型上表现良好。使用所提出的框架，可以使用本文中介绍的过程和工具来定义和检测其他架构异味。