REQUIREMENTS
------------
The User must be able to create and read a Project, identified by a name
The User must be able to delete a Project
The User must be able to delete a Virtual Environment
The User must be able to create a Virtual Machine, identified by an id given CPU power and HD dimension
The User must be able to delete a Virtual Machine
The User must be able to search a Virtual Machine given CPU power, HD dimension and id
The User must be able to update a Virtual Machine
The System must be able to commit the operation on the Virtual Environment on the Virtual Infrastructure
The User must be able to create and read a Virtual Machine
The User must be able to create, read, update and delete a software identified by a id, a name and a version
The User must be able to create and a Virtual Environment identified by an id and a type
The User must be able to log by an account with username and password
The User must be able to create, read and delete an account
------------

ANNOTATIONS
------------
1:R1	ActsOn 1:T1 1:T2
1:R2	IsActorOf 1:T3 1:T1
1:R3	ActsOn 1:T4 1:T2
1:R4	IsActorOf 1:T3 1:T4
1:T1	Action 25 31	create
1:T2	Object 43 50	Project
1:T3	Actor 4 8	User
1:T4	Action 36 40	read
2:R1	ActsOn 2:T1 2:T2
2:R2	IsActorOf 2:T3 2:T1
2:T1	Action 25 31	delete
2:T2	Object 34 41	Project
2:T3	Actor 4 8	User
3:R1	ActsOn 3:T1 3:T2
3:R2	IsActorOf 3:T3 3:T1
3:R3	ActsOn 3:T1 3:T4
3:R4	HasProperty 3:T4 3:T2
3:T1	Action 25 31	delete
3:T2	Object 34 41	Virtual
3:T3	Actor 4 8	User
3:T4	Object 42 53	Environment
4:R1	IsActorOf 4:T2 4:T1
4:R2	ActsOn 4:T1 4:T3
4:R3	ActsOn 4:T1 4:T4
4:R4	HasProperty 4:T4 4:T3
4:R5	HasProperty 4:T6 4:T7
4:R6	HasProperty 4:T8 4:T9
4:T1	Action 25 31	create
4:T2	Actor 4 8	User
4:T3	Object 34 41	Virtual
4:T4	Object 42 49	Machine
4:T5	Object 68 70	id
4:T6	Object 81 86	power
4:T7	Property 77 80	CPU
4:T8	Object 94 103	dimension
4:T9	Property 91 93	HD
5:R1	ActsOn 5:T1 5:T2
5:R2	IsActorOf 5:T3 5:T1
5:R3	ActsOn 5:T1 5:T4
5:R4	HasProperty 5:T2 5:T4
5:T1	Action 25 31	delete
5:T2	Object 42 49	Machine
5:T3	Actor 4 8	User
5:T4	Object 34 41	Virtual
6:R1	ActsOn 6:T1 6:T2
6:R2	ActsOn 6:T1 6:T3
6:R3	IsActorOf 6:T4 6:T1
6:R4	HasProperty 6:T2 6:T5
6:R5	HasProperty 6:T2 6:T6
6:R6	HasProperty 6:T7 6:T8
6:R7	ActsOn 6:T9 6:T2
6:T1	Action 25 31	search
6:T2	Object 60 65	power
6:T3	Object 42 49	Machine
6:T4	Actor 4 8	User
6:T5	Property 50 55	given
6:T6	Property 56 59	CPU
6:T7	Object 70 79	dimension
6:T8	Property 67 69	HD
6:T9	Action 84 86	id
7:R1	IsActorOf 7:T2 7:T1
7:R2	ActsOn 7:T1 7:T3
7:R3	ActsOn 7:T1 7:T4
7:R4	HasProperty 7:T4 7:T3
7:T1	Action 25 31	update
7:T2	Actor 4 8	User
7:T3	Object 34 41	Virtual
7:T4	Object 42 49	Machine
8:R1	ActsOn 8:T1 8:T2
8:R2	IsActorOf 8:T3 8:T1
8:T1	Action 27 33	commit
8:T2	Object 38 47	operation
8:T3	Actor 4 10	System
9:R1	IsActorOf 9:T2 9:T1
9:R2	ActsOn 9:T3 9:T4
9:R3	IsActorOf 9:T2 9:T3
9:R4	HasProperty 9:T4 9:T5
9:T1	Action 25 31	create
9:T2	Actor 4 8	User
9:T3	Action 36 40	read
9:T4	Object 51 58	Machine
9:T5	Property 43 50	Virtual
10:R1	ActsOn 10:T1 10:T2
10:R2	IsActorOf 10:T3 10:T1
10:R3	ActsOn 10:T4 10:T2
10:R4	IsActorOf 10:T3 10:T4
10:R5	ActsOn 10:T6 10:T2
10:R6	IsActorOf 10:T3 10:T6
10:R7	HasProperty 10:T2 10:T7
10:T1	Action 25 31	create
10:T2	Object 59 67	software
10:T3	Actor 4 8	User
10:T4	Action 33 37	read
10:T5	Action 39 45	update
10:T6	Action 50 56	delete
10:T7	Property 68 78	identified
10:T8	Object 84 86	id
10:T9	Object 101 108	version
11:R1	IsActorOf 11:T2 11:T1
11:R2	HasProperty 11:T3 11:T4
11:T1	Action 25 31	create
11:T2	Actor 4 8	User
11:T3	Object 46 57	Environment
11:T4	Property 38 45	Virtual
11:T5	Object 84 88	type
12:R1	IsActorOf 12:T2 12:T1
12:R2	ActsOn 12:T1 12:T3
12:R3	ActsOn 12:T1 12:T4
12:T1	Action 25 28	log
12:T2	Actor 4 8	User
12:T3	Object 48 56	username
12:T4	Object 35 42	account
13:R1	IsActorOf 13:T2 13:T1
13:R2	ActsOn 13:T1 13:T3
13:R3	IsActorOf 13:T2 13:T4
13:R4	ActsOn 13:T4 13:T3
13:R5	IsActorOf 13:T2 13:T5
13:R6	ActsOn 13:T5 13:T3
13:T1	Action 25 31	create
13:T2	Actor 4 8	User
13:T3	Object 52 59	account
13:T4	Action 33 37	read
13:T5	Action 42 48	delete
1:T5	Property 68 72	name
------------
