• Nenhum resultado encontrado

Projeto de Estacionamento Java

N/A
N/A
Protected

Academic year: 2021

Share "Projeto de Estacionamento Java"

Copied!
15
0
0

Texto

(1)

Projeto Estacionamento Projeto Estacionamento

A empresa de Estacionam

A empresa de Estacionamento “Da Hora” contratou os seriços

ento “Da Hora” contratou os seriços de um consultor para

de um consultor para

desenoler o soft!are para controlar a

desenoler o soft!are para controlar a entrada e sa"da de carros.

entrada e sa"da de carros.

 #o in"cio do dia$ o

 #o in"cio do dia$ o operador atuali%a o

operador atuali%a o alor &ora do es

alor &ora do estacionamento. Es

tacionamento. Este alor &ora ' c&

te alor &ora ' c&eio

eio

 para carros$ ()* d

 para carros$ ()* de desconto pa

e desconto para moto e adição

ra moto e adição de ()* para utilit+rios.

de ()* para utilit+rios.

Ao entrar um carro$ o operador digitar+ a placa$ marca$ modelo e &ora entrada do carro$ o

Ao entrar um carro$ o operador digitar+ a placa$ marca$ modelo e &ora entrada do carro$ o

sistema deer+ propor a &ora de

sistema deer+ propor a &ora de entrada como a &ora atual$

entrada como a &ora atual$ mas pode ser mudada.

mas pode ser mudada.

Ao sair$ o operador digita a

Ao sair$ o operador digita a placa$ consulta$ o sistema deer+ deoler os dados do carro$

placa$ consulta$ o sistema deer+ deoler os dados do carro$

caso e,ista e propor a &ora atual como &ora sa"da.

caso e,ista e propor a &ora atual como &ora sa"da.

- operador tam'm pode erificar o faturamento por tipo de carro e total

- operador tam'm pode erificar o faturamento por tipo de carro e total do

do

estacionamento.

estacionamento.

Diagrama de Use Case Diagrama de Use Case

