The Community for Technology Leaders
Parallel Architectures, Algorithms and Programming, International Symposium on (2010)
Dalian, Liaoning China
Dec. 18, 2010 to Dec. 20, 2010
ISBN: 978-0-7695-4312-3
pp: 412-416
ABSTRACT
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.
INDEX TERMS
combased software engineering, component interaction, component behavior adaptation, behavior mismatch
CITATION
Jinyu Shi, Xiong Xie, Weishi Zhang, Xiuguo Zhang, Zhiying Cao, Huawei Zhai, "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
84 ms
(Ver 3.3 (11022016))