\relax 
\citation{MDA}
\citation{Jackson2006}
\citation{OCLSpecification}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\newlabel{intro}{{1}{1}}
\citation{Anastasakis2008,Anastasakis2009}
\citation{Jackson2006}
\citation{Jackson2006}
\@writefile{toc}{\contentsline {section}{\numberline {2}Alloy}{2}}
\newlabel{Alloy}{{2}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Address book example}}{2}}
\newlabel{address}{{1}{2}}
\citation{Brucker2008}
\citation{Gogolla2005}
\citation{Anastasakis2008,Anastasakis2009}
\citation{Demuth2001}
\citation{Dresden}
\citation{OCL4Java}
\citation{Anastasakis2008,Anastasakis2009}
\citation{Massoni2005a}
\citation{Anastasakis2007b,Anastasakis2008,Anastasakis2009}
\citation{Massoni2005a,Anastasakis2009}
\citation{Geri2010}
\citation{Mostefaoui2007}
\citation{Braga2010}
\citation{Geri2010,Mostefaoui2007,Braga2010}
\citation{Massoni2005a,Anastasakis2007b,Anastasakis2008}
\@writefile{toc}{\contentsline {section}{\numberline {3}Alloy and UML+OCL integration in MDE}{3}}
\newlabel{Problem}{{3}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Related Work}{3}}
\citation{Shah2009}
\citation{Anastasakis2009}
\citation{Jackson2006}
\citation{UMLSuperstructure}
\citation{OCLSpecification}
\citation{Vaziri00,Massoni2005a,Anastasakis2008,Anastasakis2009}
\@writefile{toc}{\contentsline {section}{\numberline {4}Model transformation from Alloy to UML Class Diagram and OCL}{4}}
\newlabel{Propose}{{4}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Characterizing target and source models }{4}}
\citation{Vaziri00,Massoni2005a,Anastasakis2008,Anastasakis2009}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Part of Alloy$^{UML}$ EBNF grammar}}{5}}
\newlabel{AlloyUML}{{2}{5}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Correspondence between elements of Alloy and UML Class Diagram metamodel}}{5}}
\newlabel{TableAlloy-UML}{{1}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}From Alloy to UML class diagrams}{5}}
\citation{Baar2003}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Correspondence between Alloy {\em  mult} and UML MultiplicityElement}}{6}}
\newlabel{TableMult}{{2}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}From Alloy to OCL}{6}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Translation of Alloy$^{UML}$ expressions}}{6}}
\newlabel{expr}{{3}{6}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.1}Expressions}{6}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Translation of Alloy constraints}}{7}}
\newlabel{constraint}{{4}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.2}Constraints}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.3}Fact, function and predicate declarations}{7}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Translation of fact, function and predicate declarations}}{7}}
\newlabel{decl}{{5}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.3.4}Address book case study}{7}}
\bibstyle{spphys}
\bibdata{ref}
\bibcite{MDA}{1}
\bibcite{Jackson2006}{2}
\bibcite{OCLSpecification}{3}
\bibcite{Anastasakis2008}{4}
\bibcite{Anastasakis2009}{5}
\bibcite{Brucker2008}{6}
\bibcite{Gogolla2005}{7}
\bibcite{Demuth2001}{8}
\bibcite{Dresden}{9}
\bibcite{OCL4Java}{10}
\bibcite{Massoni2005a}{11}
\bibcite{Anastasakis2007b}{12}
\bibcite{Geri2010}{13}
\bibcite{Mostefaoui2007}{14}
\bibcite{Braga2010}{15}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces UML class diagram corresponding to Address Book example}}{8}}
\newlabel{UML-address}{{6}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces OCL specifications of the Address Book example}}{8}}
\newlabel{OCL-address}{{7}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Simplified OCL specifications of the Address Book example}}{8}}
\newlabel{OCL-simple}{{8}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Concluding remarks and future work}{8}}
\newlabel{Conclusion}{{5}{8}}
\bibcite{Shah2009}{16}
\bibcite{Near2010}{17}
\bibcite{UMLSuperstructure}{18}
\bibcite{Vaziri00}{19}
\bibcite{Baar2003}{20}