A Model-Driven Approach for Runtime Assurance of Software Architecture Model
Unified Modeling Language (UML) has been widely accepted for object-oriented system modeling and design, and has also been adapted for software architecture descriptions in recent years. Although, the use of UML for software architecture representation has the obvious benefits of facilitating learning and comprehension, UML lacks precise semantics for defining key features of software architecture level entities. This paper presents an approach to map a UML architecture description into a formal specification model called SAM, which serves as a semantic domain for defining the precise semantics of the UML description and supports formal analysis. Furthermore, when the UML architecture description contains sufficient details, an implementation from the resulting SAM architecture description to Java code can be automatically generated from the existing SAM translator tool.