Abstract | ||
---|---|---|
The inability to express architectural concepts and constraints explicitly in implementation code invites the problem of architectural drift and corrosion. We propose runtime checks as a solution to mitigate this problem. The key idea of our approach is to express architectural constraints or properties in an assertion language and use the runtime assertion checker of the assertion language to detect any violations of the constraints. The architectural assertions are written in terms of architectural concepts such as components, connectors, and configurations, and thus they can be easily mapped to or traced back to the original high-level constraints written in an architectural description language. We believe that our approach is effective and more practical than and complements static techniques. |
Year | Venue | Keywords |
---|---|---|
2007 | Software Engineering Research and Practice | runtime assertion checking,jml language,architectural assertion,architectural constraint language,software architecture,architectural constraints,java modeling language,architecture description language |
Field | DocType | Citations |
Representational state transfer,Programming language,Computer science,Assertion,Java Modeling Language,Software architecture,Architectural pattern | Conference | 2 |
PageRank | References | Authors |
0.41 | 13 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hyotaeg Jung | 1 | 4 | 1.15 |
Carlos E. Rubio-Medrano | 2 | 18 | 5.78 |
W. Eric Wong | 3 | 284 | 56.75 |
Yoonsik Cheon | 4 | 770 | 56.20 |