P. Chen, The entity-relationship model---toward a unified view of data, ACM Transactions on Database Systems, vol.1, issue.1, pp.9-36, 1976.
DOI : 10.1145/320434.320440

T. Halpin, Information Modeling and Relational Databases. From Conceptual Analysis to Logical Design, 2001.

D. Spinellis and . Everywhere, UML Everywhere, IEEE Software, vol.27, issue.5, pp.90-91, 2010.
DOI : 10.1109/MS.2010.131

B. Dobing and J. Parsons, How UML is used, Communications of the ACM, vol.49, issue.5, 2006.
DOI : 10.1145/1125944.1125949

M. Albert, C. Gómez, J. Cabot, and V. Pelechano, Automatic generation of basic behavior schemas from UML class diagrams, Software & Systems Modeling, vol.30, issue.2681, pp.47-67, 2010.
DOI : 10.1007/s10270-008-0108-x
URL : https://hal.archives-ouvertes.fr/hal-00540822

M. Albert, V. Pelechano, J. Fons, M. Ruiz, and O. Pastor, Implementing UML Association, Aggregation, and Composition. A Particular Interpretation Based on a Multidimensional Framework, Proc. of the Advanced Information Systems Engineering (CAiSE'03), 2003.
DOI : 10.1007/3-540-45017-3_12

J. Bézivin, F. Jouault, and D. Touzet, An Introduction to the ATLAS Model Management Architecture, Research Report LINA, 2005.

K. Schewe and B. Thalheim, Towards a theory of consistency enforcement, Acta Informatica, vol.36, issue.2, pp.97-141, 1999.
DOI : 10.1007/s002360050155

S. Link, Consistency Enforcement in Databases, pp.201-213, 2003.
DOI : 10.1007/3-540-36596-6_8

J. A. Pastor and A. Olivé, Supporting transaction design in conceptual modelling of information systems, Proc. of Advanced Information Systems Engineering, pp.40-53, 1995.

S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca, Automatic generation of production rules for integrity maintenance, ACM Transactions on Database Systems, vol.19, issue.3, pp.367-422, 1994.
DOI : 10.1145/185827.185828

J. Ceri and . Widom, Deriving Production Rules for Constraint Maintenance, Proc. VLDB, pp.566-577, 1990.

R. Laleau and F. Polack, Specification of integrity-preserving operations in information systems by using a formal UML-based language, Information and Software Technology, vol.43, issue.12, pp.693-704, 2001.
DOI : 10.1016/S0950-5849(01)00178-1
URL : https://hal.archives-ouvertes.fr/hal-01224674

G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhrrichter et al., Conceptual modelling of database applications using an extended ER model, Data & Knowledge Engineering, vol.9, issue.2, pp.157-204, 1992.
DOI : 10.1016/0169-023X(92)90008-Y

D. Costal, M. Sancho, A. Olivé, and A. Roselló, The role of structural events in behaviour specification, Proc. of DEXA'97, pp.673-686, 1997.
DOI : 10.1007/BFb0022075

J. Welch, D. Faitelson, and J. Davies, Automatic maintenance of association invariants, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2008.
DOI : 10.1109/SEFM.2005.9

Y. Ledru, Idenitfying pre-conditions with the Z/EVES theorem prover, Proc. of the 13th International Conf. on Automated Software Engineering, 1998.

D. Costal, C. Gómez, A. Queralt, and E. Teniente, Drawing Preconditions of Operation Contracts from Conceptual Schemas, Proc. Of the Advanced Information Systems Engineering (CAiSE'08), 2008.
DOI : 10.1007/978-3-540-69534-9_22

O. Pastor, E. Insfrán, V. Pelechano, J. Romero, and J. Merseguer, OO-Method: An OO software production environment combining conventional and formal methods, Proc. of the 9th International Edition on Advanced Information Systems Engineering (CAiSE '97), pp.145-158, 1997.
DOI : 10.1007/3-540-63107-0_11

J. Cabot, R. Clarisó, and D. Riera, UMLtoCSP, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, 2007.
DOI : 10.1145/1321631.1321737

M. Albert, Tratamiento de Asociaciones en Entornos de Producción Automática de Código

A. J. Mcallister and D. Sharpe, An approach for decomposing N-ary data relationships, Software: Practice and Experience, vol.28, issue.2, pp.125-154, 1998.
DOI : 10.1002/(SICI)1097-024X(199802)28:2<125::AID-SPE146>3.3.CO;2-Y

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 2005.

S. Cook and J. Daniels, Designing Objects Systems. Object-Oriented Modelling with Syntropy, 1994.

D. F. Souza and A. C. Wills, Catalysis-Objects, Components and Frameworks with UML, 1998.

D. Firesmith, B. Henderson-sellers, and I. Graham, The OML Reference Manual, SIGS Books, 1997.

F. Civello, Roles for composite objects in object-oriented analysis and design, ACM SIGPLAN Notices, vol.28, issue.10, pp.376-393, 1993.
DOI : 10.1145/167962.165929

B. Henderson-sellers and F. Barbier, What is this thing called aggregation?, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)
DOI : 10.1109/TOOLS.1999.779016

J. J. Odell, Six different kinds of composition, In: Journal of Object Oriented Programming (JOOP), vol.5, issue.8, pp.10-15, 1994.

A. L. Opdahl, B. Henderson-sellers, and F. Barbier, Ontological analysis of whole???part relationships in OO-models, Information and Software Technology, vol.43, issue.6, pp.387-399, 2001.
DOI : 10.1016/S0950-5849(00)00175-0

Y. Wand, V. C. Storey, and R. Weber, An ontological analysis of the relationship construct in conceptual modeling, ACM Transactions on Database Systems, vol.24, issue.4, pp.494-528, 1999.
DOI : 10.1145/331983.331989

D. Milicév, On the Semantics of Associations and Association Ends in UML, IEEE Transactions on Software Engineering, vol.33, issue.4, 2007.
DOI : 10.1109/TSE.2007.37

J. Cabot, Incremental integrity checking of UML/OCL conceptual schemas, Journal of Systems and Software, vol.82, issue.9, 2006.
DOI : 10.1016/j.jss.2009.03.009

B. Hetzel, The complete guide to software testing, QED Information Sciences, 1988.

P. Giner and V. Pelechano, Test-Driven Development of Model Transformations, Proc. of Model Driven Engineering Languages and Systems (Models'09), pp.748-752, 2009.
DOI : 10.1016/j.entcs.2008.04.031

A. Tort, OsCommerce conceptual schema, UPC, 2007.

R. Raventós, A conceptual schema for a conference management application, UPC, 2005.

S. Sendall and A. Strohmeier, From Use Cases to System Operation Specifications, Proc. of «UML» 2000 ? the Unified Modeling Language, pp.1-15, 2000.
DOI : 10.1007/3-540-40011-7_1

D. Akehurst, G. Howells, and K. Mcdonald-maier, Implementing associations: UML 2, In: Software and Systems Modeling, vol.5, issue.61, 2006.
DOI : 10.1007/s10270-006-0020-1

F. S. Parreiras and S. Staab, Using ontologies with UML class-based modeling: The TwoUse approach, Data & Knowledge Engineering, vol.69, issue.11, pp.1194-1207, 2010.
DOI : 10.1016/j.datak.2010.07.009

I. Reinhartz-berger, Towards automatization of domain modeling, Data & Knowledge Engineering, vol.69, issue.5, pp.491-515, 2010.
DOI : 10.1016/j.datak.2010.01.002

E. Planas, J. Cabot, and C. Gómez, Verifying Action Semantics Specifications in UML Behavioral Models, Proc. Of the Advanced Information Systems Engineering (CAiSE'09), 2009.
DOI : 10.1007/978-3-540-45221-8_28