摘要
针对组合构件的语义标注问题,提出基于进程代数的自动标注方法,以减小构件库开发人员手工标注大粒度组合构件语义的工作量。采用本体描述构件的语义,对于不同结构的组合行为,通过进程演算抽取交互行为的执行序列,给出组合构件语义的抽取、合成方法及相应的语义标注算法。将该技术集成到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.
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第11期69-73,共5页
Computer Engineering
基金
国家自然科学基金资助项目"基于类型论的网构构件模型及其行为交互研究"(60873045)
关键词
进程代数
组合构件
语义标注
进程演算
本体
process algebra
composite components
semantics annotation
process calculus
ontology