摘要:数据作为软件系统的主要处理对象，其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证，提出了一种基于类型理论的领域数据建模语言（DDML）和领域建模方法（DDMM）.DDML语言通过定义类型和项的语法和语义，描述领域数据类型和对象的结构，通过定义类型规则及其类型检查算法判定任意项t：T?.DDMM给出了领域数据建模的方法，即构建κ1（原子类型）、κ2（数据元）、κ3（数据元目录）三层框架，生成表示κ3层数据元目录之间关系的类型规则.在此基础上，给出了数据元目录序列的定义及其正确性判定算法.基于上述方法，实现了一种领域数据建模工具原型系统，并通过领域数据建模与自动验证的一个实际案例，完成了一个较大规模行业数据规范的制定与验证.
Abstract:As the main object manipulated by a software system, data with a domain standard can contribute to the process of software design and data shareware between software systems. In this paper, focusing on domain data standardization, a domain data modelling language (DDML) and a domain data modelling method (DDMM based on the type theory are proposed. In DDML, the syntax and semantics of types and terms are defined to describe the structure of the domain data types and objects, and the typing rules are defined to process the judgement of t:T. For DDMM, the data modelling processes are presented with the data modelling of κ1 (atomic type), κ2 (data element), κ3 (data element directory) and the generation of typing rules in κ3. Furthermore, the definition of the data element directory sequences and the algorithms of checking its correctness are defined. Finally, a prototype of the domain data modelling system as a modelling tool is developed and applied to a real case of large scale by the generation of the domain data standard and its evaluation.
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/5460
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
基于类型理论的领域数据建模和验证及案例
本站小编 Free考研考试/2022-01-02
相关话题/数据 语言 系统 语法 结构
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19一种嵌套中断系统的建模和分析方法
摘要:在嵌入式系统和各类操作系统中，中断机制是确保实时响应各类异步事件的重要方法.通常在处理一个中断事件的过程中，往往会有更紧迫的中断事件请求响应，因而发生中断嵌套.建模并验证嵌套中断系统是具有挑战性的工作.提出一种建模和验证嵌套中断系统的方法.首先，提出基于投影时序逻辑（projectiontem ...中科院软件研究所 本站小编 Free考研考试 2022-01-02机器人关节通信总线系统的建模与验证
摘要:高速串行现场总线（controllerareanetwork，简称CAN）被广泛部署到机器人通信系统中.而服务机器人任务具有并发性和高实时性的特点，因此，如何根据总线协议规范和应用需求精化设计模型，保证系统设计的正确性和实时性要求，避免设计阶段的漏洞十分必要.针对传统方法的局限性，提出使用形式 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02MapReduce与Spark用于大数据分析之比较
摘要:评述了MapReduce与Spark两种大数据计算算法和架构，从背景、原理以及应用场景进行分析和比较，并对两种算法各自优点以及相应的限制做出了总结.当处理非迭代问题时，MapReduce凭借其自身的任务调度策略和shuffle机制，在中间数据传输数量以及文件数目方面的性能要优于Spark；而在 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02医学影像计算机辅助检测与诊断系统综述
摘要:计算机辅助检测/诊断（computer-aideddetection/diagnosis，简称CAD）能够提高诊断的准确性，减少假阳性的产生，为医生提供有效的诊断决策支持.旨在分析计算机辅助诊断工具的最新发展.以CAD研究较多的四大致命性癌症的发病医学部位为主线，按照不同的成像技术和病类，对目 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02数据外补偿的深度网络超分辨率重建
摘要:单张图像超分辨率重建受到多对一映射的困扰.对于给定的低分辨率图像块，存在若干高分辨率图像块与之对应.基于学习的方法受此影响，学习到的逆映射规则只能预测这些高分辨率图像块的均值，从而产生视觉上模糊的超分辨率重建结果.为了弥补歧义性造成的高频细节损失，提出了一种基于深度网络、利用在线检索的数据进行 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02多媒体大数据处理与分析专题前言
摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5417 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02多视角数据缺失补全
摘要:随着信息技术的快速发展，现实生活中不断涌现出大量的多视角数据，由此应运而生的多视角学习已成为机器学习领域的研究热点.然而，在数据获取过程中，由于收集的难度、高额成本或设备故障等问题，往往导致收集到的多视角数据出现视角缺失，这使得一些多视角学习方法无法有效进行.为此，提出一种基于视角相容性的多视 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于同态加密系统的图像鲁棒可逆水印算法
摘要:同态加密技术可用于保护数据隐私并允许对密文数据进行算术操作，在云计算安全上有着很好的应用前景.针对云计算中的隐私保护和数据安全等问题，提出了一种基于同态加密系统的图像鲁棒可逆水印算法，主要思想为：（1）对原始图像进行分块和利用Paillier加密系统进行加密得到密文图像；（2）在加密域中，通过 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于创意序列学习的艺术风格学习与绘制系统
摘要:在众多传统艺术绘画形式中，笔触是被现代计算机绘画工具（GIMP、Photoshop和Painter）普遍采用的形式之一.创新性地提出了服务于非真实感渲染AI辅助艺术创作系统（A4）.系统能够实现自动生成特定艺术家风格的笔触效果.该系统在强化学习框架下，主要进行以下研究工作：（1）提出基于PGP ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于图结构的大数据分析与管理技术专刊前言
摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5458 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
