On Design of Data Consistency Verification

被引：0
|
作者：
Marik, Radek [1 ]
机构：
[1] Czech Tech Univ, Fac Elect Engn, Tech 2, CZ-16627 Prague 6, Czech Republic
来源：
PROCEEDINGS OF THE 2016 17TH INTERNATIONAL CONFERENCE ON MECHATRONICS - MECHATRONIKA (ME) 2016 | 2016年
关键词：
data consistency; Alloy; data fusion; model-based verication;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
We pose a problem with the aim to design a complete set of data consistency checking rules. The context domain is assumed to be a set of entities characterized by property values and a set of relations among entities. The source data, called observations, are assumed to be fused into a network of entities, further referred to as the network model. Using the bounded model checker Alloy, we focus on a practical design of a set of all consistency rules that are sufficient to ensure that the result network model is consistent.
引用
收藏
页码：509 / 516
页数：8
相关论文
共 50 条
  • [1] Repository and meta-data design for efficient component consistency verification
    Brada, Premek
    Jezek, Kamil
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 97 : 349 - 365
  • [2] A consistency verification method for design models in design environments
    Arai, H
    Fukazawa, Y
    [J]. SYSTEMS AND COMPUTERS IN JAPAN, 1996, 27 (10) : 98 - 107
  • [3] Consistency Verification for GML Data Based on DOM
    Gao, Xiaoli
    Li, Haixia
    Yan, Tingguang
    Cui, Zhencai
    Yu, Jiyu
    Sheng, Yehua
    [J]. GEO-INFORMATICS IN RESOURCE MANAGEMENT AND SUSTAINABLE ECOSYSTEM, 2016, 569 : 149 - 158
  • [4] A Dynamic Data Replication with Consistency Approach in Data Grids: Modeling and Verification
    Souri, Alireza
    Norouzi, Monire
    Safarkhanlou, Adalat
    Haghi Sardroud, Seyed Hassan Es.
    [J]. BALTIC JOURNAL OF MODERN COMPUTING, 2016, 4 (03): : 546 - 560
  • [5] Maintaining data consistency of XML Databases using verification techniques
    Islam, Khandoker Asadul
    Watanabe, Yoshimichi
    [J]. ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2007, 4435 : 256 - +
  • [6] Towards the Verification of Temporal Data Consistency in Real-Time Data Management
    Cai, Simin
    Gallina, Barbara
    Nystrom, Dag
    Seceleanu, Cristina
    [J]. 2016 2ND INTERNATIONAL WORKSHOP ON MODELLING, ANALYSIS, AND CONTROL OF COMPLEX CPS (CPS DATA), 2016,
  • [7] VERIFICATION OF THE MUTUAL CONSISTENCY AND RELIABILITY OF THERMODYNAMIC DATA OF INORGANIC ELECTROLYTES
    Balej, Jan
    [J]. COLLECTION OF CZECHOSLOVAK CHEMICAL COMMUNICATIONS, 2011, 76 (05) : 407 - 414
  • [8] Automatic verification of sequential consistency for unbounded addresses and data values
    Bingham, J
    Condon, A
    Hu, AJ
    Qadeer, S
    Zhang, ZC
    [J]. COMPUTER AIDED VERIFICATION, 2004, 3114 : 427 - 439
  • [9] Verification of Concurrent Design Patterns with Data
    Bliudze, Simon
    Henrio, Ludovic
    Madelaine, Eric
    [J]. COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, 2019, 11533 : 161 - 181
  • [10] Effect of Data Length to the Consistency of Design Rainfall
    Tunas, I. G.
    Oka, G. M.
    [J]. UNIVERSITAS RIAU INTERNATIONAL CONFERENCE ON SCIENCE AND ENVIRONMENT 2020 (URICSE-2020), 2020, 1655
12345