Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Computer Supported Cooperative Work (CSCW)
Erschienen in: Computer Supported Cooperative Work (CSCW) 1/2010

01.02.2010

An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems

verfasst von: Du Li, Rui Li

Erschienen in: Computer Supported Cooperative Work (CSCW) | Ausgabe 1/2010

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Operational transformation (OT) as a consistency control method has been well accepted in group editors. With OT, the users can edit any part of a shared document at any time and local responsiveness is not sensitive to communication latencies. However, established theoretical frameworks for developing OT algorithms either require transformation functions to work in all possible cases, which complicates the design of transformation functions, or include an under-formalized condition of intention preservation, which results in algorithms that cannot be formally proved and must be fixed over time to address newly discovered counterexamples. To address those limitations, this paper proposes an alternative framework, called admissibility-based transformation (ABT), that is theoretically based on formalized, provable correctness criteria and practically no longer requires transformation functions to work under all conditions. Compared to previous approaches, ABT simplifies the design and proofs of OT algorithms.
Nächster Artikel Mobile Technology and Action Teams: Assessing BlackBerry Use in Law Enforcement Units

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Literatur
Begole, J. B., Rosson, M. B., & Shaffer, C. A. (1999). Flexible collaboration transparency: supporting worker independence in replicated application-sharing systems. ACM Transactions on Computer-Human Interaction, 6(2), 95–132.CrossRef
Bellini, P., Nesi, P., & Spinu, M. B. (2002). Cooperative visual manipulation of music notation. ACM Transactions on Computer-Human Interaction, 9(3), 194–237.CrossRef
Davis, A. H., Sun, C., & Lu, J. (2002). Generalizing operational transformation to the standard general markup language. In ACM CSCW’02 Conference on Computer-Supported Cooperative Work (Nov. 2002), (pp. 58–67).
Ellis, C. A. & Gibbs, S. J. (1989). Concurrency control in groupware systems. In Proceedings of the ACM SIGMOD’89 Conference on Management of Data. Portland Oregon, 1989, (pp. 399–407).
Ellis, C. A., Gibbs, S. J., & Rein, G. L. (1991). Groupware: Some issues and experiences. Communications of the ACM, 34(1), 38–58.CrossRef
Godefroid, P., Herbsleb, J. D., Jagadeesan, L. J., & Li, D. (2000). Ensuring privacy in presence awareness systems: An automated verification approach. In ACM CSCW’2000 Conference Proceedings (Philadelphia, Dec. 2000), (pp. 59–68).
Hymes, C.M. & Olson, G. M. (1992). Unblocking brainstorming through the use of simple group editor. In ACM CSCW’92 Proceedings (Nov. 1992), (pp. 99–106).
Imine, A., Molli, P., Oster, G., & Rusinowitch, M. (2003). Proving correctness of transformation functions in real-time groupware. In Proceedings of the European Conference on Computer Supported Cooperative Work (ECSCW’03) (Sept. 2003).
Imine, A., Rusinowitch, M., Oster, G., & Mollis, P. (2006). Formal design and verification of operational transformation algorithms for copies convergence. Theoretical Computer Science, 351(2), 167–183.MATHCrossRefMathSciNet
Knister, M. J., & Prakash, A. (1994). A framework for undoing actions in collaborative systems. ACM Transactions on Computer-Human Interaction, 1(4), 295–330.CrossRef
Li, D. & Li, R. (2004). Preserving operation effects relation in group editors. In Proceedings of the ACM CSCW’04 Conference on Computer-Supported Cooperative Work (Nov. 2004), (pp. 457–466).
Li, D. & Li, R. (2006). A performance study of group editing algorithms. In The 12th International Conference on Parallel and Distributed Systems (ICPADS’06) (Minneapolis, MN, July 2006), (pp. 300–307).
Li, D., & Li, R. (2008a). An approach to ensuring consistency in peer-to-peer real-time group editors. Computer Supported Cooperative Work: The Journal of Collaborative Computing, 17(5–6), 553–611.CrossRef
Li, D., & Li, R. (2008b). An operational transformation algorithm and performance evaluation. Computer-Supported Cooperative Work: The Journal of Collaborative Computing, 17(5–6), 469–508.CrossRef
Li, R. & Li, D. (2005). Commutativity-based concurrency control in groupware. In Proceedings of the First IEEE Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom’05) (San Jose, CA, Dec. 2005).
Li, R., & Li, D. (2007). A new operational transformation framework for real-time group editors. IEEE Transactions on Parallel and Distributed Systems, 18(3), 307–319.CrossRef
Li, R., Li, D., & Sun, C. (2004). A time interval based consistency control algorithm for interactive groupware applications. In IEEE International Conference on Parallel and Distributed Systems (ICPADS) (July 2004), (pp. 429–436).
Molli, P., Oster, G., Skaf-Molli, H., & Imine, A. (2003). Using the transformational approach to build a safe and generic data synchronizer. In GROUP ’03: Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work (New York, NY, USA, 2003), (pp. 212–220).
Oster, G., Urso, P., Molli, P., & Imine, A. (2005a). Proving correctness of transformation functions in collaborative editing systems. Technical Report 5795 (Dec.), INRIA.
Oster, G., Urso, P., Molli, P., & Imine, A. (2005b). Real-Time Group Editors Without Operational Transformation. Research Report RR-5580 (may), LORIA — INRIA Lorraine.
Oster, G., Urso, P., Molli, P., & Imine, A. (2006a). Data consistency for P2P collaborative editing. In Proceedings of the 20th anniversary conference on computer-supported cooperative work (Banff, Alberta, Canada, Nov. 2006), (pp. 259–268).
Oster, G., Urso, P., Molli, P., & Imine, A. (2006b). Tombstone transformation functions for ensuring consistency in collaborative editing systems. In The Second International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2006) (Atlanta, Georgia, USA, November 2006). IEEE Press.
Ressel, M., Nitsche-Ruhland, D., & Gunzenhäuser (1996). An integrating, transformation-oriented approach to concurrency control and undo in group editors. In Proceedings of the ACM CSCW’96 Conference on Computer-Supported Cooperative Work (Nov. 1996), (pp. 288–297).
Shen, H. & Sun, C. (2002). Flexible notification for collaborative systems. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work (Nov. 2002), (pp. 77–86).
Suleiman, M., Cart, M., & Ferrié, J. (1997). Serialization of concurrent operations in a distributed collaborative environment. In Proceedings of the ACM GROUP’97 Conference on Supporting Group Work (Phoenix, AZ, Nov. 1997), (pp. 435–445).
Suleiman, M., Cart, M., & Ferrié, J. (1998). Concurrent operations in a distributed and mobile collaborative environment. In IEEE ICDE’98 International Conference on Data Engineering (Feb. 1998), (pp. 36–45).
Sun, C. (2002). Undo as concurrent inverse in group editors. ACM Transactions on Computer-Human Interaction, 9(4), 309–361.CrossRef
Sun, C., & Chen, D. (2002). Consistency maintenance in real-time collaborative graphics editing systems. ACM Transactions on Computer-Human Interaction, 9(1), 1–41.CrossRefMathSciNet
Sun, C. & Ellis, C. (1998). Operational transformation in real-time group editors: issues, algorithms, and achievements. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work (Dec. 1998), (pp. 59–68).
Sun, C., Jia, X., Zhang, Y., Yang, Y., & Chen, D. (1998). Achieving convergence, causality-preservation, and intention-preservation in real-time cooperative editing systems. ACM Transactions on Computer-Human Interaction, 5(1), 63–108.CrossRef
Sun, C., Xia, S., Sun, D., Chen, D., Shen, H., & Cai, W. (2006). Transparent adaptation of single-user applications for multi-user real-time collaboration. ACM Transactions on Computer-Human Interaction, 13(4), 531–582.CrossRef
Sun, D. & Sun, C. (2006). Operation context and context-based operational transformation. In Proceedings of the ACM Conference on Computer-Supported Cooperative Work (CSCW’06) (Nov. 2006), (pp. 279–288).
Sun, D., Xia, S., Sun, C., & Chen, D. (2004). Operational transformation for collaborative word processing. In Proceedings of ACM CSCW’04 Conference on Computer-Supported Cooperative Work (Nov. 2004), (pp. 162–171).
Vidot, N., Cart, M., Ferrie, J., and Suleiman, M. (2000). Copies convergence in a distributed realtime collaborative environment. In Proceedings of ACM CSCW’00 Conference on Computer-Supported Cooperative Work (Dec. 2000), (pp. 171–180).
Metadaten
Titel
An Admissibility-Based Operational Transformation Framework for Collaborative Editing Systems
verfasst von
Du Li
Rui Li
Publikationsdatum
01.02.2010
Verlag
Springer Netherlands
Erschienen in
Computer Supported Cooperative Work (CSCW) / Ausgabe 1/2010
Print ISSN: 0925-9724
Elektronische ISSN: 1573-7551
DOI
https://doi.org/10.1007/s10606-009-9103-1

Premium Partner

    Bildnachweise