Abstract
A foundational property of bidirectional transformations is that they should be correct: that is, the transformation should succeed in restoring consistency between any models it is given. In practice, however, transformation engines sometimes fail to restore consistency, e.g. because there is no consistent model to return, or because the tool is unable to select a best model to return from among equally good candidates. In this paper, we formalise properties that may nevertheless hold in such circumstances and discuss relationships and implications.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. PODS, pp. 68–79. ACM Press (1999)
Balasubramaniam, S., Pierce, B.C.: What is a file synchronizer? In: Proceedings of MobiCom 1998 (October 1998)
Balzer, R.: Tolerating inconsistency. In: Proceedings of ICSE 1991, pp. 158–165. IEEE Computer Society/ACM Press (1991)
Bohannon, A., Nathan Foster, J., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: Resourceful lenses for string data. In: Proceedings of POPL 2008 (January 2008)
Bradfield, J., Stevens, P.: Enforcing QVT-R with mu-calculus and games. In: Cortellessa, V., Varró, D. (eds.) FASE 2013. LNCS, vol. 7793, pp. 282–296. Springer, Heidelberg (2013)
Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Towards a repository of bx examples. In: Proceedings of Bx 2014 (2014)
Diskin, Z.: Algebraic models for bidirectional model synchronization. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 21–36. Springer, Heidelberg (2008)
Famelis, M., Salay, R., Chechik, M.: The semantics of partial model transformations. In: Proceedings of ICSE Workshop on Modeling in Software Engineering, pp. 64–69 (June 2012)
Nathan Foster, J., Greenwald, M.B., Kirkegaard, C., Pierce, B.C., Schmitt, A.: Schema-directed data synchronization. Technical Report MS-CIS-05-02, University of Pennsylvania (March 2005)
Gottlob, G., Paolini, P., Zicari, R.: Properties and update semantics of consistent views. ACM Trans. Database Syst. 13(4), 486–524 (1988)
Hegner, S.J.: Foundations of canonical update support for closed database views. In: Kanellakis, P.C., Abiteboul, S. (eds.) ICDT 1990. LNCS, vol. 470, pp. 422–436. Springer, Heidelberg (1990)
Nöhrer, A., Biere, A., Egyed, A.: A comparison of strategies for tolerating inconsistencies during decision-making. In: 16th International Software Product Line Conference, SPLC 2012, pp. 11–20. ACM (2012)
Nuseibeh, B., Easterbrook, S.M., Russo, A.: Leveraging inconsistency in software development. IEEE Computer 33(4), 24–29 (2000)
OMG. MOF2.0 query/view/transformation (QVT) version 1.1. OMG document formal/2009-12-05 (2009), www.omg.org
Stevens, P.: Observations relating to the equivalences induced on model sets by bidirectional transformations. In: EC-EASST, vol. 49 (2012)
Stevens, P., McKinna, J., Cheney, J.: Composers v0.1 in Bx Examples Repository, http://bx-community.wikidot.com/examples:home (retrieved January 16, 2014)
Voigtländer, J., Hu, Z., Matsuda, K., Wang, M.: Combining syntactic and semantic bidirectionalization. In: Proc. ICFP, pp. 181–192. ACM (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stevens, P. (2014). Bidirectionally Tolerating Inconsistency: Partial Transformations. In: Gnesi, S., Rensink, A. (eds) Fundamental Approaches to Software Engineering. FASE 2014. Lecture Notes in Computer Science, vol 8411. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54804-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-54804-8_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54803-1
Online ISBN: 978-3-642-54804-8
eBook Packages: Computer ScienceComputer Science (R0)