Diagramas de Estados. Diagramas de Estados. ... Diagramas de Estados

Transcripción

1 Digrms de Estdos Digrms de Estdos 6.1. Digrms de estdos 6.2. Estdos ysuestdos 6.3. Eventos y trnsiciones Acciones 6.5. Digrms de ctividd 6.6. Aplicciones de los digrms de estdos Los Digrms de Estdos representn utómts de estdos finitos. Son útiles sólo pr los ojetos con un comportmiento significtivo El resto de ojetos se puede considerr que tienen un único estdo El formlismo utilizdo proviene de los Sttechrts (Hrel) Ingenierí del Softwre II 3º Gestión... Digrms de Estdos Digrms de Estdos Un digrm de estdo muestr l secuenci de estdos que un ojeto o un intercción pueden trvesr durnte su existenci en respuest los estímulos que vyn reciiendo, junto con ls correspondientes respuests y cciones. L ide ásic es definir un máquin que tiene un número determindo de estdos L máquin recie eventos del mundo exterior, y cd evento provoc que l máquin cmie de un estdo otro. Ejemplo de un Digrm de Estdos pr l clse Empledo: en el pro contrtr perder empleo juilrse juildo juilrse en ctivo 1

2 Digrms de Estdos Cd ojeto está en un estdo en cierto instnte El estdo está crcterizdo prcilmente por los vlores de los triutos del ojeto El estdo en el que se encuentr un ojeto determin su comportmiento Los digrms de Estdos y los escenrios son complementrios Los estdos están relciondos con l situción de los ojetos, en concreto el vlor de sus triutos y l presenci de enlces con otros ojetos: ctivo Digrms de estdos: Estdos en pro juildo Luis : Empledo Fs : Empres Jun : Empledo Crcterístics de los Digrms de Estdos Elementos de un digrm de Estdos Son utómts jerárquicos que permiten expresr concurrenci, sincronizción y jerrquís de ojetos Son grfos dirigidos Son determinists Los estdos inicil y finl están diferencidos del resto L trnsición entre estdos es instntáne y se dee l ocurrenci de un evento Estdos Suestdos Eventos Trnsiciones Acciones 2

3 Digrms de estdos: Estdos Digrms de estdos: Estdos Un estdo se represent medinte de un rectángulo con ls esquins redondeds, Puede tener de form opcionl uno o más comprtimientos. Nomre Trnsiciones interns Introduciendo el pssword entry/ desctivr el eco exit/ ctivr el eco do / mostrr crcteres help / mostrr yud Cundo se cre un ojeto, este se encuentr en el estdo inicil. Un ojeto que lleg su estdo finl desprece. Comprtimiento de Nomre: Se coloc el nomre del estdo, que será un String. Los estdo sin nomre son nónimos, y son distintos entre sí. Vrios símolos de estdo con nomre no vcío idéntico designn el mismo estdo, y se pueden utilizr pr evitr sorecrgr de línes el grfo. Digrms de estdos: Estdos Digrms de estdos: Estdos Comprtimiento de trnsiciones interns: Contiene un list de cciones interns o de ctividdes relizds mientrs los ojetos permnecen en un estdo. Ests tomn el siguiente formto: nomre-evento list-rgumentos '/' exp-cción Cd nomre de evento puede precer más de un vez en un único estdo. Comprtimiento de trnsiciones interns: Ls siguientes cciones especiles tienen el mismo formto pero utilizn plrs reservds: 'entry' '/' expresión de cción 'exit' '/' expresión de cción 'do' '/' expresión de cción l entrd de un estdo. l slid de un estdo. mientrs está en el estdo Ls expresiones de cción pueden utilizr triutos y enlces del ojeto l que pertenecen prámetros de trnsiciones de entrd 3

4 Digrms de estdos: Estdos Digrms de estdos: Estdos compuestos y Suestdos Mientrs el ojeto permnece en un determindo estdo se está ejecutndo un cción intern, l cul se puede interrumpir cus de eventos externos. L cción do se inici cundo se entr en el estdo y puede que termine por si mism o externmente por l slid hci otro estdo. Ls cciones do podrín ser su vez nuevs máquins de estdos nidds. En dición los comprtimentos de nomre y trnsiciones interns; cd estdo puede tener un comprtimiento que conteng un digrm niddo. Un estdo se puede refinr: trvés de relciones nd en suestdos concurrentes, utilizndo l relción or en suestdos mutumente excluyentes. Un estdo ddo sólo puede ser refindo de ests dos mners, sí como recursivmente sus suestdos. Digrms de estdos: Estdos compuestos y Suestdos Digrms de estdos: Estdos compuestos y Suestdos Mrcdo Comienzo dígito(n) Mrcdo prcil do/ esperr tono [número.es_correcto() ] entry / número.ñdir(n) ^mrcr_número(número) Un expnsión de un estdo nos muestr su estructur en detlle. Los estdos iniciles y finles se considern pseudoestdos, pues son más un rtificio notcionl que un elemento plenmente significtivo. dígito(n) 4

