Extraction of transformation rules from UML diagrams to SpecC

IEICE Transactions on Information and Systems

Volumn E88-D, Issue 6, 2005, Pages 1126-1133

  Katayama, Tetsuro ^a  

^a UNIVERSITY OF MIYAZAKI   (Japan)

Author keywords

Embedded systems; SpecC; System level languages; System LSI (large scale integration); Transformation rules; UML (unified modeling language); VisualSpec

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; LSI CIRCUITS; PRODUCTIVITY; SPECIFICATIONS;

SPECC; SYSTEM LEVEL LANGUAGES; SYSTEM LSI (LARGE SCALE INTEGRATION); TRANSFORMATION RULES; UNIFIED MODELING LANGUAGE (UML); VISUALSPEC;

EMBEDDED SYSTEMS;

EID: 25844518665     PISSN: 09168532     EISSN: 17451361     Source Type: Journal    
DOI: 10.1093/ietisy/e88-d.6.1126     Document Type: Article

References (18)

1. D.D. Gajiski, J. Zhu, R. Domer, A. Gerstlauer, and S. Zhao, SpecC: Specification language and methodology, Kluwer Academic, 2000.
2. Unified Modeling Language, http://www.uml.org/
3. K. Asari, "The modeling technique for the system using UML," Proc. 4th Summer Workshop on Embedded System Technologies (SWEST4), pp.3-4, 2002.
4. SpecC Technology Open Consortium, http://www.specc.gr.jp/eng/
5. InterDesign Technologies, Inc., "VisualSpec" http://www.interdesigntech.co.jp/english/visualspec.htm
6. "Co-design embedded software and LSI in C language - Aim system architect -," Design Wave Magazine, CQ Publishing, no.32, pp.27-111, 2000.
7. Object Management Group, http://www.omg.org/
8. Open SystemC Initiative, http://www.systemc.org/
9. Forte Design Systems, http://www.forteds.com/
10. IBM Co., "Rose," http://www-136.ibm.com/developerworks/ rational/products/rose/
11. Embarcadero Technologies, Inc., "Describe," http://www.embarcadero.com/products/describe/
12. D.S. Frankel, Model driven architecture: Applying MDA to enterprise computing, John Wiley & Sons Inc., 2003.
13. J. Gray, J. Zhang, Y. Lin, H. Wu, S. Roychoudhury, R. Sudarsan, A. Gokhale, S. Neema, F. Shi. and T. Bapty, "Model-driven program transformation of a large avionics framework," Proc. 3rd Generative Programming and Component Engineering (GPCE 2004), LNCS 3286, pp.361-378, Springer-Verlag, 2004.
14. B. Selic, "Using UML for modeling complex real-time systems," Proc. ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES '98), LNCS 1474, pp. 250-260, Springer-Verlag, 1998.
15. J.L. Diaz-Herrera, J. Chadha, and N. Pittsley, "Aspect-oriented UML modeling for developing embedded systems product lines," Workshop on Aspect-Oriented Modeling with UML Int'l Conf. on Aspect-Oriented Software, 2002. http://lglwww.epfl.ch/workshops/aosd-um1/Allsubs/Diaz.pdf
16. P. Boulet, J.-L. Dekeyser, C. Dumoulin, and P. Marquet, "MDA for SoC design, intensive signal processing experiment," Forum on specification & Design Languages (FDL '03), http://www.lifl.fr/west/publi/DBDM03f.pdf. 2003.
17. Q. Zhu, R. Oishi, T. Hasegawa, and T. Nakata, "System-on-Chip validation using UML and CWL," Proc. 2nd IEEE/ACM/IFIP Int'l Conf. on Hardware/Software Codesign and System Synthesis, pp.92-97, 2004.
18. CATS Co. Ltd., "Xmodelink," http://www.zipc.com/english/ product/xmodelink/