Proving correctness of transformation functions in real-time groupware

被引：0
|
作者：
Imine, A
Molli, P
Oster, G
Rusinowitch, M
机构：
来源：
ECSCW 2003: PROCEEDINGS OF THE EIGHTH EUROPEAN CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK | 2003年
关键词：
D O I：
暂无
中图分类号：
G2 [信息与知识传播];
学科分类号：
05 ; 0503 ;
摘要：
Operational transformation is an approach which allows to build real-time groupware tools. This approach requires correct transformation functions. Proving the correction of these transformation functions is very complex and error prone. In this paper, we show how a theorem prover can address this serious bottleneck. To validate our approach, we have verified the correctness of state-of-art transformation functions defined on Strings with surprising results.. Counter-examples provided by the theorem prover have helped us to define new correct transformation functions for Strings.
引用
收藏
页码：277 / 293
页数：17
相关论文
共 50 条
  • [31] Real-time methods for spectral functions
    Roth, Johannes V.
    Schweitzer, Dominik
    Sieke, Leon J.
    von Smekal, Lorenz
    PHYSICAL REVIEW D, 2022, 105 (11)
  • [32] REAL-TIME CORRELATION OF SPATIAL FUNCTIONS
    RAU, JE
    JOURNAL OF THE OPTICAL SOCIETY OF AMERICA, 1967, 57 (04) : 562 - &
  • [33] Digital transformation of hospital quality and safety: real-time data for real-time action
    Barnett, Amy
    Winning, Michelle
    Canaris, Stephen
    Cleary, Michael
    Staib, Andrew
    Sullivan, Clair
    AUSTRALIAN HEALTH REVIEW, 2019, 43 (06) : 656 - 661
  • [34] Amplified wavelength–time transformation for real-time spectroscopy
    D. R. Solli
    J. Chou
    B. Jalali
    Nature Photonics, 2008, 2 : 48 - 51
  • [35] ON PROVING TIME CONSTRUCTIBILITY OF FUNCTIONS
    KOBAYASHI, K
    THEORETICAL COMPUTER SCIENCE, 1985, 35 (2-3) : 215 - 225
  • [36] TIME-DEPENDENT DISTRIBUTED SYSTEMS - PROVING SAFETY, LIVENESS AND REAL-TIME PROPERTIES
    SHANKAR, AU
    LAM, SS
    DISTRIBUTED COMPUTING, 1987, 2 (02) : 61 - 79
  • [37] REAL-TIME WALSH-HADAMARD TRANSFORMATION
    ALEXANDRIDIS, NA
    KLINGER, A
    IEEE TRANSACTIONS ON COMPUTERS, 1972, C 21 (03) : 288 - +
  • [38] Real-time synthesis and transformation of ambient sounds
    Dobler, D
    FIRST INTERNATIONAL CONFERENCE ON AUTOMATED PRODUCTION OF CROSS MEDIA CONTENT FOR MULTI-CHANNEL DISTRIBUTION, PROCEEDINGS, 2005, : 60 - 67
  • [39] Real-Time Optical Spectrum Fourier Transformation
    Malacarne, Antonio
    Park, Yongwoo
    Li, Ming
    LaRochelle, Sophie
    Azana, Jose
    2012 CONFERENCE ON LASERS AND ELECTRO-OPTICS (CLEO), 2012,
  • [40] On the Correctness of Real-Time Modular Computer Systems Modeling with Stopwatch Automata Networks
    Glonina, A. B.
    Balashov, V. V.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2018, 52 (07) : 817 - 827
12345