Title
Architectural Assertions: Checking Architectural Constraints at Run-Time
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 Jung141.15
Carlos E. Rubio-Medrano2185.78
W. Eric Wong328456.75
Yoonsik Cheon477056.20