A Formal Specification of Components in a Component-Based Framework Development Method

  • YOSHIDA Kazuki
    System Integration Technology Center, Toshiba Corporation
  • HONIDEN Shinichi
    National Institute of Informatics Graduate School of Information Science and Technology, The University of Tokyo

Search this article

Description

In a formally specified component based framework development method, three rules are imposed on the component extraction/design from the view points of framework's hot spot and algebraic specification, one of the formal specification languages. According to these rules, problems for specifying functional aspect of framework which is composed by connecting components are clarified, and these are shown to be solved by descriptive device and theoretical extension of algebraic specification. Then using these solutions, components of business transaction processing are specified, from which the solutions are evaluated.

Journal

Keywords

Details 詳細情報について

  • CRID
    1573105977302681216
  • NII Article ID
    110003219907
  • NII Book ID
    AA10826272
  • ISSN
    09168532
  • Text Lang
    en
  • Data Source
    • CiNii Articles

Report a problem

Back to top