Towards model round-trip engineering: An abductive approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5563 LNCS, Issue , 2009, Pages 100-115

  Hettel, Thomas ^a,b   Lawley, Michael ^c   Raymond, Kerry ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b SAP Research   (Australia)

^c CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ABDUCTIVE LOGIC PROGRAMMING; MODEL TRANSFORMATION; REVERSIBLE TRANSFORMATION; TARGET MODEL;

LOGIC PROGRAMMING;

EID: 70350647333     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02408-5_8     Document Type: Conference Paper

References (19)

1. Hettel, T., Lawley, M., Raymond, K.: Model synchronisation: Deflnitions for round-trip engineering. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 31-45. Springer, Heidelberg (2008)
2. Pierce, C.S.: Collected Papers of Charles Sanders Peirce, vol. 2. Harvard University Press, Cambridge (1931-1958)
3. Aliseda, A.: Abductive Reasoning: Logical Investigations Into Discovery and Explanation. Springer, Heidelberg (2005)
4. Kakas, A., Denecker, M.: Abduction in Logic Programming. Computational Logic: Logic Programming and Beyond, 402-436 (2002)
5. Kakas, A., Kowalski, R., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation 2(6), 719-770 (1993)
6. Kakas, A., Mancarella, P.: Generalized Stable Models: A Semantics for Abduction. In: Proceedings of the 9th European Conference on Artiflcial Intelligence, ECAI 1990, Stockholm, Sweden, pp. 385-391 (1990)
7. Lawley, M., Steel, J.: Practical Declarative Model Transformation with Tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 139-150. Springer, Heidelberg (2006)
8. Ray, O., Kakas, A.: ProLogICA: a practical system for Abductive Logic Programming. In: Proceedings of the 11th International Workshop on Non-monotonic Reasoning (2006)
9. Abdennadher, S., Christiansen, H.: An Experimental CLP Platform for Integrity Constraints and Abduction. In: Proceedings of FQAS 2000, Flexible Query Answering Systems: Advances in Soft Computing series, pp. 141-152 (2000)
10. Mu, S.C., Hu, Z., Takeichi, M.: An Injective Language for Reversible Computation. In: Kozen, D. (ed.) MPC 2004. LNCS, vol. 3125, pp. 289-313. Springer, Heidelberg (2004)
11. Mu, S., 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)
12. Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem. ACM Transactions on Programming Languages and Systems (2007)
13. Giese, H., Wagner, R.: Incremental Model Synchronization with Triple Graph Grammars. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 543-557. Springer, Heidelberg (2006)
14. Königs, A.: Model transformation with triple graph grammars. In: Proceedings of the Model Transformations in Practice Satellite Workshop of MODELS 2005 (2005)
15. Ehrig, H., Ehrig, K., Ermel, C., Hermann, F., Taentzer, G.: Information Preserving Bidirectional Model Transformations. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 72-86. Springer, Heidelberg (2007)
16. Cicchetti, A., Ruscio, D.D., Eramo, R.: Towards Propagation of Changes by Model Approximations. In: Proceedings of the 10th International Enterprise Distributed Object Computing Conference Workshops, p. 24. IEEE Computer Society, Los Alamitos (2006)
17. Object Management Group (OMG) formal/08-04-03: Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT) Speciflcation Version 1.0 (November 2005)
18. Varró, D., Balogh, Z.: Automating model transformation by example using inductive logic programming. In: SAC 2007: Proceedings of the, ACM symposium on Applied computing, pp. 978-984. ACM, New York (2007)
19. Hearnden, D., Lawley, M., Raymond, K.: Incremental model transformation for the evolution of model-driven systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 321-335. Springer, Heidelberg (2006)