Advertisement

Refactoring-Based Stepwise Refinement in Abstract System-Level Design

  • Ryosuke Yamasaki
  • Kazutaka Kobayashi
  • Nurul Azma Zakaria
  • Shuji Narazaki
  • Norihiko Yoshida
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4096)

Abstract

Stepwise refinement in system-level design corresponds to restructuring an internal structure of a system while preserving functions of the system. We are aiming to build the restructuring process based on refactoring techniques. In this paper, we describe a restructuring procedure to obtain a concrete specification description from an abstract one. Moreover, we describe some existing refactorings used in restructuring steps and a new refactoring for system-level design. We designed a simple internet-router as an example. As a result, we obtained a specification model defined in the SpecC methodology from an abstract one. Moreover, our proposal shows that our research opens a new application field of refactoring, refactoring can be applied sufficiently to system-level design, and the refactoring can be the basis of stepwise refinement.

Keywords

Class Diagram Method Call Program Transformation Route Information Executable Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Grötker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic Publishers, Dordrecht (2002)Google Scholar
  2. 2.
    Gajski, D.D., Zhu, J., Dömer, R., Gerstlauer, A., Zhao, S.: SpecC: Specification Language and Methodology. Kluwer Academic Publishers, Dordrecht (2000)Google Scholar
  3. 3.
    Yamasaki, R., Kobayashi, K., Yoshida, N., Narazaki, S.: Application of Refactoring Techniques to Abstract System Level Design. IEICE/IPSJ Information Technology Letters 4 (September 2005)Google Scholar
  4. 4.
    Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring. Addison-Wesley, Reading (1999)Google Scholar
  5. 5.
    Pattern Weaver 1.0, Technologic Arts Inc. http://pw.tech-arts.co.jp/pw/index.html
  6. 6.
    VisualSpec 3.5, InterDesign Technologies Inc. http://www.interdesigntech.co.jp/english/
  7. 7.
    Riccobene, E., Scandurra, P., Rosti, A.: A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. In: Proc. of the Design, Automation and Test in Europe (DATE 2005), vol. 2, pp. 704–709 (March 2005)Google Scholar
  8. 8.
    Tan, W.H., Thiaggarajan, P.S., Wong, W.F., Zhu, Y., Pialakkat, S.K.: Synthesizable SystemC Code from UML Models. In: 41th Design Automation Conference (workshop UML for SoC Design) (2004)Google Scholar
  9. 9.
  10. 10.
    Boulet, P., Dekeyser, J.-L., Dumoulin, C., Marquent, P.: MDA for SoC Embedded Systems Design, Intensive Signal Processing Experiment. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 20–24. Springer, Heidelberg (2003)Google Scholar
  11. 11.
    Mellor, S.J., Wolfe, J.R., McCausland, C.: Why System-on-Chip Needs More UML like a Hole in the Head. In: Proc. of the Design, Automation, and Test in Europe (DATE 2005), vol. 2, pp. 834–835 (2005)Google Scholar
  12. 12.
    Yoshida, N.: Transformational Derivation of Highly Parallel Programs. In: Proc. 3rd Int’l. Conf. Supercomputing, Boston, vol. 3, pp. 445–454 (1988)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Ryosuke Yamasaki
    • 1
  • Kazutaka Kobayashi
    • 1
  • Nurul Azma Zakaria
    • 1
  • Shuji Narazaki
    • 2
  • Norihiko Yoshida
    • 1
  1. 1.Saitama UniversitySaitamaJapan
  2. 2.Nagasaki UniversityNagasakiJapan

Personalised recommendations