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

第37 卷 第11 期 计 算 机 工 程 2011 年6 月 Vol.37 No.11 Computer Engineering June 2011 ·软件技术与数据库· 文章编号：1000—3428(2011)11—0069—05 文献标识码：A 中图分类号：TP311.52 基于进程代数的构件语义标注技术研究 1 2 2 张琴燕 ，高洪皓 ，李 莹 (1. 浙江大学计算中心，杭州 310058 ；2. 浙江大学计算机科学与技术学院，杭州 310027) 摘 要：针对组合构件的语义标注问题，提出基于进程代数的自动标注方法，以减小构件库开发人员手工标注大粒度组合构件语义的工作 量。采用本体描述构件的语义，对于不同结构的组合行为，通过进程演算抽取交互行为的执行序列，给出组合构件语义的抽取、合成方法 及相应的语义标注算法。将该技术集成到 JTangComponent 平台上进行实验，结果标明其提高了语义标注的自动化程度，可以为复用构件 提供语义保障。 关键词：进程代数；组合构件；语义标注；进程演算；本体 Research on Components Semantics Annotation Technology Based on Process Algebra 1 2 2 ZHANG Qin-yan , GAO Hong-hao , LI Ying (1. Computer Center, Zhejiang University, Hangzhou 310058, China; 2. College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China) 【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 t