UML Component Diagram to Acme Compiler

During the design phase, software architectural model is essentially used to verify the conformance of the design model against the given non-functional specifications. Theoretically, the formal architectural description languages are introduced to describe the software architectural model and the formal verification will be then possibly conducted. However, the mentioned formal approaches are not so popular because the formal languages are so difficult and seldomly supported by mature tools. Alternatively, the UML component diagram is one of the popular semi formal languages used to represent the software architectural model. In this paper, we propose an automatic mean to convert the popular UML component diagram represented by XMI into one of the formal architectural description languages called Acme. A UML component diagram to Acme compiler is implemented using FLEX and YACC tools. The context free grammar of the two languages are formally conformed.