( / 0

(2)
(3)

Diagrama de Sequência

(4)

Implementando o Diagrama de Classe: Classe Veiculo 1. projeto.beans; ; 1. 1". 1#. tE - get(oraEntrada').split'/); 1$. t! - get(ora!aida').split'/); 2&.

21. %e - 0ouble.parse0ouble 'tE*&+); 22. me - 0ouble.parse0ouble 'tE*1+); 23. %s - 0ouble.parse0ouble 't!*&+); 24. ms - 0ouble.parse0ouble 't!*1+); 25. 2. totalEstacionamento -''''%s&)ms) ''%e&)me))&)'valor(oragetatorEstacionameto')); 2". 6 2#. 2$. 3&. 31. 6 32. 33. { 34. fatorEstacionameto  - fatorEstacionameto; 35. 3. 3". 3#. 3$. 4&. 41. 42. 43. 44. 45. 4. 4". 4#. 4$. 5&. 51. 52. ck ge 2. 3.  ublic 4. 5. . ". #. $. 1&. 11. 12. 13. 14. 15. cl ss Veiculo {

riv te double fatorEstacionameto placa; modelo; marca; %oraEntrada; %ora!aida; riv te !tring riv te !tring riv te !tring riv te !tring riv te !tring

riv te double totalEstacionamento;   ublic void calcularValor'

!tring*+ tE; !tring*+ t!;

double valor(ora){

  double %e,me,%s,ms;

  ublic double getatorEstacionameto') { ;

  return fatorEstacionameto

  ublic void  setatorEstacionameto'double  fatorEstacionameto)

  t%is.

6

  ublic !tring get7laca') {

  return placa; 6  set7laca'!tring placa) { placa - placa;   t%is. 6

  ublic !tring get8odelo') {

  return modelo;

6

  ublic void set8odelo'!tring modelo) { modelo - modelo;

  t%is.

(5)

53. 54. 55. 5. 5". 5#. 5$. &. 1. 2. ; 3. 4. 5. . ". #. $. "&. "1. "2. "3. "4. "5. ". "". "#. ; "$. #&. 6 Classe Carro 1. projeto.beans; 4. 5. . ". 6 #. $. 6 Classe Utilitário 1. projeto.beans; 6

) / 0 proiida a reprodução deste material sem a autori%ação do autor.

  ublic !tring get8arca') {

  return marca;

6

  ublic void set8arca'!tring marca) { marca - marca;

  t%is.

6

  ublic !tring get(oraEntrada') {   return %oraEntrada

6

  ublic void set(oraEntrada'!tring %oraEntrada) { %oraEntrada - %oraEntrada;

  t%is.

6

  ublic !tring get(ora!aida') { ;

  return %ora!aida

6

  ublic void set(ora!aida'!tring %ora!aida) { %ora!aida - %ora!aida;

  t%is.

6

  ublic double get9otalEstacionamento') {   return totalEstacionamento

6

ck ge 2.

3.  ublic cl ss :arro e;tends Veiculo {   ublic :arro') { setatorEstacionameto'1); ck ge 2. 3.  ublic 4. 5. . ". 6 #. $.

cl ss <tilitario e;tends Veiculo {   ublic <tilitario') {

(6)

Classe Moto 1. projeto.beans; Classe Estacionamento 1. projeto.beans; #. $. 1&. ; 11. 12. ; 13. 14. 15. 1. 6 1". 1#. 1$. 2&. 'Veiculo v/ ){ 21. 22. 23. 24. 25. 6 2. 2". 2#. 2$. 3&. veiculos.add'veiculo); 31. 32. 6 33. 34. 35. 3. 'veiculo 3". totalaturamento<tilitario  -ck ge 2. 3.  ublic 4. 5. . ". 6 #. 6

cl ss 8oto e;tends Veiculo {   ublic 8oto') {

setatorEstacionameto'&.#5);

ck ge 2.

3. im ort java.util.; 4.

5.  ublic .

".

cl ss Estacionamento { riv te double valor(ora;

riv te double totalaturamento:arro; ; riv te double totalaturamento8oto

riv te double totalaturamento<tilitario ;

riv te double totalaturamento riv te =rra>?ist@VeiculoA veiculos   ublic Estacionamento') {

veiculos - ne   =rra>?ist@VeiculoA');

  ublic Veiculo procurarVeiculo'!tring placa) { or t%is.veiculos 'v.get7laca').eCuals'placa)){  v; if   return 6   return 6 null;

  ublic void darEntrada'Veiculo veiculo) {

  t%is.

  ublic void dar!aida'Veiculo veiculo){ inst nceof 8oto)

totalaturamento8oto  -veiculo.get9otalEstacionamento');

3#.  'veiculo

3$.   else iftotalaturamento:arro  -inst nceof :arro) veiculo.get9otalEstacionamento');

4&. 41.

veiculo.get9otalEstacionamento');

(7)

42. 43. totalaturamento - veiculo.get9otalEstacionamento'); 44. 45. veiculos.remove'veiculo); 4. 4". 6 4#. 4$. 5&. ; 51. 52. 53. 54. 55. 5. 5". 5#. 5$. &. 1. 2. 3. 4. 5. . ; ". #. $. "&. "1. "2. "3. "4. 6

A interace com usuário

5 / 0 proiida a reprodução deste material sem a autori%ação do autor.

  t%is.

  ublic double getValor(ora') {

  return valor(ora

6

  ublic void setValor(ora'

valor(ora - valor(ora;double valor(ora) {

  t%is.

6

  ublic double get9otalaturamento:arro') { ;

  return totalaturamento:arro 6

  ublic double get9otalaturamento8oto') { ;

  return totalaturamento8oto 6

  ublic double get9otalaturamento<tilitario') {   return totalaturamento<tilitario

6

  ublic double get9otalaturamento') { ;

  return totalaturamento 6

(8)

Implementando a interace Classe !"ormEstacionamento 1.  projeto.gui; 15. 1. jpnl:entro; 1". jpnl!ul; 1#. 1$. rotulo1; 2&. rotulo2; 21. rotulo3; 22. rotulo4; 23. rotulo5; 24. rotulo; 25. rotulo"; 2. jlbl9otal; 2". 2#. ; 2$. 3&. jttValor(ora; 31. jtt7laca; 32. jtt(oraEntrada; 33. jtt(ora!aida; 34. jtt8odelo; 35. 3. 3". 3#. ; 3$. ; 4&. 41. ; 42. 43. 44. ; 45. ; 4.

4". marcas - {  :arros<tilitHrios, & ck ge

2.

3. im ort java.aBt.;

4. im ort java.aBt.event.; 5. im ort java.tet.;

.

". im ort java.sBing.; #.

$. im ort projeto.beans.; 1&. 11.   ublic cl ss DormEstacionamento =ction?istener{ 12. 13. 14.

e;tends Drame im lements

riv te ridFag:onstraints gbc; riv te D7anel riv te D7anel riv te D?abel riv te D?abel riv te D?abel riv te D?abel riv te D?abel riv te D?abel riv te D?abel riv te D?abel

riv te D:%eckFo jc%k<tilitario riv te D9etield

riv te D9etield riv te D9etield riv te D9etield riv te D9etield

riv te D:omboFo jcmb8arca; riv te DFutton jbtn?impar riv te DFutton jbtnEntrada riv te DFutton jbtn!aida;

riv te DFutton jbtnaturamento ;

 DFutton jbtn!air

riv te DFutton jbtn=tualiGar riv te DFutton jbtn:onsultar riv te !tring*+ 4#. =<0I, 4$. F8J, 5&. :(EVKL?E9, 51. :I9KLMN, 52. 0L0E, 53. I=9,

(9)

54. LK0, 55. (LN0=, 5. (O<N0=I, 5". PI=, 5#. ?=N0 KLVEK, 5$. 8EK:E0E!FENQ, &. 8I9!<FI!(I, 1. NI!!=N, 2. 7E<EL9, 3. KEN=<?9, 4. !<Q<PI, 5. 9LOL9=, . VL?P!J=EN, ". VL?VL, #. Lutros carros..., $.  8otos,22 "&. =K=?E, "1. =8=QLN=!, "2. =7KI?I=, "3. F8J, "4. F<E??, "5. :=IV=, ". :=?LI, "". 0=K=, "#. 0<:=9I, "$. =KINNI, #&. (=K?EO0=VI0!LN , #1. (LN0=, #2. P=!IN!PI, #3. P=J=!=PI, #4. P98, #5. 7I=IL, #. !<N0LJN, #". !<Q<PI, ##. 9KI<87(, #$. O=8=(=,

$&.  Lutras 8otos...

$1. 6; $2. $3. estacionamento; $4. $5. $. $". $#. (ora); $$.

1&&. set?a>out'  Forder?a>out')); 1&1.

1&2. jpnl:entro -  D7anel'  ridFag?a>out')); 1&3.

jpnl!ul -1&4.

1&5. rotulo1 -  D?abel'Valor (ora/); 1&. rotulo2  D?abel'7laca/);

1&".  D?abel'(ora Entrada/);

1&#.  D?abel'(ora !aRda/);

1&$.  D?abel'8arca/);

11&.  D?abel'8odelo/);

7 / 0 proiida a reprodução deste material sem a autori%ação do autor.

riv te Estacionamento   ublic DormEstacionamento') { su er'Estacionamento da eB ne ne eB D7anel' eB loB?a>out')); eB  - rotulo3 -rotulo4 eB eB  -rotulo5 - eB rotulo - eBeB

(10)

111. rotulo" -  D?abel'9otal a pagar/); 112. 113. jttValor(ora - D9etield'1&); 114. jtt7laca -115. 11. 11". 11#. 11$. jcmb8arca -  D:omboFo'marcas); 12&. 121. jc%k<tilitario -  D:%eckFo'<tilitHrio); 122. 123. jlbl9otal -  D?abel'&,&&); 124. 125. jbtn?impar -  DFutton'?impar); 12. jbtn=tualiGar -  DFutton'=tualiGar); 12". jbtn:onsultar  DFutton':onsultar); 12#. jbtnEntrada 12$. jbtn!aida ); 13&. ); 131. 132. 133. gbc - ridFag:onstraints'); 134. gbc. ?INES!9=K9 ; 135. gbc 13.

13".  =dicionando os componentes na coluna Gero do grid 13#. gbc.grid - &;

13$.

14&. gbc.grid> - &;

141. jpnl:entro.add'rotulo1,gbc); 142. 143. gbc.grid> - 1; 144. jpnl:entro.add'rotulo2,gbc); 145. 14. gbc.grid> - 2; 14". jpnl:entro.add'rotulo3,gbc); 14#. 14$. gbc.grid> - 3; 15&. jpnl:entro.add'rotulo4,gbc); 151.

152. =dicionando os componentes a coluna 1 do grid

153. gbc.grid - 1; 154. 155. gbc.grid> - &; 15. jpnl:entro.add'jttValor(ora,gbc); 15". 15#. gbc.grid> - 1; 15$. jpnl:entro.add'jtt7laca,gbc); 1&. 11. gbc.grid> - 2; 12. jpnl:entro.add'jtt(oraEntrada,gbc); 13. 14. gbc.grid> - 3; 15. jpnl:entro.add'jtt(ora!aida,gbc); 1.

1". =dicionando os componentes a coluna 2 do grid eB eB eB D9etield'1&); jtt(oraEntrada - D9etield'1&); jtt(ora!aida - jtt8odelo -ne eB D9etield'1&); D9etield'1&); ne eB ne eB ne eB  -eB eB DFutton'0ar Entrada);  DFutton'7agar e 0ar a !aRda

 DFutton'Verificar aturamento !air do !istema); eB jbtnaturamento -jbtn!air - ne  DFutton'ne eB anc%or - ridFag:onstraints. .insets - ne  Insets'5, 5, 5, 5);

(11)

1#. gbc.grid - 2; 1$.

1"&. gbc.grid> - &;

1"1. jpnl:entro.add'jbtn=tualiGar,gbc); 1"2. 1"3. gbc.grid> - 1; 1"4. jpnl:entro.add'jbtn:onsultar,gbc); 1"5. 1". gbc.grid> - 3; 1"". jpnl:entro.add'rotulo",gbc);

1"#. rotulo".setont'  ont'ont.0I=?L ,ont.7?=IN ,3&)); 1"$.

1#&. =dicionando os componentes a coluna 3 do grid

1#1. gbc.grid - 3; 1#2. 1#3. gbc.grid> - &; 1#4. jpnl:entro.add'rotulo5,gbc); 1#5. 1#. gbc.grid> - 1; 1#". jpnl:entro.add'rotulo,gbc); 1##.

1#$. =dicionando os componentes a coluna 4 do grid 1$&. gbc.grid - 4; 1$1. 1$2. gbc.grid> - &; 1$3. jpnl:entro.add'jcmb8arca,gbc); 1$4. 1$5. gbc.grid> - 1; 1$. jpnl:entro.add'jtt8odelo,gbc); 1$". 1$#. gbc.grid> - 2; 1$$. jpnl:entro.add'jc%k<tilitario,gbc); 2&&. 2&1. gbc.grid> - 3;

2&2. gbc.anc%or - ridFag:onstraints.?INESEN0 ; 2&3. jpnl:entro.add'jlbl9otal,gbc);

2&4. jlbl9otal.setont'rotulo".getont')); 2&5.

2&. estacionamento - Estacionamento'); 2&". 2&#. jcmb8arca.add=ction?istener' 2&$. jbtn=tualiGar.add=ction?istener' 21&. jbtn:onsultar.add=ction?istener' 211. jbtnEntrada.add=ction?istener' 212. jbtnaturamento 213. jbtn?impar 214. jbtn!aida 215. jbtn!air 21. 21". 21#. jpnl!ul.add'jbtn?impar); 21$. jpnl!ul.add'jbtnEntrada); 22&. jpnl!ul.add'jbtn!aida); 221. jpnl!ul.add'jbtnaturamento); 222. jpnl!ul.add'jbtn!air); 223. 224. mudarEstado'

(( / 0 proiida a reprodução deste material sem a autori%ação do autor.

eB ne t%is); t%is); t%is); t%is); .add=ction?istener' .add=ction?istener' .add=ction?istener' .add=ction?istener' t%is); t%is); t%is); t%is); true);

(12)

225.

22. add'jpnl:entro, Forder?a>out.:EN9EK ); 22". add'jpnl!ul,Forder?a>out.!L<9( ); 22#. set!iGe'#&&,25&); 22$. set0efault:loseLperation'Drame.ETI9SLNS:?L!E ); 23&. 6 231. 232. 233. 234. 235. 'jcmb8arca.get!electedInde') A 22){ 23. jc%k<tilitario.set!elected' 23". jc%k<tilitario.setEnabled' 23#. 6 23$. 24&. jc%k<tilitario.setEnabled' 241. 6 242. 243. 6 244. 'e.get!ource') -- jbtn=tualiGar){ 245. 24.

estacionamento.setValor(ora'0ouble.parse0ouble 'jttValor(ora.get9et'))); 24". DLption7ane.s%oB8essage0ialog '

atualiGado com sucessoU); 24#.

24$. 6

25&. 'e.get!ource') -- jbtnaturamento){ 251. 252. DLption7ane.s%oB8essage0ialog ' :arros/   253. 0ecimalormat' .get9otalaturamento:arro') )  254. Wn9otal de <tilitHrios/   255. 0ecimalormat' .get9otalaturamento<tilita rio'))  25. Wn9otal de 8otos/   25". 0ecimalormat',&.&&).format'estacionamento.get9otalaturamento8oto'))  25#. Wn9otal do Estacionamento/   25$. 0ecimalormat' .get9otalaturamento')) 2&. 21. 22. 6 23. 'e.get!ource') -- jbtn?impar){ 24. 25. limpa:ampos'); 2. mudarEstado' 2". 2#. 6 2$. 'e.get!ource') -- jbtnEntrada){

2"&.  opcao - jcmb8arca.get!electedInde');   ublic void action7erformed'=ctionEvent e){

'e.get!ource') -- jcmb8arca){ if f lse); f lse);   else{ true);   else if

null, Valor %ora

  else if null, 9otal de ,&.&&).format'estacionamento ,&.&&).format'estacionamento ,&.&&).format'estacionamento );   else if true);   else if in

(13)

2"1. Veiculo veiculo -2"2.

2"3.

2"4. 'opcao A & XX opcao @ 22){

2"5. 'Ujc%k<tilitario.is!elected')){ 2". veiculo -  :arro'); 2"". 6 2"#. 2"$. veiculo - <tilitario'); 2#&. 6 2#1. 6 2#2. 'opcao A 22){ 2#3.  8oto'); 2#4. 2#5. 2#. DLption7ane.s%oB8essage0ialog ' !elecione uma marca vHlidaU);

2#". 6 2##. 2#$. 'jtt7laca.get9et').isEmpt>') YY jtt8odelo YY 2$1. 6 2$2. 2$3. 'veiculo U-2$4. 2$5. veiculo.set8odelo' jtt8odelo.get9et')); 2$. veiculo.set7laca'jtt7laca.get9et')); 2$". veiculo.set8arca'jcmb8arca.get!electedItem').to!tring')); 2$#. veiculo.set(oraEntrada'jtt(oraEntrada.get9et')); 2$$. veiculo.set(ora!aida'jtt(ora!aida.get9et')); 3&&. estacionamento.darEntrada'veiculo); 3&1.

3&2. DLption7ane.s%oB8essage0ialog ' Entrada realiGada com sucessoU);

3&3. 3&4. limpa:ampos'); 3&5. mudarEstado' 3&. 3&". 6 3&#. 6 3&$. 31&. 6 311. 'e.get!ource') -- jbtn:onsultar){ 312.

313. !tring placa - jtt7laca.get9et'); 314.

315. Veiculo veic

-estacionamento.procurarVeiculo'placa);

(2 / 0 proiida a reprodução deste material sem a autori%ação do autor.

null; if if ne   else{ ne   else if veiculo -6 ne   else{ null, if .get9et').isEmpt>') YY jttValor(ora.get9et').isEmpt>') jtt(oraEntrada.get9et').isEmpt>')){

2$&. DLption7ane.s%oB8essage0ialog ' (ora7laca8odelo(ora Entrada nZo podem ser vaGiosU,

EKKL,DLption7ane.EKKLKS8E!!=E ); null, Valor   else{ if null){ null, true);   else if

(14)

31. 31". 'veic U-31#. 31$. jtt8odelo.set9et'veic.get8odelo')); 32&. jtt(oraEntrada.set9et'veic.get(oraEntrada')); 321. jcmb8arca.set!electedItem''Lbject)veic.get8arca')); 322. 323. 'veic  <tilitario){ 324. .set!elected' 325. 32. 32". jtt(ora!aida.set9et' !imple0ateormat'((/mm).format'!>stem.current9ime8illis '))); 32#. mudarEstado' 32$. 33&. 6 331. 332. DLption7ane.s%oB8essage0ialog ' nZo encontradoU); 333. jtt(oraEntrada.set9et' !imple0ateormat'((/mm).format'!>stem.current9ime8illis '))); 334. mudarEstado' 335. 6 33. 33". 6 33#. 'e.get!ource') -- jbtn!aida){ 33$.

34&. !tring placa - jtt7laca.get9et'); 341. 342. Veiculo veiculo -estacionamento.procurarVeiculo'placa); 343. 344. 'jtt(ora!aida.get9et').isEmpt>')){ 345. DLption7ane.s%oB8essage0ialog '

!aRda nZo pode ser vaGioU, EKKL,DLption7ane.EKKLKS8E!!=E 

34. 6 34". 34#. veiculo.set(ora!aida'jtt(ora!aida.get9et')); 34$. 35&. veiculo.calcularValor' estacionamento.getValor(ora')); 351. 352. 'veiculo.get9otalEstacionamento') A-& ){ 353. estacionamento.dar!aida'veiculo); 354. 355. jlbl9otal.set9et' 0ecimalormat',&.&& 35. 35". DLption7ane.s%oB8essage0ialog ' ec%amento efetuado com sucessoU);

35#. 35$. mudarEstado' 3&. 31. jbtnEntrada.setEnabled' if null){ if inst nceof jc%k<tilitario 6 true); eB f lse);   else{ null, Veiculo eB true);   else if if null, (ora );   else{ if ne ).format'veiculo.get9otalEstacionamento'))); null, true); f lse);

(15)

32. 6 33.

34. DLption7ane.s%oB8essage0ialog '

(ora !aRda menor Cue (ora EntradaU, EKKL,DLption7ane.EKKLKS8E!!=E 

35. 6 3. 3". 3#. 6 3$. 3"&. 6 3"1. 6 3"2. 3"3. 3"4. 3"5. 3". 3"". 3"#. 3"$. 3#&. 3#1. 3#2. 6 3#3. 3#4. 3#5. 3#. jbtn=tualiGar.setEnabled'estado); 3#". jbtn:onsultar.setEnabled'estado); 3##. jbtnEntrada.setEnabled'estado); 3#$. jbtn!aida.setEnabled'Uestado); 3$&. 3$1. jttValor(ora.setEnabled'estado); 3$2. jtt(oraEntrada.setEnabled'estado); 3$3. jtt(ora!aida.setEnabled'Uestado); 3$4. jtt8odelo.setEnabled'estado); 3$5. jtt7laca.setEnabled'estado); 3$. 3$". jcmb8arca.setEnabled'estado); 3$#. 3$$. jc%k<tilitario.setEnabled'estado); 4&&. 4&1. 4&2. 6 4&3. 6

() / 0 proiida a reprodução deste material sem a autori%ação do autor.

  else{

null, );

riv te void limpa:ampos') { jtt8odelo.set9et'); jcmb8arca.set!electedInde'&); jtt(oraEntrada.set9et'); jtt(ora!aida.set9et'); jtt7laca.set9et'); jc%k<tilitario.set!elected' jlbl9otal.set9et'&,&&); f lse );

Referências

Documentos relacionados

Promovido pelo Sindifisco Nacio- nal em parceria com o Mosap (Mo- vimento Nacional de Aposentados e Pensionistas), o Encontro ocorreu no dia 20 de março, data em que também

Neste tipo de situações, os valores da propriedade cuisine da classe Restaurant deixam de ser apenas “valores” sem semântica a apresentar (possivelmente) numa caixa

Posteriormente, em Junho de 1999, ingressei no grupo Efacec, onde fui responsável pela elaboração de projetos e propostas para a construção de Estações de Tratamento

nesta nossa modesta obra O sonho e os sonhos analisa- mos o sono e sua importância para o corpo e sobretudo para a alma que, nas horas de repouso da matéria, liberta-se parcialmente

No entanto, maiores lucros com publicidade e um crescimento no uso da plataforma em smartphones e tablets não serão suficientes para o mercado se a maior rede social do mundo

3.3 o Município tem caminhão da coleta seletiva, sendo orientado a providenciar a contratação direta da associação para o recolhimento dos resíduos recicláveis,

O valor da reputação dos pseudônimos é igual a 0,8 devido aos fal- sos positivos do mecanismo auxiliar, que acabam por fazer com que a reputação mesmo dos usuários que enviam

Our contributions are: a set of guidelines that provide meaning to the different modelling elements of SysML used during the design of systems; the individual formal semantics for