Estat d'un model (Fitxa)

Estat d’un model 0010-0020-0010 Estat d’un model Febrer de 2015 Tot model ´ es estable en les abstraccions iinestable en les realitzacions. El conjunt de realitzacions existents en un moment determinat s´ on l’estat del model considerat. • Un model descriu l’entorn de treball • Les abstraccions descriuen els tipus d’elements presents i les seves propietats • Les realitzacions expressen com es realitza en cada moment la potencialitat expressada pel model • L’estat d’un model ´ es el conjunt realitzacions presents en un moment determinat, i les propietats d’aquestes realitzacions list text Exemple 1. Abstraccions i realitzacions en un model Tot albar` aes correspon a un client, i aquest ´ es ´ unic En el nostre model hi ha albarans, representats per l’abstracci´ o Albar` a; i clients representats per l’abstracci´ oClient. L’asserci´ o diu que hi ha algun tipus de lligam entre Albar` ai Client, obligat i monoavaluat per l’extrem del Client. El que no ens diu ´ es quins clients ialbarans tenim en cada moment. Aix` o ens ho diu l’estat del model. Josep M. Merenciano 1 EPSEVG-UPC Estat d’un model 0010-0020-0010 list text Exemple 2. Varibilitat i invariabilitat d’un model 1. Especificaci´o Model conceptual Invariable: Conceptes i interrelacions Variable: Entitats, enllac¸os Model de comportament Invariable: Casos d’´ us i esdeveniments de sistema Variable: Quan, qui, i en quin context i estat concret s’executa cada cas d’´ us 2. Disseny Model de components Invariable: Components i depend` encies Variable: Objectes, enllac¸os dirigits Model de comportament Invariable: Casos d’´ us i esdeveniments de sistema Variable: Quan, qui, i en quin context i estat concret s’executa cada cas d’´ us 3. Implementaci´o Model d’estructura Invariable: Diagrama de classes Variable: Inst` ancies, refer` encies, ... Model de comportament Invariable: Codi,variables,... Variable: Comptador de programa, valor de les variables,... Josep M. Merenciano 2 EPSEVG-UPC