Operational Transformation (OT) is a collaboration-enabling technology and increasingly adopted in a wide range of realworld applications. One long-lasting issue in OT research is detecting and resolving puzzles -subtle and characteristic collaborative editing scenarios in which an OT system may fail. After many years of extensive search and research, a variety of intricate puzzles have been detected and resolved. However, it remains open whether all puzzles, under certain well-defined conditions, have been discovered. To address this issue, we set out to devise a system of verification frameworks and a software tool, that are independent of specific OT algorithms and able to exhaustively cover all possible transformation cases in which puzzles (if any) will manifest themselves. With the support of these tools, we verified OT correctness and concluded: all puzzles, under basic data and operation models and established transformation properties, have been discovered and resolved. Our discoveries help resolve a number of long-standing mysteries surrounding OT correctness and contribute to the advancement of OT fundamental knowledge and technology.

No abstract

Interest in collaborative editing (CE) has seen a dramatic rise in recent years. The ubiquity of cloud services, crowdsourcing, and mobile devices means that today's Internet citizens are increasingly accustomed to producing and editing data in a shared network environment. While systems such as Google Drive, Microsoft Web Apps, Apache Wave and Codoxware allow users to collaboratively edit shared information, they have just begun to scratch the surface of CE's full potential. In the coming years, users will expect to be able to collaboratively create, share, and edit documents and data in a dynamic, realtime, and intuitive manor. This workshop aims to connect researchers, developers, and users to help explore the future of CE in tomorrow's information landscape. This year's workshop focuses on how researchers and industry practitioners can work together to accelerate delivery of CE capabilities to meet the needs of the typical information-age user.