计算机应用 ›› 2013, Vol. 33 ›› Issue (05): 1267-1270.DOI: 10.3724/SP.J.1087.2013.01267

• 先进计算 • 上一篇    下一篇

云计算环境中结构化文档形式化建模

熊金波,姚志强,金彪   

  1. 福建师范大学 软件学院,福州 350108
  • 收稿日期:2012-11-08 修回日期:2012-12-13 出版日期:2013-05-01 发布日期:2013-05-08
  • 通讯作者: 熊金波
  • 作者简介:熊金波(1981-),男,湖南益阳人,讲师,博士研究生, CCF会员,主要研究方向:文档工程及文档安全、访问控制;姚志强(1967-),男,福建莆田人,教授,CCF会员,主要研究方向:信息安全;金彪(1985-),男,安徽六安人,助理实验师,硕士,主要研究方向:信息安全。
  • 基金资助:

    福建省自然科学基金资助项目(2011J01339);福建省教育厅科技项目(JA12078, JB12022, JB11034)

Formal modeling for structured document in cloud computing

XIONG Jinbo,YAO Zhiqiang,JIN Biao   

  1. Faculty of Software, Fujian Normal University, Fuzhou Fujian 350108, China
  • Received:2012-11-08 Revised:2012-12-13 Online:2013-05-08 Published:2013-05-01
  • Contact: XIONG Jinbo

摘要: 结构化文档是云计算环境中实现信息交互与传播的载体,针对已有研究工作缺乏能够描述这种载体的结构化文档模型的问题,在深入分析云计算环境中结构化文档特征的基础上,对文档元素、原子文档元素、连接、文档片段、复杂文档元素等进行形式化定义,建立能够满足这种特征的结构化文档形式化模型。最后,指出云计算环境中结构化文档进一步的研究方向。

关键词: 云计算, 结构化文档模型, 形式化方法, 文档元素

Abstract: Structured document plays a vital role in information carrier for information interaction and propagation in cloud computing. However, the existing research works lack structured document model that can describe this information carrier. In order to tackle this issue, the authors formalized the definitions of document element, atomic document element, connection, document fragment, and complex document element based on the in-depth analysis of the special characteristics of structured document in cloud computing. Furthermore, the authors proposed structured document model (referred to as the SDoc) satisfying the special characteristics in cloud computing. Finally, several open issues were indicated for structured document.

Key words: cloud computing, structured document model, formalization method, document element

中图分类号: