Formal specification of components in a component-based framework development method

Kazuki Yoshida, Shinichi Honiden

研究成果: Article査読

抄録

This paper presents a technique called FCF (Formally specified Component based Framework development method) to develop frameworks by connecting components whose functional aspects are formally specified. In FCF, three rules are imposed on component extraction/design from the perspectives of the framework's hot spot and its algebraic specification. Then, on the basis of the rules, problems for specifying the functional aspect of a framework which is composed by connecting components are clarified, and these are solved by a descriptive device and a theoretical extension of algebraic specification. Then, using these solutions, the components of business transaction processing extracted and designed following the rules are specified, from which the solutions are evaluated.

本文言語English
ページ(範囲)62-76
ページ数15
ジャーナルSystems and Computers in Japan
34
8
DOI
出版ステータスPublished - 2003 7 1
外部発表はい

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Information Systems
  • Hardware and Architecture
  • Computational Theory and Mathematics

フィンガープリント 「Formal specification of components in a component-based framework development method」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル