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

熊金波,姚志强,金彪

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

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

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