The architecture of a system captures important design decisions for the system. Over time, changes in a system's implementation may lead to violations of specific design decisions. This problem is common in industry and known as architectural erosion. Since it may have severe consequences on the quality of a system, research has focused on the development of tools and techniques to address the presented problem. As of today, most of the approaches to detect architectural erosion employ static analysis techniques. While these techniques are well-suited for the analysis of static architectures, they reach their limit when it comes to dynamic architectures. Thus, in this paper, we propose an alternative approach based on runtime verification: We describe techniques to formally specify constraints for dynamic architectures and algorithms to translate such specifications to instrumentation code and corresponding monitors. The approach is implemented in Eclipse/EMF, demonstrated through a running example, and evaluated using two case studies.

系统的体系结构捕获了系统的重要设计决策。随着时间的流逝，系统实现的更改可能会导致违反特定的设计决策。这个问题在工业中很常见，被称为建筑侵蚀。由于它可能对系统质量产生严重影响，因此研究集中在开发工具和技术以解决所提出的问题。到目前为止，大多数检测建筑侵蚀的方法都采用静态分析技术。虽然这些技术非常适合分析静态体系结构，但在涉及动态体系结构时，它们已达到极限。因此，在本文中，我们提出了一种基于运行时验证的替代方法：我们描述了正式指定动态体系结构和算法约束的技术，这些约束将这些规范转换为仪器代码和相应的监视器。该方法在Eclipse / EMF中实现，通过一个正在运行的示例进行演示，并使用两个案例研究进行了评估。