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

この論文をさがす

説明

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.

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1573105977302681216
  • NII論文ID
    110003219907
  • NII書誌ID
    AA10826272
  • ISSN
    09168532
  • 本文言語コード
    en
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