Parallel Architectures, Algorithms and Programming, International Symposium on (2010)
Dalian, Liaoning China
Dec. 18, 2010 to Dec. 20, 2010
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PAAP.2010.29
Behavior adaptation of Software component is a crucial problem in component-based software engineering. A general approach is proposed to solve the behavior mismatch. Firstly, the synchronous vector between component behaviors according to the abstract specification of component behavior is calculated, and the specification of the adaptor is given. Then, in order to detect automatically deadlock mismatch, the synchronous product of Symbolic Transition Systems, which are the abstract specification of component behavior, is computed. The behavior of adaptor can be automatically calculated according to the synchronous vector. The adaptor can make component interaction correct. Finally, an example is presented to illustrate the proposed approach.
combased software engineering, component interaction, component behavior adaptation, behavior mismatch
Jinyu Shi, Zhiying Cao, Huawei Zhai, Weishi Zhang, Xiong Xie, Xiuguo Zhang, "Research on Behavior Adaptation of Software Component", Parallel Architectures, Algorithms and Programming, International Symposium on, vol. 00, no. , pp. 412-416, 2010, doi:10.1109/PAAP.2010.29