A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation

Manuel Enciso, Carlos Rossi, Antonio Guevara

2012

Abstract

Model driven engineering has been shown to be a useful framework to enrich the quality of software. Metamodeling and model transformation have opened the door to specifying data models and manage it in a formal and solid way. These favourable features are particularly welcome in collaborative development, where we need a data model suitable for specifying information from different sources, and which can also facilitate the integration of this heterogeneous information to a global data model. In this paper we introduce a metamodel based on the notion of functional dependencies and we propose to use model driven engineering for the development of model transformation based on the SLFD logic.

References

  1. Akehurst, D., Bordbar, B., Rodgers, P., and Dalgliesh, N. (2002). Automatic Normalisation via Metamodelling. In ASE 2002 Workshop on Declarative Meta Programming to Support Software Development.
  2. Armstrong, W. W. (1974). Dependency structures of data base relationships. In IFIP Congress, pages 580-583.
  3. Cordero, P., Enciso, M., Guevara, A., Caro, J. L., Mora, A., and Rossi, C. (2010). A tool for user-guided database application development. Automatic design of XML models using CBD. In 5th International Conference on Software and Data Technologies. ICSOFT 2010, pages 195-200.
  4. Cordero, P., Enciso, M., and Mora, A. (Apr, 2012). Automated reasoning to infer all minimal keys. Submitted to Information Processing Letters.
  5. Cordero, P., Enciso, M., Mora, A., and de Guzmán, I. P. (2002). SLfd logic: Elimination of data redundancy in knowledge representation. In 8th IberoAmerican Conference on Artificial Intelligence, IBERAMIA 2002, pages 141-150.
  6. Enciso, M., Mora, A., Cordero, P., and Baena, R. (2011). A claim to incorporate functional dependencies in development tools. Benchmarking and checking functional dependencies algorithms. In 6th International Conference on Software and Data Technologies. ICSOFT 2011, pages 313-316.
  7. Garcia-Molina, H., Ullman, J., and Widom, J. (2008). Database Systems: The Complete Book. Pearson.
  8. Gogolla, M. (2005). Exploring ER and RE syntax and semantics with metamodel object diagrams. In Metainformatics 2005, pages 61-72.
  9. Jacobson, I., Booch, G., and Rumbaugh, J. (1999). The Unified Software Development Process. Addison Wesley.
  10. Jouault, F. and Kurtev, I. (2006). Transforming models with ATL. In Satellite Events at the MoDELS 2005 Conference, volume 3844 of Lecture Notes in Computer Science, pages 128-138, Berlin. Springer Verlag.
  11. Laleau, R. and Polack, F. (2001). A rigorous metamodel for UML static conceptual modelling of information systems. In 13th International Conference on Advanced Information Systems Engineering, CAiSE'01, pages 402-416.
  12. Martin, R. (2003). Agile software development : principles, patterns, and practices. Prentice Hall.
  13. Mora, A., Cordero, P., Enciso, M., Fortes, I., and Aguilera, G. (2012). Closure via functional dependence simplification. International Journal of Computer Mathematics, 89(4):510-526.
  14. Mora, A., Enciso, M., Cordero, P., and de Guzmán, I. P. (2003). An efficient preprocessing transformation for functional dependencies sets based on the substitution paradigm. In 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, pages 136-146.
  15. OMG (2001). The Unified Modeling Language Version 1.4. Object Management Group formal//01-09-67.
  16. Pressman, R. S. (2010). Software Engineering: A Practitioner's Approach, 7/e. McGraw-Hill.
  17. Sommerville, I. (2011). Software Engineering, 9/e. Pearson.
  18. Steinberg, D., Budinsky, F., Paternostro, M., and Merks, E. (2009). EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, 2nd edition.
Download


Paper Citation


in Harvard Style

Enciso M., Rossi C. and Guevara A. (2012). A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation . In Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT, ISBN 978-989-8565-19-8, pages 291-296. DOI: 10.5220/0004129002910296


in Bibtex Style

@conference{icsoft12,
author={Manuel Enciso and Carlos Rossi and Antonio Guevara},
title={A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation},
booktitle={Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT,},
year={2012},
pages={291-296},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004129002910296},
isbn={978-989-8565-19-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT,
TI - A Metamodel for Functional Dependencies - Towards a Functional Dependency Model Transformation
SN - 978-989-8565-19-8
AU - Enciso M.
AU - Rossi C.
AU - Guevara A.
PY - 2012
SP - 291
EP - 296
DO - 10.5220/0004129002910296