计算机工程与科学2017，Vol.39Issue(9)：1665-1674,10.DOI:10.3969/j.issn.1007-130X.2017.09.012
基于Fibrations理论的共享系统数据模型
A data model of sharing system based on Fibrations theory
摘要
Abstract
There are some drawbacks for traditional modeling methods of data model of sharing system in analyzing semantic properties and describing semantic behaviors.Aiming at the problems mentioned above we present a data model of sharing system based on Fibrations theory.We contribute in the following two aspects.Firstly,we accurately analyze semantic properties by combining algebras methods with truth functor,lifting preserving-truth and comprehension functor,and formally depict semantic behaviors by combining co-algebras methods with equation functor,lifting preserving-equation and quotient functor.Secondly,in the framework of Fibrations theory we construct parameterized recursive and co-recursive operations on complex inductive and co-inductive data structure to abstractly describe inductive and co-inductive rules with universality,and briefly introduce applications of Fibrations theory by examples.Compared with traditional methods such as category theory,the Fibrations theory of brief descriptions and flexible expansibility can accurately analyze semantics properties,formally describe semantic behaviors of data model of sharing system,and abstractly depict inductive and co-inductive rules with universality of complex data structures.关键词
数据模型/Fibrations理论/语义性质/语义行为/共享系统Key words
data model/Fibrations theory/semantic property/semantic behavior/sharing system分类
信息技术与安全科学引用本文复制引用
苗德成,奚建清,戴经国..基于Fibrations理论的共享系统数据模型[J].计算机工程与科学,2017,39(9):1665-1674,10.基金项目
国家自然科学基金(61103039) （61103039）
广东省自然科学基金(S2013010015944) （S2013010015944）
广东省战略性新兴产业核心技术攻关(2012A010701011,2012A010701003) （2012A010701011,2012A010701003）
广东省高等学校优秀青年教师培养计划(YQ2014155) （YQ2014155）
韶关市科技计划(2013CX/K61) （2013CX/K61）
