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

Kazuki Yoshida, Shinichi Honiden

Research output: Contribution to journalArticle

Abstract

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.

Original languageEnglish
Pages (from-to)62-76
Number of pages15
JournalSystems and Computers in Japan
Volume34
Issue number8
DOIs
Publication statusPublished - 2003 Jul 1
Externally publishedYes

Fingerprint

Formal Specification
Specifications
Algebraic Specification
Transaction Processing
Processing
Industry
Hot Spot
Framework
Formal specification

Keywords

  • Algebraic specification
  • Application framework
  • Component
  • Formal specification

ASJC Scopus subject areas

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

Cite this

Formal specification of components in a component-based framework development method. / Yoshida, Kazuki; Honiden, Shinichi.

In: Systems and Computers in Japan, Vol. 34, No. 8, 01.07.2003, p. 62-76.

Research output: Contribution to journalArticle

@article{60ab79db7af34239922caa85bef7169f,
title = "Formal specification of components in a component-based framework development method",
abstract = "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.",
keywords = "Algebraic specification, Application framework, Component, Formal specification",
author = "Kazuki Yoshida and Shinichi Honiden",
year = "2003",
month = "7",
day = "1",
doi = "10.1002/scj.10280",
language = "English",
volume = "34",
pages = "62--76",
journal = "Systems and Computers in Japan",
issn = "0882-1666",
publisher = "John Wiley and Sons Inc.",
number = "8",

}

TY - JOUR

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

AU - Yoshida, Kazuki

AU - Honiden, Shinichi

PY - 2003/7/1

Y1 - 2003/7/1

N2 - 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.

AB - 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.

KW - Algebraic specification

KW - Application framework

KW - Component

KW - Formal specification

UR - http://www.scopus.com/inward/record.url?scp=0038378955&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0038378955&partnerID=8YFLogxK

U2 - 10.1002/scj.10280

DO - 10.1002/scj.10280

M3 - Article

AN - SCOPUS:0038378955

VL - 34

SP - 62

EP - 76

JO - Systems and Computers in Japan

JF - Systems and Computers in Japan

SN - 0882-1666

IS - 8

ER -