Extraction of Transformation Rules from UML Diagrams to SpecC

Tetsuro KATAYAMA  

IEICE TRANSACTIONS on Information and Systems   Vol.E88-D   No.6   pp.1126-1133
Publication Date: 2005/06/01
Online ISSN: 
DOI: 10.1093/ietisy/e88-d.6.1126
Print ISSN: 0916-8532
Type of Manuscript: Special Section PAPER (Special Section on Software Engineering for Embedded Systems)
transformation rules,  UML (unified modeling language),  SpecC,  system level languages,  VisualSpec,  embedded systems,  system LSI (large scale integration),  

Full Text: PDF>>
Buy this Article

Embedded systems are used in broad fields. They are one of the indispensable and fundamental technologies in a highly informative society in recent years. As embedded systems are large-scale and complicated, it is prosperous to design and develop a system LSI (Large Scale Integration). The structure of the system LSI has been increasing complexity every year. The degree of improvement of its design productivity has not caught up with the degree of its complexity by conventional methods or techniques. Hence, an idea for the design of a system LSI which has the flow of describing specifications of a system in UML (Unified Modeling Language) and then designing the system in a system level language has already proposed. It is important to establish how to convert from UML to a system level language in specification description or design with the idea. This paper proposes, extracts and verifies transformation rules from UML to SpecC which is one of system level languages. SpecC code has been generated actually from elements in diagrams in UML based on the rules. As an example to verify the rules, "headlights control system of a car" is adopted. SpecC code has been generated actually from elements in diagrams in UML based on the rules. It has been confirmed that the example is executed correctly in simulations. By using the transformation rules proposed in this paper, specification and implementation of a system can be connected seamlessly. Hence, it can improve the design productivity of a system LSI and the productivity of embedded systems.