作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (11): 69-73. doi: 10.3969/j.issn.1000-3428.2011.11.024

• 软件技术与数据库 • 上一篇    下一篇

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

张琴燕1,高洪皓2,李 莹2   

  1. (1. 浙江大学计算中心,杭州 310058;2. 浙江大学计算机科学与技术学院,杭州 310027)
  • 收稿日期:2010-10-23 出版日期:2011-06-05 发布日期:2011-06-05
  • 作者简介:张琴燕(1976-),女,工程师,主研方向:语义Web,中间件技术;高洪皓,硕士研究生;李 莹,副教授、博士
  • 基金资助:
    国家自然科学基金资助项目“基于类型论的网构构件模型及其行为交互研究”(60873045)

Research on Components Semantics Annotation Technology Based on Process Algebra

ZHANG Qin-yan 1, GAO Hong-hao  2, LI Ying  2   

  1. (1. Computer Center, Zhejiang University, Hangzhou 310058, China; 2. College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China)
  • Received:2010-10-23 Online:2011-06-05 Published:2011-06-05

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

关键词: 进程代数, 组合构件, 语义标注, 进程演算, 本体

Abstract: 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.

Key words: process algebra, composite components, semantics annotation, process calculus, ontology

中图分类号: