A Model Translator for Checking Behavioral Consistency of Abstract Components 


Vol. 18,  No. 6, pp. 443-450, Dec.  2011
10.3745/KIPSTD.2011.18.6.443


PDF
  Abstract

Model-based Component development methodologies consider the whole system as an abstract component and develop physical components through recursive decomposition and refinements of abstract components in a top-down manner. We developed a model translator that can be used to formally verify interaction consistency among components, especially the interaction behavior between before- and after- refinements of abstract components. This translator can be used to identify potential problems in the refinement process so that problems can be addressed from the early stage of development. This paper introduces our translation approach and the organization of the translator. The translator has been applied to two case studies to show its usefulness.

  Statistics
  Cite this article

[IEEE Style]

H. Jang, M. G. Park, Y. J. Choi, "A Model Translator for Checking Behavioral Consistency of Abstract Components," The KIPS Transactions:PartD, vol. 18, no. 6, pp. 443-450, 2011. DOI: 10.3745/KIPSTD.2011.18.6.443.

[ACM Style]

Hoon Jang, Min Gyu Park, and Yun Ja Choi. 2011. A Model Translator for Checking Behavioral Consistency of Abstract Components. The KIPS Transactions:PartD, 18, 6, (2011), 443-450. DOI: 10.3745/KIPSTD.2011.18.6.443.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals