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 条
  • [21] GUNGEN-GO: Real-time groupware development environment for a hypermedia system
    Yuizono, T
    Yoshino, T
    Munemori, J
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2003, 2774 : 779 - 785
  • [22] Designing for real-time groupware systems to support complex scientific data analysis
    Mostaeen G.
    Roy B.
    Roy C.K.
    Schneider K.A.
    Proceedings of the ACM on Human-Computer Interaction, 2019, 3 (EICS)
  • [23] A system for real-time groupware using a pen interface for creative thought support
    Nakajima, K
    Hayakawa, E
    Namiki, M
    Takahashi, N
    DESIGN OF COMPUTING SYSTEMS: SOCIAL AND ERGONOMIC CONSIDERATIONS, 1997, 21 : 443 - 446
  • [24] Towards Cross-Platform Collaboration - Transferring Real-Time Groupware To The Browser
    Wenzel, Matthias
    Gericke, Lutz
    Gumienny, Raja
    Meinel, Christoph
    PROCEEDINGS OF THE 2013 IEEE 17TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), 2013, : 49 - 54
  • [25] Real-Time Scheduling of Autonomous Driving System with Guaranteed Timing Correctness
    Sun, Jinghao
    Duan, Kailu
    Li, Xisheng
    Guan, Nan
    Guo, Zhishan
    Deng, Qingxu
    Tan, Guozhen
    2023 IEEE 29TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, RTAS, 2023, : 185 - 197
  • [26] A CONSTRUCTIVE METHOD FOR THE ARCHITECTURAL DESIGN AND CORRECTNESS VERIFICATION OF REAL-TIME PROGRAMS
    SAUKKONEN, S
    ACTA POLYTECHNICA SCANDINAVICA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 1983, (40): : 1 - 122
  • [27] HIERARCHICAL CORRECTNESS VERIFICATION IN MULTIPHASE REAL-TIME SOFTWARE-DESIGN
    SZMUC, T
    SZWED, P
    SCHWARZ, JJ
    SKUBICH, J
    CONTROL ENGINEERING PRACTICE, 1995, 3 (06) : 829 - 836
  • [28] Formalization and correctness of the PALS architectural pattern for distributed real-time systems
    Meseguer, Jose
    Olveczky, Peter Csaba
    THEORETICAL COMPUTER SCIENCE, 2012, 451 : 1 - 37
  • [29] Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems
    Meseguer, Jose
    Olveczky, Peter Csaba
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 303 - +
  • [30] A Framework for Distributing Real-Time Functions
    Boniol, Frederic
    Hladik, Pierre-Emmanuel
    Pagetti, Claire
    Aspro, Frederic
    Jegu, Victor
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2008, 5215 : 155 - +
12345