基于进程代数的构件语义标注技术研究

Research on Components Semantics Annotation Technology Based on Process Algebra

针对组合构件的语义标注问题,提出基于进程代数的自动标注方法,以减小构件库开发人员手工标注大粒度组合构件语义的工作量。采用本体描述构件的语义,对于不同结构的组合行为,通过进程演算抽取交互行为的执行序列,给出组合构件语义的抽取、合成方法及相应的语义标注算法。将该技术集成到JTangComponent平台上进行实验,结果标明其提高了语义标注的自动化程度,可以为复用构件提供语义保障。

In order to address the semantics annotation problem in the context of the components composition,this paper proposes a method to implement the automatic annotation technology of components based on the process algebra.It can reduce the manual workload of annotating the composite components for component library developers.It adopts ontology to describe the semantics of each component and uses the evolution of process algebra to extract the execution sequence according to the behaviors in the structural component composition.After that,we discuss the methods about how to extract and synthesize the semantics,and give out the corresponding algorithms.Finally,this method has been implemented and integrated into JTangComponent,where the results of experiments show that the proposed approach provides better automation on annotating the semantics and guarantee for reusing the components in semantic level.