peperunas/swing2
1
0
Fork 0
Code Issues 3 Pull Requests Releases Wiki Activity

RASD done

Browse Source
This commit is contained in:
Giulio De Pasquale 2017-01-22 23:00:37 +01:00
parent 77b4909bd2
commit 0e439963fd
6 changed files with 111 additions and 59 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

169
1.RASD/RASD.lyx
View File

@ -519,14 +519,14 @@ Revision History
\begin_layout Standard
\align center
\begin_inset Tabular
<lyxtabular version="3" rows="4" columns="4">
<lyxtabular version="3" rows="5" columns="4">
<features tabularvalignment="middle" tabularwidth="80page%">
<column alignment="center" valignment="top" width="0pt">
<column alignment="center" valignment="top">
<column alignment="center" valignment="top" width="30col%">
<column alignment="center" valignment="top" width="40col%">
<row>
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
<column alignment="center" valignment="middle" width="0pt">
<column alignment="center" valignment="middle" width="0pt">
<column alignment="center" valignment="middle" width="30col%">
<column alignment="center" valignment="middle" width="40col%">
<row topspace="2pt" bottomspace="2pt">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -535,7 +535,7 @@ Version
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -544,7 +544,7 @@ Date
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -553,7 +553,7 @@ Author(s)
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -563,8 +563,54 @@ Summary
\end_inset
</cell>
</row>
<row>
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
<row topspace="2pt" bottomspace="2pt">
<cell alignment="center" valignment="top" topline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
1.3
\end_layout
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
22/01/2017
\end_layout
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
Giancarlo Colaci
\begin_inset Newline newline
\end_inset
Giulio De Pasquale
\begin_inset Newline newline
\end_inset
Francesco Rinaldi
\end_layout
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
Updated Alloy
\end_layout
\end_inset
</cell>
</row>
<row topspace="2pt" bottomspace="2pt">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -573,7 +619,7 @@ Summary
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -582,16 +628,24 @@ Summary
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
Giancarlo Colaci, Giulio De Pasquale, Francesco Rinaldi
Giancarlo Colaci
\begin_inset Newline newline
\end_inset
Giulio De Pasquale
\begin_inset Newline newline
\end_inset
Francesco Rinaldi
\end_layout
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -601,8 +655,8 @@ Name refactoring, updated Class Diagram
\end_inset
</cell>
</row>
<row>
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
<row topspace="2pt" bottomspace="2pt">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -611,7 +665,7 @@ Name refactoring, updated Class Diagram
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -620,16 +674,24 @@ Name refactoring, updated Class Diagram
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
Giancarlo Colaci, Giulio De Pasquale, Francesco Rinaldi
Giancarlo Colaci
\begin_inset Newline newline
\end_inset
Giulio De Pasquale
\begin_inset Newline newline
\end_inset
Francesco Rinaldi
\end_layout
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
<cell alignment="center" valignment="top" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -639,8 +701,8 @@ Further details, new functional requirement
\end_inset
</cell>
</row>
<row>
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
<row topspace="2pt" bottomspace="2pt">
<cell alignment="center" valignment="top" bottomline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -649,7 +711,7 @@ Further details, new functional requirement
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
<cell alignment="center" valignment="top" bottomline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -658,16 +720,24 @@ Further details, new functional requirement
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
<cell alignment="center" valignment="top" bottomline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
Giancarlo Colaci, Giulio De Pasquale, Francesco Rinaldi
Giancarlo Colaci
\begin_inset Newline newline
\end_inset
Giulio De Pasquale
\begin_inset Newline newline
\end_inset
Francesco Rinaldi
\end_layout
\end_inset
</cell>
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
<cell alignment="center" valignment="top" bottomline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
@ -682,28 +752,6 @@ Initial Release
\end_inset
\end_layout
\begin_layout Subsubsection
Version 1.1 Changelog
\end_layout
\begin_layout Standard
While writing the Design Document, we found necessary to make some modifications
to the RASD.
This is why we wrote the second version of the document.
Here there are the updates we did:
\end_layout
\begin_layout Itemize
In the previous RASD we didn't specify that the Customer Service is an outsource
d service, and so in this document and in the following documents we won't
implement it;
\end_layout
\begin_layout Itemize
We introduced a new functional requirement: modify the profile information.
\end_layout
\begin_layout Subsection
@ -5429,9 +5477,10 @@ Here are presented three generated worlds, according to the model specified
\end_layout
\begin_layout Standard
\begin_inset External
template PDFPages
filename res/img/alloy_mondo_1.pdf
\align center
\begin_inset Graphics
filename res/img/world1.png
height 100theight%
rotateAngle 90
\end_inset
@ -5447,9 +5496,10 @@ Here are presented three generated worlds, according to the model specified
\end_layout
\begin_layout Standard
\begin_inset External
template PDFPages
filename res/img/alloy_mondo_3.pdf
\align center
\begin_inset Graphics
filename res/img/world2.png
height 100theight%
rotateAngle 90
\end_inset
@ -5465,9 +5515,10 @@ Here are presented three generated worlds, according to the model specified
\end_layout
\begin_layout Standard
\begin_inset External
template PDFPages
filename res/img/alloy_mondo_2.pdf
\align center
\begin_inset Graphics
filename res/img/world3.png
height 100theight%
rotateAngle 90
\end_inset

1
1.RASD/res/alloy/AlloyPowerEnjoy.als
View File

@ -219,6 +219,7 @@ fact noEarlyRent {
ren.startTime >= res.endTime
)
}
// No Cities with the same ID
fact noDuplicatedCities {
no c1 , c2 : City | c1.id = c2.id and c1 != c2

BIN
1.RASD/res/img/alloy_PROVA.pdf
View File

Binary file not shown.

BIN
1.RASD/res/img/alloy_mondo_1.pdf
View File

Binary file not shown.

BIN
1.RASD/res/img/alloy_mondo_2.pdf
View File

Binary file not shown.

BIN
1.RASD/res/img/alloy_mondo_3.pdf
View File

Binary file not shown.