Towards propagation of changes by model approximations

Proceedings - 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops, EDOCW2006

Volumn , Issue , 2006, Pages

  Cicchetti, Antonio ^a   Di Ruscio, Davide ^a   Eramo, Romina ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; META MODEL; MODEL APPROXIMATIONS; MODEL DRIVEN DEVELOPMENT; MODEL TRANSFORMATION; MODEL TRANSFORMATION TECHNIQUE; TARGET MODEL;

COMPUTER SCIENCE;

TECHNICAL PRESENTATIONS;

EID: 71049189987     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOCW.2006.68     Document Type: Conference Paper

References (22)

1. S. Abiteboul and V. Vianu. Computing with First-Order Logic. J. of Computer and System Sciences, 50(2):309-335, 1995.
2. J. Bézivin, B. Rumpe, A. Schüee, and L. Tratt. Model Transformation in Practice Workshop Announcement. http://sosym.dcs.kcl.ac.uk/ events/mtip/, 2005.
3. Compuware and Sun. XMOF queries, views and transformations on models using MOF, OCL and patterns, 2003. OMG Document ad/2003-08-07.
4. G. Csertán, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza, and D. Varró. VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models. In Proc. ASE 2002: 17th IEEE Int. Conf. on Automated Software Engineering, pages 267-270, Edinburgh, UK, September 23-27 2002. IEEE Press.
5. K. Czarnecki and S. Helsen. Feature-based Survey of Model Transformation Approaches. IBM Systems J., 45(3), June 2006.
6. R. Eramo. ASP code of Model Transformation. http://www.di.univaq.it/ diruscio/aspcode.php, 2005.
7. F. Fleurey, Z. Drey, and D. Vojtisek. Kermeta language, June 2006. Reference Manual.
8. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In R. A. Kowalski and K. Bowen, editors, Proceedings of the Fifth Int. Conf. on Logic Programming, pages 1070-1080, Cambridge, Massachusetts, 1988. The MIT Press.
9. A. Gerber, M. Lawley, K. Raymond, J. Steel, and A. Wood. Transformation: The Missing Link of MDA. In ICGT '02: Proceedings of the First Int. Conf. on Graph Transformation, volume 2505 of LNCS, pages 90-105, London, UK, October 2002. Springer.
10. F. Jouault and I. Kurtev. Transforming Models with ATL. In Satellite Events at the MoDELS 2005 Conference, volume 3844 of LNCS, pages 128-138. Springer, January 2006.
11. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. J. of the ACM, 42(4):741-843, July 1995.
12. R. A. Kowalski. Predicate Logic as Programming Language. In IFIP Congress, pages 569-574, 1974.
13. V. W. Marek and M. Truszczynski. Stable models and an alternative logic programming paradigm, September 1998.
14. T. Mens and P. V. Gorp. A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci., 152:125-142, 2006.
15. Object Management Group. MOF 2.0 Query/Views/Transformations RFP, 2002. OMG document ad/02-04-10.
16. OpenQVT. Response to the MOF 2.0 Queries / Views / Transformations RFP, 2003. OMG Document ad/2003-08-05.
17. A. Schürr, A. Winter, and A. Zündorf. Handbook on Graph Grammars and Graph Transformation. World Scientific, 1999.
18. Z. Somogyi, F. Henderson, and T. Conway. Mercury: an efficient purely declarative logic programming language. In Australian Computer Science Conference, pages 499-512, Glenelg, Australia, February 1995.
19. J. Sprinkle, A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai. Domain Model Translation Using Graph Transformations. In 10th IEEE Int. Conf. and Workshop on the Engineering of Computer-Based Systems, pages 159-168. IEEE Computer Society, 2003.
20. G. Taentzer. AGG: A Graph Transformation Environment for Modeling and Validation of Software. In Int. Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2003, volume 3062 of LNCS, pages 446-453. Springer, July 2004.
21. L. Tratt. Model transformations and tool integration. J. of Software and Systems Modeling, 4(2):112-122, May 2005.
22. University of Helsinki. SMODELS solver Website. http://www.tcs.hut.fi/ Software/smodels/.