Abstract

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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.