Using view-based models to formalize architecture description

Kurt Lichtner, Paulo S.C. Alencar, Donald Cowan
1998 Proceedings of the third international workshop on Software architecture - ISAW '98  
Over the last few years, architecture description languages ADLs have become both progressively more expressive and widespread. While some ADLs have formally de ned semantics, most are still informally speci ed. In this position paper we present an approach to modeling architecture d escription languages based o n views. Our approach is based on partitioning and formalizing each semantically independent concept, or view, represented in an ADL. Along with the approach, we discuss three p r
more » ... l applications of our model, namely ADL comparison, architecture analysis, and component selection.
doi:10.1145/288408.288433 fatcat:gmawxqzmmvfybh2ud7qwbg5niu