A Model Translator for Checking Behavioral Consistency of Abstract Components


The KIPS Transactions:PartD, Vol. 18, No. 6, pp. 443-450, Dec. 2011
10.3745/KIPSTD.2011.18.6.443,   PDF Download:

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 September 1st, 2017)
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 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.