Què és un contracte? (Fitxa)

Qu` e´ es un contracte 0010-0020-0020 Qu`e ´es un contracte Febrer de 2015 Un contracte expressa el que fa una acci´ o o proc´ es. N’´ es la seva definici´ o. Estat d’un model (0010-0020-0010) L’execuci´ o d’una acci´ omodifica l’estat del sistema considerat Un contracte expressa com canvia l’estat del sistema com a resultat de l’execuci´ o d’una acci´ o. Contracte PRE/POST (0010-0020-0030) La forma m´ es simple de contracte ´ es el contracte PRE/POST • Tot contracte ha d’estar lligat a algun proc´ es o acci´ o • La majoria dels contractes que usarem estan lligats a un esdeveniment de sistema (ES) –Un ES ´ es una petici´ o externa. El contracte d’un ES defineix l’acci´ o que desencadena aquesta petici´ o. Josep M. Merenciano 1 EPSEVG-UPC Qu` e´ es un contracte 0010-0020-0020 list text Exemple 1. Anar a comprar la llet 1. Contracte El que pret´ en aquesta acci´ o´ es que a casa les exist` encies de llet augmentin. Evidentment aix` o no ´ es possible si no disposem d’un m` etode de pagament Diem qu` e s’aconsegueix, no pas qui ni com. No diem qui va comprar la llet, ni a quin supermercat, ni si paguem en efectiu o targeta. Aquests s´ on aspectes irrellevants pels nostres prop` osits: augmentar les exist` encies casolanes de llet. 2. Canvi d’estat Abans: • Una determinada quantitat de llet a casa. Siqui q aquesta quantitat • Una quantitat de diners disponibles. Siqui d aquesta quantitat Despr´ es: • Una determinada quantitat de llet a casa. Siqui q0 aquesta quantitat • Una quantitat de diners disponibles. Siqui d0 aquesta quantitat •q0> q •d0< d Josep M. Merenciano 2 EPSEVG-UPC Qu` e´ es un contracte 0010-0020-0020 list text Exemple 2. ES facturarPendents() 1. Contracte Tots els albarans que fins ara estaven pendents de facturar ara tenen una factura associada En executar la petici´ ofacturarPendents() tenim que les condicions abans i despr´ es d’aquesta execuci´ o varien. En el moment de fer la petici´ o hi pot haver albarans pendents de facturar; just despr´ es d’executar la petici´ o tots els albarans estan facturats. 2. Canvi d’estat Abans: • Hi ha albarans pendents de facturar Despr´ es: • Tot albar` a t´ e una factura associada Josep M. Merenciano 3 EPSEVG-UPC