Abstract:
The structured components semantics are presented based on the ontology-based approach. The vertical semantic relationships and horizontal semantic relationships among components are extracted in virtue of the domain specific knowledge and objective laws. Then the generic and specific features of components semantics are studied. The hierarchical characters of components semantics are therefore revealed. A top-down progressively in-depth semantic composability validation algorithm is proposed. Finally, a case study is introduced to demonstrate the proposed algorithm.