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

Formal modeling for structured document in cloud computing

作　　者：熊金波[1] 姚志强[1] 金彪[1] 

机构地区：[1]福建师范大学软件学院,福州350108

出　　处：《计算机应用》2013年第5期1267-1270,共4页journal of Computer Applications

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

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

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]