A Behavior Conformance Checker for Component Interfaces using UML State Machine Diagram


The KIPS Transactions:PartD, Vol. 16, No. 1, pp. 65-72, Feb. 2009
10.3745/KIPSTD.2009.16.1.65,   PDF Download:

Abstract

Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.


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. J. Kim and W. J. Lee, "A Behavior Conformance Checker for Component Interfaces using UML State Machine Diagram," The KIPS Transactions:PartD, vol. 16, no. 1, pp. 65-72, 2009. DOI: 10.3745/KIPSTD.2009.16.1.65.

[ACM Style]
Ho Jun Kim and Woo Jin Lee. 2009. A Behavior Conformance Checker for Component Interfaces using UML State Machine Diagram. The KIPS Transactions:PartD, 16, 1, (2009), 65-72. DOI: 10.3745/KIPSTD.2009.16.1.65.