5 Digrms de estdos: Estdos compuestos y Suestdos Digrms de estdos: Estdos compuestos y Suestdos L expnsión de un estdo en suestdos concurrentes se indic trvés de un gráfico dividido en suregiones horizontles con línes discontinus. Cd un de ests suregiones puede tener un nomre opcionl y dee de contener un digrm de estdos niddo, con estdos disjuntos Asigntur en curso lo1 proyecto Exmen Finl Incomplet lo hecho proyecto hecho suspens superdo lo2 suspens lo hecho superd Ejemplo de suestdos concurrentes Digrms de estdos: Eventos Un evento es un suceso notle. En el ámito de los digrms de estdo, es un suceso que puede disprr un trnsición. Los eventos pueden ser de distintos tipos, no necesrimente excluyentes: Condición que se verific. Señl reciid de form explícit desde otro ojeto. Llmd de operción desde otro ojeto. Trnscurso de un período de tiempo Digrms de estdos: Eventos Señl reciid de form explícit desde otro ojeto. El reciimiento de un señl explícit de un ojeto otro Llevn el nomre de los disprdores de trnsiciones. Llmd de operción desde otro ojeto. Recepción de un llmd de operción por prte de otro ojeto. Se denotn por el nomre del disprdor de l trnsición. Condición que se verific. Un condición dd que se h verificdo, (normlmente descrit un expresión lógic). Estos eventos se denotn como condiciones de gurd en ls trnsiciones, y no se les d nomre. Trnscurso de un período de tiempo Trnscurso de un periodo de tiempo después de un evento ddo, (usulmente por l entrd el estdo en curso), o por l ocurrenci de un determind fech u hor. Ests expresiones se denotn tmién por el disprdor de l tr 5

6 Digrms de estdos: Eventos Digrms de estdos: Eventos L declrción de eventos tiene el lcnce del pquete en el que prece, y puede ser utilizd por clses que tienen visiilidd dentro del pquete. Ls señles y ls llmds se definen trvés del siguiente formto: nomre de evento '(' list de prámetros ) Donde el formto de los prámetros es: Señles como clsificdores: Los prámetros se indicn como triutos de l señl Se pueden orgnizr en jerrquís de señles Son síncrons nomre de prámetro ':' expresión de tipo Digrms de estdos: Eventos Digrms de estdos: Trnsición simple Un evento por trnscurso de un intervlo de tiempo, puede ser expresdo como un expresión que evlú en tiempo de modeldo dicho intervlo, como por ejemplo fter(5 segundos). Por defecto indic el tiempo trnscurrido en el estdo en curso. Otros eventos temporles podrín ser especificdos como condiciones, como por ejemplo when(dte=jn. 1, 2000). Un evento por verificción de un condición se represent trv condición sin evento y utilizndo when(). Un trnsición simple es un relción entre dos estdos, indicndo que un ojeto del primer estdo entrrá en el segundo estdo y reli cierts operciones cundo ocurr un evento ddo si determinds condiciones se cumplen. El disprdor de l trnsición es l ocurrenci del evento que etiquetndo l trnsición. El evento podrí tener prámetros, que se utilizrán en ls cciones especificds en l trnsición o en ls cciones inicids en el siguiente estdo. Los eventos se procesn de form exclusiv en cd momento, (nunc concurrentemente). Si un evento no disprr ningun trnsición, simplemente se ignor. 6

