Skip to main content

Conflict Resolution for Data Updates by Multiple Bidirectional Transformations

Part of the Communications in Computer and Information Science book series (CCIS,volume 1457)

Abstract

Bidirectional transformation (BX) is a robust mechanism to propagate changes of data across the transformation while maintaining consistency between two or more data sources. Recently, systems that coordinate multiple BX have been proposed. However, conflicts when multiple BX update the same source have not been well studied yet. In this paper, we propose a new conflict resolution method for BX based on an algorithm of Operational Transformation (OT). We apply the algorithm of OT to the backward transformation of the tree duplication primitive \(\mathrm {Dup}\) of an existing BX language X proposed by Hu et al. X had been shown, by embedding into Inv, which is capable of maintaining structured documents such as XML through BX, to allow more flexible operations by Inv’s bidirectionality-satisfying operations. Using this mechanism, we propose a new backward transformation function \( mput \) that can resolve conflicts between updates on two views. Our implementation of \( mput \) can simultaneously satisfy the properties GETPUTGET and PUTGETPUT, which are the round-tripping properties inherited from X, and TP1, which is a confluence property inherited from OT for server-client environment.

Keywords

  • Bidirectional transformation
  • Operational transformation
  • Conflict resolution

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-030-93849-9_4
  • Chapter length: 14 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   59.99
Price excludes VAT (USA)
  • ISBN: 978-3-030-93849-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   74.99
Price excludes VAT (USA)
Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.
Fig. 6.
Fig. 7.

Notes

  1. 1.

    https://etherpad.org/.

  2. 2.

    Compared to direct bidirectionalization [7], convenience can be improved because Inv-specific language constructs such as fixpoint combinators become available.

References

  1. The Coq proof assistant: Institut National de Recherche en Informatique et en Automatique. https://coq.inria.fr/

  2. Cairns, B.: Build collaborative apps with Google Drive Realtime API. Google G Suite Developers Blog (2013)

    Google Scholar 

  3. Cleve, A., Kindler, E., Stevens, P., Zaytsev, V.: Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491), vol. 8, pp. 1–48. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2019)

    Google Scholar 

  4. Diskin, Z.: Model synchronization: mappings, tiles, and categories. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 92–165. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-18023-1_3

    CrossRef  Google Scholar 

  5. Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol. 6142, pp. 61–76. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13688-7_5

    CrossRef  Google Scholar 

  6. Ellis, C.A., Gibbs, S.J.: Concurrency control in groupware systems. In: Proceedings of the SIGMOD 1989, pp. 399–407 (1989)

    Google Scholar 

  7. Hu, Z., Mu, S.C., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. In: Proceedings of the 2004 ACM SIGPLAN PEPM, pp. 178–189 (2004)

    Google Scholar 

  8. Hu, Z., Mu, S., Takeichi, M.: A programmable editor for developing structured documents based on bidirectional transformations. High. Order Symb. Comput. 21(1–2), 89–118 (2008)

    CrossRef  Google Scholar 

  9. Li, N., Tsigkanos, C., Jin, Z., Dustdar, S., Hu, Z., Ghezzi, C.: POET: privacy on the edge with bidirectional data transformations. In: Proceedings of the IEEE PerCom, pp. 1–10 (2019)

    Google Scholar 

  10. Mu, S.-C., Hu, Z., Takeichi, M.: An algebraic approach to bi-directional updating. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 2–20. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30477-7_2

    CrossRef  Google Scholar 

  11. Sinchuk, S., Chuprikov, P., Solomatov, K.: Verified operational transformation for trees. In: Blanchette, J.C., Merz, S. (eds.) ITP 2016. LNCS, vol. 9807, pp. 358–373. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-43144-4_22

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Soichiro Hidaka .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Verify currency and authenticity via CrossMark

Cite this paper

Habu, M., Hidaka, S. (2022). Conflict Resolution for Data Updates by Multiple Bidirectional Transformations. In: Fletcher, G., Nakano, K., Sasaki, Y. (eds) Software Foundations for Data Interoperability. SFDI 2021. Communications in Computer and Information Science, vol 1457. Springer, Cham. https://doi.org/10.1007/978-3-030-93849-9_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-93849-9_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-93848-2

  • Online ISBN: 978-3-030-93849-9

  • eBook Packages: Computer ScienceComputer Science (R0)