Title :
UML Component Diagram to Acme Compiler
Author :
Mokarat, Chumpol ; Vatanawood, Wiwat
Author_Institution :
Dept. of Comput. Eng., Chulalongkorn Univ., Bangkok, Thailand
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.
Keywords :
Unified Modeling Language; conformance testing; context-free grammars; formal specification; formal verification; program compilers; software architecture; Acme compiler; FLEX tools; UML component diagram; XMI; YACC tools; conformance verification; context free grammar; design model; formal architectural description language; formal conformation; formal verification; nonfunctional specification; semiformal language; software architectural model representation; Connectors; Context; Grammar; Software; Syntactics; Unified modeling language; XML;
Conference_Titel :
Information Science and Applications (ICISA), 2013 International Conference on
Conference_Location :
Suwon
Print_ISBN :
978-1-4799-0602-4
DOI :
10.1109/ICISA.2013.6579469