7 Digrms de estdos: Trnsición simple Digrms de Estdos Ls trnsiciones se representn por un flech sólid que v de un estdo otro, etiquetd por un string de trnsición con el siguiente formto: signtur del evento [ condición gurdián ] / expresión de cción L signtur del evento descrie el evento y sus rgumentos: nomre del evento ( prámetro,... ) Ls gurds permiten condicionr l trnsición: Evento[ condición ] L condición gurdián es un expresión lógic escrit en términos de los prámetros del evento disprdo, y de los triutos y enlces del ojeto l que pertenece l máquin de estdos. Digrms de estdos: Trnsición simple L expresión de cción es un expresión procedurl que se ejecut cundo l trnsición se dispr; est expresión se escrie en términos de operciones, triutos, y enlces del ojeto l que pertenecen, y de prámetros del evento disprdo. L cláusul de cción dee considerrse como un operdor tómico en el sentido de que no puede interrumpirse, y h de ejecutrse entermente ntes de que otrs cciones sen considerds. A trvés de delimitdores, un trnsición podrí contener vris cción. Digrms de estdos: Trnsiciones complejs Un trnsición generl puede tener múltiples estdos fuente y múltiples estdos destino. Represent un sincronizción de threds concurrentes trvés de rms nd/or. Cd uno de los threds no tendrín su vez suestdos concurrentes. [L cláusul de envío es un cso prticulr de cláusul de cción con el formto: expresión destino. nomre de evento destino ( rgumento. ] right-mouse-down(loction) [loction in window] / oject:=pick-oject(loction) ;oject.highlight() 7

8 Digrms de estdos: Trnsiciones complejs Acciones A1 A2 Podemos especificr l ejecución de un cción como consecuenci de l trnsición: Instlr B1 B2 Limpir Evento[ condición ] / cción Brrs de sincronizción Dich cción tmién se consider instntáne Acciones Acciones Podemos especificr el envío de un evento otro ojeto como consecuenci de l trnsición: Evento( rg1, rg2 )[ condición ] / otro_ojeto.evento(rg2) Se puede especificr el hcer un cción como consecuenci de entrr, slir o estr en un estdo: estdo A entry: cción por entrr exit: cción por slir do: cción mientrs en estdo 8

9 .. Acciones Actividdes Se puede especificr el hcer un cción cundo ocurre en dicho estdo un evento que no conllev slir del estdo: estdo A on evento_ctivdor( rg1 )[ condición ]: cción por evento Ls ctividdes son similres ls cciones pero tienen durción y se ejecutn dentro de un estdo del ojeto Ls ctividdes pueden interrumpirse en todo momento, cundo se desencden l operción de slid del estdo Actividdes Cundo un ctividd finliz se produce un trnsición utomátic de slid del estdo do: ctividd [ not condición ] Digrms de Estdos y de intercción L comunicción idireccionl puede representrse en un Digrm de Colorción: [ condición ] un ojeto 1: un pregunt 2: l respuest otro ojeto 9

10 Digrms de Estdos y de intercción Si l comunicción es síncron el cliente dee esperr l respuest. Con lo cul en el cliente tendrímos: plnter pregunt esper respuest reciir respuest c Generlizción de Estdos Podemos reducir l complejidd de estos digrms usndo l generlizción de estdos Distinguimos sí entre superestdo y suestdos Un estdo puede contener vrios suestdos disjuntos Los suestdos heredn ls vriles de estdo y ls trnsiciones externs Generlizción de Estdos Generlizción de Estdos Ejemplo: Quedrí como: e1 e1 e2 e2 c e2 c 10

11 Generlizción de Estdos Ls trnsiciones de entrd pueden ir suestdos específicos: e0 e1 e2 Generlizción de Estdos Es preferile tener estdos iniciles de entrd un nivel de mner que desde los niveles superiores no se sep qué suestdo se entr: e1 e2 e0 c c pero... Generlizción de Estdos Generlizción de Estdos Es posile ocultr los detlles de los suestdos: de un estdo prtir de vrios estdos independientes e0 c ojeto estrá en lguno de los estdos de cd uno de los suestdos concurrentes 11

12 Generlizción de Estdos Ejemplo: Historil Por defecto, los utómts no tienen memori e1 e1 Es posile memorizr el último suestdo visitdo pr recuperrlo en un trnsición entrnte en el superestdo que lo englo Historil Historil Ejemplo: yud cncel F1 x d2 d1 y culquier de los suestdos niddos (prece un * junto l H) h in out x d2 d1 y H* H 12

13 Historil Destrucción del Ojeto Ejemplo: Enjugue Lvdo Secdo L destrucción de un ojeto es efectiv cundo el flujo de control del utómt lcnz un estdo finl no niddo H Cerrr Arir Puert Cerrr Arir Puert L llegd un estdo finl niddo implic l suid l superestdo socido, no el fin del ojeto Esper Destrucción de Ojeto Trnsiciones temporizds Ejemplo: En vuelo despegr crsh terrizr Crer(mtricul) En tierr Ls espers son ctividdes que tienen socid ciert durción L ctividd de esper se interrumpe cundo el evento esperdo tiene lugr Este evento desencden un trnsición que permite slir del estdo que lerg l ctividd de esper. El flujo de control se trnsmite entonces otro estdo 13

14 Trnsiciones temporizds Trnsiciones temporizds Ejemplo: Si en 30 segundos no se introduce el dinero se termin l ctividd psndo nulr l trnscción. En culquier cso se cierr l rnur. / Arir rnur esperr dinero entry: Mostrr mensje do: Esperr 30 segundos exit: cerrr rnur nulr trnscción / Arir rnur esperr dinero entry: Mostrr mensje exit: cerrr rnur when (30 segundos) nulr trnscción Depósito efectudo Depósito efectudo Digrm de Actividdes...Digrm de Actividdes El Digrm de Actividdes es un vrinte de los Digrms de Estdos, orgnizdo respecto de ls cciones y principlmente destindo representr el comportmiento interno de un método (l relizción de un operción), de un cso de uso o de un proceso de negocio (Workflow) Un ctividd puede considerrse un estereotipo de estdo Ls ctividdes se enlzn por trnsiciones utomátics Cundo un ctividd termin se desencden el pso l siguiente ctividd Ls ctividdes no poseen trnsiciones interns ni trnsiciones desencdends por eventos 14

15 pedir sldo Sis Bnco Ejemplos [no hy cfé] [no zumo] Buscr Beid [hy cfé [hy zumo] Poner cfé en filtro Añdir gu l depósito Coger tz Poner filtro en máquin Coger zumo Encender máquin ^cfeter.on Cfé en preprción...ejemplos (con clles) Psjero Vendedor Airline Solicitr psje Seleccionr vuelo Verificr existenci vuelo Informr lterntivs y precios Solicitr pgo Reservr plzs Dr detlles vuelo indicdor de fin Servir cfé Beer Pgr psje Emitir illete Confirmr plz reservd Ejemplo de cjero utomático 1 Ejemplo de cjero utomático 2 scr dinero Scr dinero: 1. El usurio insert trjet y el sistem vlid l trjet y pide l contrseñ 2. El usurio tecle 4 dígitos de su c. y el sistem vlid l c. y solicit tipo de operción. Usurio trnsferir 3. El usurio solicit scr dinero de su c.c. El sistem solicit cntidd. 4. El usurio pide x pts. y el sistem comunic con el nco emisor pr compror los fondos y notr l trnscción. El sistem imprime el recio, dispens el dinero y solicit del usurio que retire el recio y el dinero 5. el usurio retir el dinero y el sistem lo detect y expuls l trjet. 15

16 Ejemplo de cjero utomático 3 Ejemplo de cjero utomático 4 : Sistem : Usurio : Sis Bnco insertr ienvenid entry: ^disply.mostrr_ienvenid trjet retird insertd( numero ) introducir contrseñ seleccionr tipo op esperndo PIN entry: ^disply.pedirpin PINtecledo( PIN )[ [error] ] PINtecledo( PIN )[ ok ] entreg dinero entry: entregrdinero entry: ^lector.expulsr_trjet introducir cntidd Opciones entry: ^disply.mostrr_opciones trnsccion[ ok ] compror suficiente sldo seleccionr "scr" retirr trjet when[ 30 seg ] ^ disply.mensje(máximo) Importe entry: ^disply.pedir_cntidd conexion nco entry: conectr(nco) entry: ^disply.mostrr_mensje("espere...conectndo") importe introducido ienvenid entry: ^disply.mostrr_ienvenid trjet retird Ejemplo de Lrmn: proceso de vent insertd( numero ) Process Sle esperndo PIN entry: ^disply.pedirpin entreg dinero entry: entregrdinero entry: ^lector.expulsr_trjet PINtecledo( PIN )[ ok ] PINtecledo( PIN )[ [error] ] WtingForSle mkenewsle EnteringItems Opciones entry: ^disply.mostrr_opciones trnsccion[ ok ] endsle enteritem seleccionr "scr" when[ 30 seg ] ^disply.mensje(máximo) uthorized mkecshpyment WitingForPyment Importe entry: ^disply.pedir_cntidd conexion nco entry: conectr(nco) entry: ^disply.mostrr_mensje("espere...conectndo") mkecreditpyment AuthorizingPyment mkecheckpyment importe introducido 16