References

  1. J. M. Almendros-Jiménez & L. Iribarne (2008): An Extension of UML for the Modeling of WIMP User Interfaces. Journal of Visual Languages and Computing, Elsevier 19, pp. 695–720, doi:10.1016/j.jvlc.2007.12.004.
  2. J. M. Almendros-Jiménez & L. Iribarne (2009): UML Modeling of User and Database Interaction. The Computer Journal 52(3), pp. 348–367, doi:10.1093/comjnl/bxn028.
  3. J.M. Almendros-Jiménez (2011): A Prolog library for OWL RL. In: Proceedings of the 4th International Workshop on Logic in Databases. ACM, pp. 49–56, doi:10.1145/1966357.1966367.
  4. Zoltán Balogh & Dániel Varró (2009): Model Transformation by Example Using Inductive Logic Programming. Software and Systems Modeling 8(3), pp. 347–364, doi:10.1007/s10270-008-0092-1.
  5. Alex Borgida (1996): On the relative expressiveness of Description Logics and Predicate Logics. Artificial Intelligence 82(1-2), pp. 353–367, doi:10.1016/0004-3702(96)00004-5.
  6. Fabian Büttner, Jordi Cabot & Martin Gogolla (2011): On validation of ATL transformation rules by transformation models. In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa. ACM, New York, NY, USA, pp. 9:1–9:8, doi:10.1145/2095654.2095666.
  7. J. Cabot, R. Claris, E. Guerra & J. de Lara (2010): Verification and Validation of Declarative Model-to-Model Transformations. Systems and Software 2(83), pp. 283–302, doi:10.1016/j.jss.2009.08.012.
  8. J. Chimia-Opoka, M. Felderer, C. Lenz & C. Lange (2008): Querying UML models using OCL and Prolog: A performance study. In: Software Testing Verification and Validation Workshop, 2008. ICSTW'08. IEEE International Conference on. IEEE, pp. 81–88, doi:10.1109/ICSTW.2008.33.
  9. P. Dohrmann & S. Herold (2010): Designing and Applying a Framework for Logic-Based Model Querying. In: Software Engineering and Advanced Applications (SEAA), 2010 36th EUROMICRO Conference on. IEEE, pp. 164–171, doi:10.1109/SEAA.2010.21.
  10. A. Gerber, M. Lawley, K. Raymond, J. Steel & A. Wood (2002): Transformation: The Missing Link of MDA. In: Procs of ICGT'02. LNCS 2505, Springer, London, UK, pp. 90–105, doi:10.1007/3-540-45832-8_9.
  11. M. Goldberg & G. Wiener (2012): A Declarative Approach for Software Modeling. In: Practical Aspects of Declarative Languages. Springer LNCS 7149, pp. 18–32, doi:10.1007/978-3-642-27694-1_3.
  12. Benjamin N. Grosof, Ian Horrocks, Raphael Volz & Stefan Decker (2003): Description Logic Programs: Combining Logic Programs with Description Logic. In: Proc. of the International Conference on World Wide Web. ACM, USA, pp. 48–57, doi:10.1145/775152.775160.
  13. David I. Hearnden (2007): Deltaware: Incremental Change Propagation for Automating Software Evolution in Model-Driven Architecture. Centre or Institute School of Information Tech & Elec Engineering, Univ. of Queensland. Available at http://espace.library.uq.edu.au/view/UQ:152739.
  14. Thomas Hettel, Michael Lawley & Kerry Raymond (2009): Towards Model Round-Trip Engineering: An Abductive Approach. In: Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations, ICMT '09. Springer-Verlag, Berlin, Heidelberg, pp. 100–115, doi:10.1007/978-3-642-02408-5_8.
  15. Guillaume Hillairet (2007): ATL Use Case - ODM Implementation (Bridging UML and OWL). Technical Report. http://www.eclipse.org/m2m/atl/atlTransformations/.
  16. Frédéric Jouault & Ivan Kurtev (2007): On the interoperability of model-to-model transformation languages. Sci. Comput. Program. 68(3), pp. 114–137, doi:10.1016/j.scico.2007.05.005.
  17. Zohaib Khai, Aamer Nadeem & Gang-soo Lee (2011): A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams. In: Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi & Byeong-Ho Kang: Software Engineering, Business Continuity, and Education, Communications in Computer and Information Science 257. Springer Berlin Heidelberg, pp. 85–96, doi:10.1007/978-3-642-27207-3_10.
  18. H. Knublauch, R.W. Fergerson, N.F. Noy & M.A. Musen (2004): The Protege OWL Plugin: An Open Development Environment for Semantic Web Applications. In: The Semantic Web, ISWC 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004: proceedings LNCS 3298. Springer-Verlag New York Inc, pp. 229–243, doi:10.1007/978-3-540-30475-3_17.
  19. M. Lawley & J. Steel (2006): Practical Declarative Model Transformation with Tefkat. In: MoDELS Satellite Events. LNCS 3844, Springer, pp. 139–150, doi:10.1007/11663430_15.
  20. Michael Lawley & Kerry Raymond (2007): Implementing a practical declarative logic-based model transformation engine. In: SAC'07: Proceedings of the 2007 ACM Symposium on Applied Computing. ACM, New York, NY, USA, pp. 971–977, doi:10.1145/1244002.1244216.
  21. Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue & Carsten Lutz (2009): OWL 2 Web Ontology: Reasoning in OWL 2 RL and RDF Graphs using Rules. Technical Report. http://www.w3.org.
  22. OMG (2003): MDA Spec.. Technical Report. http://www.omg.org/mda/specs.htm.
  23. OMG (2008): Model Driven Architecture. Technical Report. http://www.omg.org/cgi-bin/doc?omg/03-06-01.
  24. OMG (2008): Object Constraint Language (OCL). Technical Report. http://www.omg.org/technology/documents/formal/ocl.htm.
  25. OMG (2009): Ontology Definition Metamodel (ODM). Technical Report. http://www.omg.org/spec/ODM/1.0/.
  26. Bernhard Schätz (2009): Formalization and Rule-Based Transformation of EMF Ecore-Based Models. In: Dragan Gaševi\'c, Ralf Lämmel & Eric Wyk: Software Language Engineering. Springer-Verlag, Berlin, Heidelberg, pp. 227–244, doi:10.1007/978-3-642-00434-6_15.
  27. H. Storrle (2007): A Prolog-based Approach to Representing and Querying UML Models. In: Intl. Ws. Visual Languages and Logic (VLL'07) 274, pp. 71–84. Available at http://ceur-ws.org/Vol-274/.
  28. TopCased (2010): TopCased: The Open-source tool kit for critical systems. Technical Report. http://www.topcased.org/.
  29. Laurence Tratt (2005): Model transformations and tool integration. Software and System Modeling 4(2), pp. 112–122, doi:10.1007/s10270-004-0070-1.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org