A Model Translator for Checking Behavioral Consistency of Abstract Components

KIPS Journal D (2001 ~ 2012) , Vol. 18D, No.6, pp.443-450, June 2011
10.3745/KIPSTD.2011.18D.6.443, Full Text

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

Show / Hide Statistics

Statistics (Cumulative Counts from October 15, 2016)

Multiple requests among the same browser session are counted as one view. If you mouse over a chart, the values of data points will be shown.


Cite this paper

[KIPS Transactions Style]
H. Jang, M. G. Park, and Y. J. Choi, "A Model Translator for Checking Behavioral Consistency of Abstract Components," KIPS Journal D (2001 ~ 2012) , Vol.18D, No.6, pp.443-450, 2011, DOI: 10.3745/KIPSTD.2011.18D.6.443.

[IEEE Style]
Hoon Jang, Min Gyu Park, and Yun Ja Choi, "A Model Translator for Checking Behavioral Consistency of Abstract Components," KIPS Journal D (2001 ~ 2012) , vol. 18D, no. 6, pp. 443-450, 2011. DOI: 10.3745/KIPSTD.2011.18D.6.443.

[ACM Style]
Jang, H., Park, M. G., and Choi, Y. J. 2011. A Model Translator for Checking Behavioral Consistency of Abstract Components. KIPS Journal D (2001 ~ 2012) , 18D, 6, (2011), 443-450. DOI: 10.3745/KIPSTD.2011.18D.6.443.