This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=latex 2011.4.24)  26 APR 2011 12:23
entering extended mode
 %&-line parsing enabled.
**\input AlloyUML.tex
(./AlloyUML.tex (/usr/share/texmf-texlive/tex/latex/base/fix-cm.sty
Package: fix-cm 2006/09/13 v1.1m fixes to LaTeX

(/usr/share/texmf-texlive/tex/latex/base/ts1enc.def
File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
)) (./svjour3.cls
Document Class: svjour3 2007/05/08 v3.2 
LaTeX document class for Springer journals
(/usr/share/texmf-texlive/tex/latex/base/fleqn.clo
File: fleqn.clo 1998/08/17 v1.1c Standard LaTeX option (flush left equations)
\mathindent=\dimen102
)
Class Springer-SVJour3 Info: extra/valid Springer sub-package (-> *.clo) 
(Springer-SVJour3)           not found in option list of \documentclass
(Springer-SVJour3)           - autoactivating "global" style.
 (./svglov3.clo
File: svglov3.clo 2006/02/03 v3.1 style option for standardised journals

SVJour Class option: svglov3.clo for standardised journals
)
LaTeX Font Info:    Redeclaring math symbol \Gamma on input line 147.
LaTeX Font Info:    Redeclaring math symbol \Delta on input line 148.
LaTeX Font Info:    Redeclaring math symbol \Theta on input line 149.
LaTeX Font Info:    Redeclaring math symbol \Lambda on input line 150.
LaTeX Font Info:    Redeclaring math symbol \Xi on input line 151.
LaTeX Font Info:    Redeclaring math symbol \Pi on input line 152.
LaTeX Font Info:    Redeclaring math symbol \Sigma on input line 153.
LaTeX Font Info:    Redeclaring math symbol \Upsilon on input line 154.
LaTeX Font Info:    Redeclaring math symbol \Phi on input line 155.
LaTeX Font Info:    Redeclaring math symbol \Psi on input line 156.
LaTeX Font Info:    Redeclaring math symbol \Omega on input line 157.
\logodepth=\dimen103
\headerboxheight=\dimen104
\betweenumberspace=\dimen105
\aftertext=\dimen106
\headlineindent=\dimen107
\c@inst=\count79
\c@auth=\count80
\instindent=\dimen108
\authrun=\box26
\authorrunning=\toks14
\titrun=\box27
\titlerunning=\toks15
\combirun=\box28
\c@lastpage=\count81
\rubricwidth=\dimen109
\c@section=\count82
\c@subsection=\count83
\c@subsubsection=\count84
\c@paragraph=\count85
\c@subparagraph=\count86
\spthmsep=\dimen110
\c@theorem=\count87
\c@case=\count88
\c@conjecture=\count89
\c@corollary=\count90
\c@definition=\count91
\c@example=\count92
\c@exercise=\count93
\c@lemma=\count94
\c@note=\count95
\c@problem=\count96
\c@property=\count97
\c@proposition=\count98
\c@question=\count99
\c@solution=\count100
\c@remark=\count101
\c@figure=\count102
\c@table=\count103
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\figcapgap=\dimen111
\tabcapgap=\dimen112
\figgap=\dimen113
\bibindent=\dimen114
\@tempcntc=\count104
) (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks16
)
(/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf-texlive/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/etc/texmf/tex/latex/config/graphics.cfg
File: graphics.cfg 2009/08/28 v1.8 graphics configuration of TeX Live
)
Package graphics Info: Driver file: dvips.def on input line 91.

(/usr/share/texmf-texlive/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen115
\Gin@req@width=\dimen116
)
(/usr/share/texmf-texlive/tex/latex/stmaryrd/stmaryrd.sty
Package: stmaryrd 1994/03/03 St Mary's Road symbol package
\symstmry=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `stmry' in version `bold'
(Font)                  U/stmry/m/n --> U/stmry/b/n on input line 89.
) (./AlloyUML.aux)
\openout1 = `AlloyUML.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.
LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 23.
LaTeX Font Info:    ... okay on input line 23.

Unknown journal: specify \journalname{<name of your journal>} in preambel

SVJour3 warning: Missing \journalname
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 51.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 51.
LaTeX Font Info:    Try loading font information for U+stmry on input line 51.
(/usr/share/texmf-texlive/tex/latex/stmaryrd/Ustmry.fd)

LaTeX Font Warning: Font shape `U/stmry/b/n' undefined
(Font)              using `U/stmry/m/n' instead on input line 51.

LaTeX Font Info:    Calculating math sizes for size <8.5> on input line 51.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8.5> on input line 51.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5.94997> on input line 51.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <4.25> on input line 51.

LaTeX Font Warning: Font shape `U/stmry/m/n' in size <8.5> not available
(Font)              size <8> substituted on input line 51.


LaTeX Font Warning: Font shape `U/stmry/m/n' in size <4.25> not available
(Font)              size <5> substituted on input line 51.


Underfull \vbox (badness 4940) has occurred while \output is active []

 [1


]
Underfull \vbox (badness 1810) has occurred while \output is active []

 [2]
Overfull \hbox (5.28622pt too wide) in paragraph at lines 335--340
[]\OT1/cmr/m/n/10 Facts, pred-i-cates, func-tions and as-ser-tions also should
 []


Overfull \hbox (2.48067pt too wide) in paragraph at lines 437--449
[]\OT1/cmr/m/n/10 Massoni et al. also pro-pose a UML/OCL-Alloy trans-
 []


Overfull \hbox (7.70297pt too wide) in paragraph at lines 461--471
\OT1/cmr/m/n/10 eval-u-a-tion in a method-ol-ogy called Aspect-Oriented Risk-
 []


Overfull \hbox (0.31403pt too wide) in paragraph at lines 461--471
\OT1/cmr/m/n/10 de-scribes a pro-posal for Al-loy spec-i-fi-ca-tion from Aspect
-
 []

[3]
Overfull \hbox (0.11853pt too wide) in paragraph at lines 494--501
\OT1/cmr/m/n/10 from Al-loy to UML+OCL but elab-o-rates a deeper study
 []

LaTeX Font Info:    Try loading font information for OMS+cmr on input line 595.

(/usr/share/texmf-texlive/tex/latex/base/omscmr.fd
File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <8.5> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 595.

Underfull \hbox (badness 10000) in paragraph at lines 614--616

 []


LaTeX Font Warning: Command \boldmath invalid in math mode on input line 650.


LaTeX Font Warning: Command \mathversion invalid in math mode on input line 650
.


Underfull \hbox (badness 1577) in paragraph at lines 680--685
[]\OT1/cmr/m/n/8.5 predDecl ::= \OT1/cmr/bx/n/8.5 pred \OT1/cmr/m/n/8.5 pre-dId
 \OT1/cmr/bx/n/8.5 (\OT1/cmr/m/n/8.5 varId\OT1/cmr/bx/n/8.5 :\OT1/cmr/m/n/8.5 s
igId \OT1/cmr/bx/n/8.5 ,\OT1/cmr/m/n/8.5 decl$[]$,\OT1/cmr/bx/n/8.5 t,t'\OT1/cm
r/m/n/8.5 :sigId\OT1/cmr/bx/n/8.5 )
 []


Underfull \hbox (badness 10000) in paragraph at lines 680--685

 []


Underfull \hbox (badness 10000) in paragraph at lines 706--710

 []


Overfull \hbox (1.9529pt too wide) in paragraph at lines 724--735
[]\OT1/cmr/m/n/10 Declarations are mod-i-fied dis-tin-guish-ing be-tween Al-
 []


Overfull \hbox (3.04137pt too wide) in paragraph at lines 752--769
[]\OT1/cmr/m/n/10 It is im-por-tant to men-tion, Alloy$[]$ sub-set presents
 []


Underfull \vbox (badness 2828) has occurred while \output is active []

 [4]
Overfull \hbox (7.4251pt too wide) in paragraph at lines 925--936
[]\OT1/cmr/m/n/10 We know a dec-la-ra-tion set ex-pres-sion must be mapped
 []


Underfull \hbox (badness 10000) in paragraph at lines 925--936

 []

[5]

LaTeX Font Warning: Command \small invalid in math mode on input line 963.


LaTeX Font Warning: Command \small invalid in math mode on input line 963.


LaTeX Font Warning: Command \small invalid in math mode on input line 963.


LaTeX Font Warning: Command \small invalid in math mode on input line 964.


Underfull \hbox (badness 10000) in paragraph at lines 975--976

 []

[6]
File: addressBook.eps Graphic file (type eps)
 <addressBook.eps>
Underfull \hbox (badness 10000) in paragraph at lines 1423--1424

 []


Underfull \hbox (badness 10000) in paragraph at lines 1471--1472

 []

[7]
Overfull \hbox (0.7584pt too wide) in paragraph at lines 1497--1512
\OT1/cmr/m/n/10 and OCL. We have char-ac-ter-ized the Al-loy source model
 []


Overfull \hbox (8.81412pt too wide) in paragraph at lines 1497--1512
\OT1/cmr/m/n/10 trans-for-ma-tion. We have il-lus-trated our ap-proach through
 []


Underfull \vbox (badness 10000) has occurred while \output is active []


(./AlloyUML.bbl
Missing character: There is no « in font cmti8!
Missing character: There is no » in font cmti8!
Missing character: There is no — in font cmti8!

Underfull \hbox (badness 10000) in paragraph at lines 48--49
[]\OT1/cmr/m/n/8.5 Dresden web-site http://dresden-
 []

Missing character: There is no â in font cmr8!
Missing character: There is no € in font cmr8!
Missing character: There is no “ in font cmr8!

Underfull \hbox (badness 1412) in paragraph at lines 58--62
[]\OT1/cmr/m/n/8.5 K. Anas-tasakis, B. Bor-d-bar, G. Georg, I. Ray, in
 []

[8]) [9

] (./AlloyUML.aux)

LaTeX Font Warning: Size substitutions with differences
(Font)              up to 0.75pt have occurred.


LaTeX Font Warning: Some font shapes were not available, defaults substituted.

 ) 
Here is how much of TeX's memory you used:
 1471 strings out of 495062
 20784 string characters out of 1182644
 76908 words of memory out of 3000000
 4667 multiletter control sequences out of 15000+50000
 12505 words of font info for 45 fonts, out of 3000000 for 9000
 28 hyphenation exceptions out of 8191
 27i,8n,33p,213b,251s stack positions out of 5000i,500n,10000p,200000b,50000s

Output written on AlloyUML.dvi (9 pages, 58356 bytes).