Interacción orientada a aspectos en entornos multiorganizacionales

In e acci´on O ien ada a Aspec os en En o nos Mul io ganizacionales∗ Ra ael Co chuelo†Jos´eA.P´e ez‡An onio Ruiz–Co ´es§ Abs ac Un o una ely, cu en p oposals ha ocus on sepa a ion o conce ns assume ha ob- jec s in e ac by means o objec -o ien ed me hod calls, which implies ha hey embed in e ac ions wi h o he s in o hei unc ional code. This makes hem dependen on his in e ac ion model, and makes i difficul o euse hem in a con ex in which ano he in e ac ion model is mo e sui ed. In his pape , we show ha unc ionali y can be desc ibed sepa a ely om he in e ac ion model used, which helps enhance eusabil- i y o unc ional code and coo dina ion pa e ns. In o de o show ha i is easible, we adap ed he mul ipa y in e ac ion model o he con ex o Mul i-O ganisa ional Web-Based Sys ems and de eloped a class amewo k o build business objec s whose pe o mance a es compa ably o a handmade implemen a ion; he de elopmen ime, howe e , dec eases significan ly. Keywo ds:Aspec o ien a ion, in e ac ion models, mul ipa y in e ac ions. Resumen Po desg acia, las p opues as ac uales de sepa aci´on de aspec os asumen que los obje os in e ac ´uan median e in ocaci´on de m´e odos, lo que implica que ienen que embebe las in e acciones den o del c´odigo uncional. Es o los hace dependien es de es e mod- elo de in e acci´on y hace di ´ıcil eu iliza los en un con ex o en el que o o modelo de in e acci´on sea m´as adecuado. En es e a ´ıculo mos amos que la uncionalidad puede se desc i a de o ma independien e al modelo de in e acci´on usado, lo que mejo a la acilidad de eu ilizaci´on del c´odigo uncional y los pa ones de coo dinaci´on. Pa a demos a que es iable, hemos adap ado el modelo de in e acci´on en e m´ul iples pa - icipan es al con ex o de los sis emas mul io ganizacionales basados en la web y hemos desa ollado un amewo k de clases que pe mi e cons ui obje os de negocio cuyo endimien o es compa able al de una implemen aci´on a esanal; el iempo de desa - ollo, po el con a io, se educe de o ma muy significa i a. Palab as cla e:O ien aci´on a aspec os, modelos de in e acci´on, in e acciones mul i- pa i as. ∗Es e abajo es ´a sub encionado po la Comisi´on In e minis e ial de Ciencia y Tecnolog´ıa de Espa˜na (TIC2000-1106-C02-01) †Depa amen o de Lenguajes y Sis emas In o m´a icos. Escuela T´ecnica Supe io de Ingenie os In- o m´a icos. Uni e sidad de Se illa, Espa˜na. e–mail: [email p o ec ed] ‡Depa amen o de Lenguajes y Sis emas In o m´a icos. Escuela T´ecnica Supe io de Ingenie os In- o m´a icos. Uni e sidad de Se illa, Espa˜na. e–mail: [email p o ec ed] §Depa amen o de Lenguajes y Sis emas In o m´a icos. Escuela T´ecnica Supe io de Ingenie os In- o m´a icos. Uni e sidad de Se illa, Espa˜na. e–mail: [email p o ec ed] 1 In oducci´on Los sis emas dis ibuidos se conside an hoy en d´ıa piezas cla e en el desa ollo de sis emas mul io ganizacionales. Muchas compa˜n´ıas pun e as se han dado cuen a de que In e ne es mucho m´as que una zona de comp as y en as y o ece innume ables posibilidades de iun- a en el mundo de la web. Con o me In e ne se asien a, las compa˜n´ıas es ´an encon ando nue as o mas de saca pa ido a las capacidades que o ece y exis e una demanda c ecien e de amewo ks [14, 15, 16] pa a cons ui sis emas mul io ganizacionales basados en la web (MOWS, Mul i-O ganisa ional Web-based sys ems) [11, 12] a unos p ecios azonables. Es os amewo ks desc iben gene almen e los MOWS como colecciones de componen es que im- plemen an un conjun o de obje os de negocio que encapsulan un p o ocolo sem´an ico pa a ealiza una unidad de abajo l´ogico: ans e i dine o, p ocesa una ac u a, ac ualiza el egis o de un clien e, e c´e e a. Desde un pun o de is a abs ac o, los obje os de ne- gocio modelan ac o es y da os eales, po lo que pe mi en mejo a la comunicaci´on en e desa ollado es y clien es y ayudan a educi los cos es de desa ollo [17]. En eo ´ıa, los p og amado es s´olo ienen que p eocupa se po la uncionalidad que p o- po cionan. Po desg acia, es a isi´on es muy idealis a pues o que los obje os de negocio deben p eocupa se de aspec os ales como la sinc onizaci´on, la pe sis encia o la eplicaci´on y en a as ocasiones es ´an aislados den o de un sis ema. Es deci , cons i uyen la pa e uncional de un p o ocolo sem´an ico y deben abaja con o os pa a consegui un obje- i o com´un. La sepa aci´on de aspec os ha sido p esen ada como una he amien a muy p ome edo a pa a mejo a la modula idad, acilidad de comp ensi´on y de eu ilizaci´on del c´odigo uncional. De hecho, es a es la pied a angula del nue o pa adigma de p og amaci´on o ien ada a aspec os (AOP) [13, 23, 25]. Desde los p ime os abajos en es a ma e ia, la sinc onizaci´on [25], la dis ibuci´on [25, 36], la segu idad [37], la coo dinaci´on [1, 32], la pe sis encia [24] o la eplicaci´on [5] han sido con- side ados aspec os cla os que se pueden a a usando lenguajes espec´ı icos. Po desg acia, ninguna de las p opues as o ien adas a aspec os ac uales log an sepa a la uncionalidad de la in e acci´on con o os obje os en un sis ema, es deci , el mecanismo median e el cual dos o m´as obje os en an en con ac o y pueden desa olla conjun amen e una pa e del abajo. Tal y como mos amos en la secci´on 5, las p opues as ac uales es ´an basadas en a iaciones del modelo de in e acci´on cl´asico de paso de mensajes y embeben las llamadas a m´e odos en el c´odigo uncional de los obje os, lo que impide a los desa ollado es adap a su c´odigo con acilidad si el modelo de in e acci´on debe se cambiado. Adem´as, los p o ocolos sem´an icos suelen es a codi icados den o del c´odigo uncional, lo que hace di ´ıcil ambi´en su eu ilizaci´on en escena ios simila es [1, 21]. M´as all´a de la comunicaci´on pun o a pun o, exis en o os muchos modelos de in e - acci´on [28], algunos de los cuales ambi´en p opo cionan mecanismos de sinc onizaci´on y coo dinaci´on. Cada uno iene sus p opias en ajas e incon enien es, de o ma que no exis e ning´un modelo de in e acci´on uni e salmen e acep ado, sino un amplio abanico de posi- bilidades. Po lo an o, pa ece azonable que exis an lenguajes o ien ados a aspec os que a en el p oblema de la in e acci´on. Es os lenguajes mejo a ´ıan la acilidad de eu ilizaci´on del c´odigo uncional y de los pa ones de coo dinaci´on. Adem´as, pe mi i ´ıan a los p og a- mado es decidi qu´e modelo de in e acci´on se adap a mejo a sus necesidades, lo que iene un e ec o di ec o sob e la acilidad de comp ensi´on, de man enimien o y e oluci´on. Adem´as, es a ecnolog´ıa pa a la in e acci´on de obje os debe ´ıa se aplicada de o ma au om´a ica de o ma que los obje os de negocio sean an eu ilizables como esul e posible [1, 21]. Es a mo i aci´on es ´a a alada po esul ados p e ios de in es igaci´on de o os au o es. En [27], po ejemplo, se indica que g an pa e de la e oluci´on, eu ilizaci´on e in eg aci´on del so wa e es de na u aleza inespe ada. No obs an e, es o no es necesa iamen e debido a un pob e dise˜no, sino al hecho de que la ecnolog´ıa cambia de una o ma an ´apida que es imposible p edeci los caminos a a ´es de los que e oluciona ´a. Selecciona un modelo de in e acci´on adecuado es una decisi´on impo an e pues o que la misma uncionalidad encapsulada en una clase pod ´ıa se in eg ada de una o ma m´as simple en un escena io usando paso de mensajes, pe o espacios de uplas en o o. Po lo an o, ene una o ma de cambia el modelo de in e acci´on mien as se p ese a la uncionalidad, pa ece azonable. Has a donde alcanza nues o conocimien o, la sepa aci´on en e uncionalidad e in e - acci´on es algo nue o e inno ado que no ha sido a ado has a aho a en el con ex o de la o ien aci´on a aspec os. En es e a ´ıculo demos amos que la idea es iable p esen ando un modelo de in e acci´on pa a MOWS denominado Open Mul ipa y In e ac ion Model yun amewo k de clases que pe mi e implemen a nues as ideas de o ma muy e ec i a. El es o del abajo se o ganiza como sigue: en la secci´on 2 demos amos que nues a idea puede i m´as all´adelain ocaci´on de m´e odos y p esen amos el modelo de in e acci´on al que aludimos p e iamen e; en la secci´on 3 p esen amos el amewo k de clases que hemos dise˜nado pa a implemen a la p opues a; en la secci´on 4 demos amos que el desa ollo de un MOWS puede bene icia se del uso de nues o amewo k y lo e aluamos eniendo en cuen a el endimien o y el iempo de desa ollo; en la secci´on 5 analizamos el abajo de o os au o es y concluimos que ninguno de ellos in en a sepa a el modelo de in e acci´on de o os aspec os; inalmen e, p esen amos nues as conclusiones en la secci´on 6. 2 Un modelo de in e acci´on de al o ni el pa a MOWS Un MOWS se puede e como un sis ema compues o de a ios obje os de negocio de g ano g ueso que esiden en di e en es o ganizaciones y necesi an coope a ecuen emen e. Las p imi i as clien e/se ido como el paso de mensajes o la llamada a p ocedimien os emo os son el es ´anda indus ial de ac o pa a la in e acci´on en e obje os en es e con ex o. Po desg acia, las soluciones basadas en es as p imi i as son di ´ıciles de lle a a cabo en un MOWS en el que a ios obje os ienen que coope a simul ´aneamen e pa a llega a cabo una a ea [19]. Ejemplos habi uales son la ans e encia de dine o de una cuen a a o a median e un caje o au om´a ico ( es obje os), el pago de impues os a a ´es de la Red (el con ibuyen e, la Hacienda p´ublica y la F´ab ica Nacional de Moneda y Timb e en el caso de Espa˜na), il ado en el come cio elec ´onico (un clien e, un sis ema de il ado y di e sos p o eedo es de se icio), e c´e e a. La ecnolog´ıa ac ual p opo ciona se ido es de ansacciones pa a ag upa in e acciones indi iduales, pe o no exis e una cla a sepa aci´on en e el p oblema a soluciona y la ecnolog´ıa subyacen e o el p o ocolo necesa io pa a coo dina los obje os in oluc ados en una ansacci´on. La mayo pa e de los m´e odos de an´alisis o dise˜no o ien ados a obje os econocen la necesidad de coo dina a a ios obje os al mismo iempo u ilizando di e en es ´e minos: diag amas de obje os [4], modelos de p ocesos [6], conexiones de mensaje [7], g a os de colabo aci´on [38], diag amas de escena io [33] o colabo aciones [35]. Recien emen e, es a necesidad ambi´en ha sido iden i icada en el campo de las sociedades mul iagen es [3, 26]. El modelo de in e acci´on subyacen e es, sin emba go, llamado a m´e odos en odos los casos, lo que signi ica que los dise˜nado es a´un ienen que descompone colabo aciones complejas en secuencias de llamadas. Po desg acia, los lenguajes de p og amaci´on ac uales no o ecen un sopo e adecuado que pe mi a a a ios obje os in e ac ua simul ´aneamen e, aunque se ha lle ado a cabo una g an can idad de in es igaci´on en es e campo [28]. Ja aSpaces [20] es una de las p opues as m´as ac uales. P opo ciona mecanismos median e los cuales un obje o puede ecupe a o in oduci o os obje os en un espacio de uplas compa ido, lo que pe mi e desa olla p o ocolos sem´an icos en o ma de lujos de obje os que se mue en a a ´es de uno o a ios espacios de uplas. Ja aSpaces es pe ec o pa a aquellas aplicaciones en las que los lujos de abajos son adecuados, pe o no es su icien e en gene al, p incipalmen e en el campo de los MOWS o las aplicaciones de come cio elec ´onico en pa icula . La az´on es que muchos p oblemas en es e con ex o p ecisan de a ios obje os que coope en simul ´aneamen e y ans o ma es as colabo aciones en lujos de abajo no es nada sencillo. Po ejemplo, supongamos que deseamos dise˜na un sis ema de a je as de d´ebi o [34]. Es e sis ema se compone de a ios pun os de en a, a ios o denado es que ienen las cuen- as de los endedo es y las de los clien es; el obje i o es dise˜na un obje o de negocio que sea esponsable de ans e i dine o de una cuen a de un clien e a una cuen a de un ende- do a a ´es de un pun o de en a cada ez que el p ime o usa su a je a de d´ebi o. Con Ja aSpaces, po ejemplo, es ela i amen e sencillo desa olla una soluci´on pa a esol e es e p oblema, pe o end ´ıa dos incon enien es undamen ales: p ime o, la ansacci´on comple a se puede e como una in e acci´on que coo dina a es obje os, pe o es e modelo de in e - acci´on lle a a una soluci´on en la que es necesa io descompone es e e en o en a ias llamadas am´e odos que deben se coo dinadas median e un p o ocolo espec´ı ico; adem´as, es e p o o- colo puede se eu ilizable en si uaciones simila es, pe o la sepa aci´on con Ja aSpaces no es su icien e, po lo que no se pueden eu iliza con acilidad [23]. 2.1 Nues a p opues a Sob e la base de la discusi´on p e ia, queda cla a la necesidad de con a con un modelo de in e acci´on capaz de coo dina la acci´on conjun a de a ios obje os. Pa a dise˜na es e modelo pa imos del Modelo de In e acci´on en e M´ul iples Pa icipan es [18], que es muy adecuado pa a cap u a la esencia de es os p oblemas. P opo ciona un al o g ado de abs acci´on que pe mi e igno a po comple o cu´al es la o ma en que a ios obje os se sinc onizan simul ´aneamen e o in e cambian in o maci´on. Es o, adem´as, ab e las pue as a una mayo acilidad de adap aci´on de las aplicaciones pues o que los algo i mos u ilizados quedan a un ni el de abs acci´on meno y pueden se cambiados con acilidad sin a ec a al sis ema dise˜nado. Es e modelo ha a a´ıdo la a enci´on de un buen n´ume o de in es igado es que se han cen ado en aspec os de implemen aci´on [9, 19, 39]. No obs an e iene a ios de ec os que di icul an su aplicaci´on a los MOWS: el modelo no iene en cuen a la exis encia de obje os pasi os, los obje os deben se conocidos en iempo de compilaci´on y ienen que ene acceso al es ado local de o os obje os pa a pode comunica se con ellos. Es a es la az´on po la que hemos desa ollado una e si´on a anzada del mismo a la que nos e e imos como Open Mul ipa y In e ac ion Model (OMIM). Pa a sopo a OMIM, hemos dise˜nado un lenguaje llamado CAL [8] y un conjun o de algo i mos que pe mi en implemen a lo [29, 30, 31]. En las secciones siguien es esumi- mos el abajo que lle amos hecho; en la secci´on 3, p esen amos el amewo k que hemos desa ollado pa a implemen a lo. 2.2 Sopo e ling¨u´ıs ico En es a secci´on desc ibimos CAL some amen e median e el ejemplo del sis ema de a je as de d´ebi o p esen ado p e iamen e. Es e p oblema se puede desc ibi ´acilmen e u ilizando nues o modelo pues o que ealmen e se puede educi a una in e acci´on ipa i a en e un pun o de en a, una cuen a de clien e y una cuen a de endedo . La igu a 1 mues a una desc ipci´on del sis ema en CAL que analizamos en las secciones siguien es. 2.2.1 Desc ipci´on de in e acciones Las in e acciones se de inen usando la siguien e sin axis: in e ac ion nomb e[obje os pa icipan es]( anu as) whe e pe misos de lec u a/esc i u a Cada una iene un nomb e di e en e, algunos pa icipan es, algunas anu as y un conjun o de pe misos de lec u a/esc i u a. in e ac ion ans e [Poin O Sales pos; Accoun sou ce, des ] ( loa sum; boolean app o al) whe e pos w i es sum, eads app o al; sou ce w i es app o al, eads sum; des eads app o al, sum; beha iou Poin O Sales equi es in e ace IPoin O Sales; { *[ Wai Fo Sale(); ans e [pos!sel , sou ce!Ge Cus ome Accoun (), des !Ge Me chan Accoun ()] { sum = Ge P ice(); Repo Resul (app o al); } ] } beha iou Accoun equi es in e ace IAccoun ; { *[ ans e [sou ce!sel ] { app o al = Au ho ise Paymen (sum); [app o al →Cha ge(sum);]; } [] ans e [des !sel ] { [app o al →Pay In(sum);]; } ] } Figu e 1: Una desc ipci´on en CAL del sis ema de a je as de d´ebi o. En el ejemplo en la igu a 1 se ha de inido una in e acci´on ipa i a denominada ans e que pe mi e in e ac ua a un obje o que in e p e a el papel pos y dos cuen as que in e p e an los papeles sou ce ydes . Es a in e acci´on se con ie e as´ı en el canal median e el cual pueden coo dina sus ac i idades pa a consegui ans e i ondos desde la cuen a o igen (sou ce) has a la cuen a des ino (des ) median e el pun o de en as (pos). Las in e acciones ienen un es ado local que se compone de a ias anu as. ans e ,po ejemplo, iene dos anu as denominadas sum yapp o al. La p ime a se u iliza pa a almacena la can idad de dine o a ans e i y la segunda es un indicado de si la cuen a o igen iene saldo su icien e como pa a ans e i esa can idad a la cuen a des ino. Es as anu as dan in e ace IPoin O Sales { oid Wai Fo Sale(); loa Ge P ice(); oid Ge Cus ome Accoun (); OID Ge Me chan Accoun (); oid Repo Resul (boolean done); } in e ace IAccoun { oid Cha ge( loa sum); oid Pay In( loa sum); boolean Au ho ise Paymen ( loa sum); } Figu e 2: In e aces eque idas po los compo amien os en la igu a 1. luga a un es ado local que simula el es ado global empo al del modelo de in e acci´on en e m´ul iples pa icipan es b´asico [19]. La di e encia m´as impo an e es que un obje o ya no necesi a ene acceso al es ado local de o os pa a ob ene la in o maci´on que necesi a. Los pe misos de lec u a/esc i u a indican qu´e pa icipan e puede lee o esc ibi cada anu a. En nues o ejemplo, el pun o de en a es esponsable de almacena la suma a ans e i en la anu a sum, mien as que an s´olo necesi a lee la anu a app o al pa a mos a el mensaje ap opiado en la pan alla; la cuen a que in e p e a el papel sou ce puede lee la anu a sum pa a decidi si puede ans e i la suma indicada y esc ibe en la anu a app o al pa a almacena su decisi´on; inalmen e, la cuen a des ino puede lee ambas anu as, pe o no iene pe miso pa a esc ibi en ninguna de ellas. Un obje o puede o ece pa icipaci´on en una o m´as in e acciones al mismo iempo. En cada o e a debe indica qu´e papel quie e in e p e a y puede es ablece es icciones sob e qu´e o os obje os deben in e p e a los es an es papeles. Una in e acci´on se puede ejecu a siemp e y cuando exis a un conjun o de obje os que es ´e de acue do en in e acciona . Gene almen e nos e e imos a esa in e acci´on y el conjun o de obje os que la pueden ejecu a como una habili aci´on. Dado que es necesa io ga an iza la exclusi´on mu ua, un obje o no puede ejecu a m´as de una in e acci´on al mismo iempo. No obs an e, como un obje o puede o ece pa icipaci´on en di e sas in e acciones al mismo iempo, puede encon a se en m´as de una habili aci´on. Po es a az´on, cuando dos o m´as habili aciones compa en obje os, no pueden ejecu a se al mismo iempo. El conjun o de habili aciones que no se pueden ejecu a se dice que son echazadas. 2.2.2 Desc ipci´on de los compo amien os Como hemos is o, los obje os pa icipan es en una in e acci´on deben in e p e a papeles conc e os en ella. La sin axis que u ilizamos pa a desc ibi los es la siguien e: beha iou nomb e equi es in e aces { desc ipci´on de compo amien o } Cada desc ipci´on equie e que los obje os sob e los que se aplica implemen en un con- jun o de in e aces. En el ejemplo de la igu a 1 se han mos ado dos compo amien os: Poin O Sales, que desc ibe el la o ma en que se compo an los pun os de en a, y Accoun , que desc ibe el compo amien o de las cuen as banca ias, ya sea como deudo as o como ac eedo as. Poin O Sales equie e la in e az IPoin O Sales desc i a en la igu a 2. Las ope a- ciones de es a in e az pe mi en a un obje o espe a a que se p oduzca la siguien e en a (Wai Fo Sale) y ob ene su impo e (Ge P ice), as´ı como ob ene e e encias a las cuen as del clien e y el endedo (Ge Cus ome Accoun ,Ge Me chan Accoun ) y mos a un mensaje en pan alla con los esul ados de la ope aci´on (Repo Resul ). De mane a simila , Accoun equie e la implemen aci´on de una ope aci´on pa a e i a dine o de una cuen a (Cha ge), pa a ing esa dine o en ella (Pay In) o pa a au o iza un pago (Au ho ise Paymen ). Las ope aciones eque idas po un compo amien o son aqu´ellas cuya ejecuci´on se coo - dina median e in e acciones mul ipa i as. Pa a modela la o ma en que un pun o de en a y dos cuen as coope an u ilizamos ins ucciones de la o ma I[pa icipan lis ]{comm s a },en donde Ies el nomb e de una in e acci´on, la lis a en e co che es iden i ica los obje os que se desea hace pa icipa en la in e acci´on y comm s a es una lis a de ins ucciones de comu- nicaci´on que in oluc a las anu as de la in e acci´on I. Los pa icipan es en la in e acci´on se indican median e exp esiones de la o ma ole!id, lo que signi ica que el papel ole debe se in e p e ado po el obje o iden i icado po id.Laexp esi´on ole!sel se u iliza pa a indica que el papel ole se ´a in e p e ado po el obje o que ejecu a la ins ucci´on de in e acci´on. Si no se indica nada pa a un papel, se asume que cualquie obje o puede in e p e a lo. Po lo an o, el compo amien o de un pun o de en a se puede esumi as´ı: es un bucle in ini o en el que p ime o espe a a que comience una nue a ope aci´on de en a y en onces in en a ejecu a la in e acci´on ans e jun o a los obje os que modelan la cuen a del clien e y del endedo . Si se llega a ejecu a es a in e acci´on, el pun o de en a ejecu a en onces su c´odigo de comunicaci´on, que consis e en almacena la suma a ans e i en la anu a sum y mos a un mensaje en su pan alla. El compo amien o Accoun ambi´en consis e en un bucle in ini o en el que la pa icipaci´on en la in e acci´on ans e se o ece an o como cuen a de o igen como de des ino de la ans e encia. Si se ejecu a la in e acci´on en la que in e p e a el p ime papel, en onces comp ueba si puede a on a el ca go, almacena el esul ado en la anu a app o al y ac ualiza su saldo con enien emen e. Si se ejecu a la o a in e acci´on, en onces simplemen e lee la anu a app o al y ac ualiza el saldo. E iden emen e, una in e acci´on mul ipa i a e asa la ejecuci´on de un obje o que in en a lee una anu a has a que ha ecibido un alo po pa e de o o pa icipan e. Es deci , un pun o de en a que in en a ejecu a la ins ucci´on Repo Resul (app o al), es e asado en su ejecuci´on has a que la cuen a o igen de la ans e encia esc ibe su decisi´on en la anu a app o al. Po lo an o, las ins ucciones de comunicaci´on se ejecu an en una egi´on c ´ı ica en la que no pueden p oduci se condiciones de ca e a. 2.2.3 Aplicaci´on de compo amien os a clases Los pa ones de compo amien o son abs ac os po que desc iben c´omo un obje o que imple- men a un conjun o de ope aciones puede coope a con o os. Es as ope aciones son ambi´en abs ac as y, a menudo, necesi an se adap adas an es de aplica un compo amien o sob e una clase conc e a. CAL p opo ciona un mecanismo simple pa a adap a ope aciones que se mues a en la igu a 3. En es e ejemplo, el compo amien o Accoun ha sido aplicado sob e una clase Ja a llamada bankAccoun . Si se ija, es a clase no p opo ciona las ope aciones que equie e el com- po amien o, aunque no es di ´ıcil adap a las. Po ejemplo, la ope aci´on Au ho ise Paymen (sum) se puede adap a ´acilmen e median e la exp esi´on ge Balance() ≥sum. Es a adap aci´on nos pe mi e esc ibi compo amien os comple amen e abs ac os y e- u ilizables. Es o es impo an e pues o que en o os lenguajes o ien ados a aspec os como COOL [25], RIDL [25] o Aspec J [22], los aspec os hacen e e encia a las clases sob e las que se aplican po nomb e, lo que p o oca dependencias en e ellos y hace di ´ıcil eu iliza los p ime os. class bankAccoun { p i a e loa balance; public oid upda eBalance( loa sum) {balance += sum; } public boolean ge Balance() { e u n balance; } } map beha iou Accoun on o class bankAccoun whe e Cha ge(sum) = upda eBalance(-sum); Pay In(sum) = upda eBalance(+sum); Au ho ise Paymen (sum) = (ge Balance() ≥sum); Figu e 3: Aplicaci´on del compo amien o Accoun sob e la clase bankAccoun . 3 Nues o amewo k Hemos dise˜nado un amewo k de clases que o ece odos los se icios necesa ios pa a im- plemen a CAL1Nues os obje i os p incipales a la ho a de dise˜na lo ue on los siguien es: 1. Debe ´ıa se ex ensible de o ma que se pudie an inco po a en ´el nue os middlewa es y algo i mos de coo dinaci´on de una o ma simple. Es o mejo a las posibilidades de elecci´on del dise˜nado a la ho a de p oduci la e si´on inal de sus obje os de negocio. 2. Debe ene en cuen a la exis encia de obje os pasi os y a a los adecuadamen e. El modelo de in e acciones en e m´ul iples pa icipan es adicional asume que odos los obje os son ac i os y cuen an con su p opio hilo de ejecuci´on, lo que no suele se cie o en el con ex o de los MOWS. 3. Debe pe mi i in eg a o os aspec os o ogonales con acilidad. La igu a 4 mues a una o og a ´ıa de un sis ema en ejecuci´on que ilus a la a qui ec u a de nues a p opues a. Se compone de los elemen os siguien es: El ga ekeepe :Es uno de los elemen os m´as impo an es pues o que es esponsable de a eas como las pol´ı icas de segu idad, ac u aci´on, gene a y ges iona los UUID, localiza los coo dinado es de in e acci´on, e c´e e a. Coo dinado es de in e acci´on: Son esponsables de de ec a qu´e in e acciones es ´an ha- bili adas y de a bi a en e aqu´ellas que son con lic i as, es deci , compa en obje os. Rep esen an es: Los obje os del usua io se conside an en idades ex e nas al amewo k que u ilizan ep esen an es pa a in e ac ua . Es o pe mi e es ablece una cla a sepa- aci´on en e la uncionalidad y los de alles de coo dinaci´on, aunque ambi´en simpli ica el dise˜no del amewo k ya que ´es e s´olo iene que a a con los ep esen an es. Es o signi ica que los obje os de usua io puede ene uncionalidad pu a o han podido se p e iamen e mezclados con o os aspec os. Po ejemplo, un obje o que enga es ic- ciones de sinc onizaci´on y de pe sis encia puede se implemen ado u ilizando COOL [25] y la p opues a de [5], pe o es os de alles son i ele an es pa a el amewo k. Ges o es de comunicaci´on: Son los esponsables de ges iona la comunicaci´on en e los obje os que pa icipan en una misma in e acci´on, es deci , pe mi en la comunicaci´on, 1Es e amewo k es ´a disponible solici ´andolo a los au o es. En ´ıe una ca a elec ´onica a jp[email p o ec ed] si desea ob ene una copia. O 2 Coo dinado de in e acción Ges o de comunicación Rep esen an e Obje o de negocio I 2 O 1 I 1 O 3 Ga ekeepe Reposi o io He amien a de adminis ación Figu e 4: La a qui ec u a de nues a soluci´on. ienen en cuen a los allos que se puedan p oduci , e c´e e a. Dado que es posible que exis an a ias ocu encias de la misma in e acci´on ejecu ´andose simul ´aneamen e, cada una de ellas iene su p opio ges o de comunicaciones. A p ime a is a, pod ´ıa pa ece que el ga ekeepe es un cuello de bo ella, pe o es o no es as´ı. La az´on es que la uncionalidad que o ece se u iliza s´olo cuando apa ecen nue os obje os o in e acciones en el sis ema o cuando un obje o necesi a localiza las e e encias a los coo dinado es esponsables de las in e acciones en las que pa icipan. Tambi´en debemos indica que nada nos impide c ea a ios ga ekeepe s que se ejecu an concu en emen e, educiendo de es a o ma el impac o de una ca´ıda o allo del sis ema. Sin emba go, dado que odas las copias del componen e en ejecuci´on son uncionalmen e equi alen es en e s´ı, solemos e e i nos al mismo como “el ga ekeepe ”. Tambi´en es in e esan e menciona que ene ep esen an es pa a los obje os de usua io no signi ica ine iciencia pues o que esiden en el mismo espacio de memo ia que los obje os que ep esen an. Adem´as, sepa a los aspec os de coo dinaci´on de los obje os de negocio en iempo de ejecuci´on ambi´en dibuja una cla a l´ınea de sepa aci´on en e la uncionalidad que encapsulan y la o ma en que in e ac ´uan con o os. Es o acili a la cons ucci´on de wea e s pues o que los ep esen an es se pueden implemen a ´acilmen e usando una colecci´on de pa ones de dise˜no a la que de o ma colec i a se le suele hace e e encia como Role Objec Pa e n [15]. Es o ayuda a man ene sepa ados los dis in os con ex os en los que un obje o puede pa icipa y acili a el man enimien o de los mismos. La igu a 5 mues a el aspec o del amewo k que hemos dise˜nado. F´ıjese en que nues o dise˜no es lo su icien emen e gene al como pa a acomoda con acilidad di e sos middlewa es o algo i mos de coo dinaci´on o de comunicaci´on p opues os en la bibliog a ´ıa, en e ellos los nues os [30, 29]. El dise˜nado puede de es a o ma decidi cu´al es la mejo o ma de implemen a sus obje os de negocio: si odos los obje os conocen aqu´ellos con los que an a in e ac ua se puede u iliza un algo i mo cl´asico como el de Bag odia e al. [2] o los de Co chuelo e al. [9, 10]; en caso con a io se ´a p eciso u iliza los algo i mos de P´e ez e al. [30, 29]. [19] N. F ancez and I. Fo man. In e ac ing p ocesses: A mul ipa y app oach o coo dina ed dis- ibu ed p og amming. Addison–Wesley, 1996. [20] E. F eeman, S. Hup e , and K. A nold. Ja aSpaces P inciples, Pa e ns, and P ac ice. Addison–Wesley Longman, June 1999. [21] S. F ølund and G. Agha. A language amewo k o mul i-objec coo dina ion. In O. Nie s asz, edi o , P oceedings o he Eu opean Con e ence on Objec -o ien ed P og amming ECOOP’93, pages 346–360, Kaise slau e n, Ge many, 1993. Sp inge –Ve lag. [22] G. Kiczales, E. Hilsdale, J. Hugunin, M. Ke sen, J. Palm, and W.G. G iswold. An o e iew o Aspec J. In P oceedings Eu opean Con e ence on Objec -O ien ed P og amming ECOOP’01, olume 2072 o Lec u e No es in Compu e Science, pages 327–353. Sp inge -Ve lag, 2001. [23] G. Kiczales, J. Lamping, A. Mendheka , C. Maeda, C. Lopes, J. Loing ie , and J. I win. Aspec -o ien ed p og amming. In P oceedings o he Eu opean Con e ence on Objec -O ien ed P og amming ECOOP’97, pages 220–242. Lec u e No es in Compu e Science, Sp inge –Ve lag, 1997. [24] K. Liebhe he . F om ansience o pe sis ence in objec -o ien ed p og amming: Pa e ns and a chi ec u es. ACM Compu ing Su eys, 28A(4):39–41, Decembe 1996. [25] C.V. Lopes. D: A Language F amewo k o Dis ibu ed P og amming. PhD hesis, Xe ox Palo Al o Resea ch Cen e , 1998. [26] J. Odell, H.V.D. Pa unak, and B. Baue . Rep esen ing agen in e ac ion p o ocols in UML. In P. Cianca ini and M. Woold idge, edi o s, P oceedings o he 22nd In e na ional Con e ence on So wa e Enginee ing ISCE’01, numbe 1957 in LNCS, pages 121–140. Sp inge –Ve lag, June 2001. [27] H. Osshe and P. Ta . Using mul idimensional sepa a ion o conce ns o ( e)shape e ol ing so wa e. Communica ions o he ACM, 44(10):43–50, 2001. [28] G. Papadopoulos and F. A bab. Coo dina ion models and languages. In Ad ances in Compu - e s, olume 46. Academic P ess, 1998. [29] J. A. P´e ez, R. Co chuelo, D. Ruiz, and M. To o. An o de –based, dis ibu ed algo i hm o implemen ing mul ipa y in e ac ions. In Coo dina ion Models and Languages. P oceedings o he 5 h In e na ional Con e ence COORDINATION 2002., Lec u e No es in Compu e Science, pages 250–257, Yo k, Uni ed Kingdom, 2002. Sp inge . [30] J.A. P´e ez, R. Co chuelo, D. Ruiz, and M. To o. A amewo k o aspec –o ien ed mul ipa y coo dina ion. In Wo king Con e ence on Dis ibu ed Applica ions and In e ope able Sys ems DAIS’01, page To appea , K akow, Poland, 2001. Kluwe Academic Publishe s. [31] J.A. P´e ez, R. Co chuelo, D. Ruiz, and M. To o. An enablemen de ec ion algo i hm o open mul ipa y in e ac ions. In Applied Compu ing 2002. P oceedings o he 2002 ACM Symposium on Applied Compu ing, pages 378–384, Mad id, Spain, Ma ch 2002. ACM P ess. [32] M. Pin o, L. Fuen es, M.E. Fayad, and J. M. T oya. Sepa a ion o coo dina ion in a dynamic aspec -o ien ed amewo k. In P oceedings o he Fi s In e na ional Con e ence on Aspec - O ien ed So wa e De elopmen AOSD’01, Enschede, The Ne he lands, Ap il 2002. [33] T. Reenskaug, P. Wold, and O.A. Lehne. Wo king Wi h Objec s. The OO am So wa e Engi- nee ing Me hod. Manning Publica ions Co., Augus 1995. [34] A. Ruiz-Co ´es, R. Co chuelo, J.A. P´e ez, A. Du ´an, and M. To o. An aspec –o ien ed ap- p oach based on mul ipa y in e ac ions o speci ying he beha iou o a sys em. In P inci- ples, Logics, and Implemen a ions o High-Le el P og amming Languages PLI’99. Wo kshop on Objec -O ien ed Speci ica ion Techniques o Dis ibu ed Sys ems and Beha iou s, pages 56–65, Pa is, F ance, 1999. [35] J. Rumbaugh, I. Jacobson, and G. Booch. The Uni ied Modeling Language Re e ence Manual. Objec Technology Se ies. Addison Wesley Longman, Reading, Massachusse s, 1999. [36] A.R. Sil a, P. Sousa, and J.A. Ma ques. De elopmen o dis ibu ed applica ions wi h sepa- a ion o conce ns. In P oceedings o he 1995 Asia-Paci ic So wa e Enginee ing Con e ence APSEC’95. IEEE P ess, 1995. [37] J. Viega and D. E ans. Sepa a ion o conce ns o secu i y. In P. Ta , A. Finkels ein, W. Ha - ison, H. Nusibeh, H. Osse , and D. Pe y, edi o s, P oceedings o he Wo kshop on Mul i- Dimensional Sepa a ion o Conce ns in So wa e Enginee ing a ICSE’00, 2000. [38] R. Wi s-B ock and B. Wilke son. Designing Objec -O ien ed So wa e. P en ice–Hall, Augus 1990. [39] A.F. Zo zo and R.J. S oud. A dis ibu ed objec -o ien ed amewo k o dependable mul i- pa y in e ac ions. ACM Sigplan, 34(10):435–446, Oc obe 1999.