MODELAREA SISTEMELOR ORIENTATE PE SERVICII PRIN REŢELE PETRI RECONFIGURABILE CU ATRIBUTE MATRICEALE

Transcription

1 Modearea sstemeor oretate e servc r reţee Petr recofgurabe cu atrbute matrceae MODEAREA SISTEMEOR ORIENTATE PE SERVICII PRIN REŢEE PETRI RECONFIGURABIE CU ATRIBUTE MATRICEAE Iu Ţurcau drd E Guţueac dr hab rof uv D Pa drd Uverstatea Tehcă a Modove INTRODUCERE Actuamete sstemee de cacu cu arhtectur oretate e servc SCOS) î tm rea cuosc o dezvotare radă atât sub asectu comextăţ ş/sau erformaţeor cât ş a are de răsâdre [ 4 8] Acest t de ssteme trebue să abă o fexbtate dsobtate ş sguraţă î fucţoare deosebtă U astfe de sstem oate f cosderat ş memetat dret fd o coecţe de cofguraţ ude fecare d acestea este o reţea de comoete ce comucă ître ee Dferte cofguraţ ot f fooste etru aocarea ş rocesarea a dfertor servc sau codţ de oerare ae acaţor Ca urmare factăţe trecer î tm rea de a o cofguraţe către ata e arcursu ruăr duc a creşterea sguraţe î fucţoare ş a fexbtăţ utzăr sstemuu [] asgurarea cărora î tmu recofgurăr damce este dfcă d cauza teracţu ître servce de acaţe ae sstemuu Uu dtre cee ma răsâdte formasme modere fooste etru modearea ş aaza sstemeor araee/dstrbute cu evemete dscrete sut reţeee Petr RP) de dferte extes [ 6 7] Totodată aare ecestatea de a dezvota aceste formasme etru a descre ma adecvat ma fexb ş ma comod ssteme SCOS cu structur comexe damc restructurabe Î [4] au fost troduse RP geerazate recofgurabe RGR) etru smuarea verfcarea ş aaza sstemeor cocurete care î mod damc sut suuse schmbăror de structură Îsă etru ssteme reae îtro smuare vzuaă r RGR este osb ca uee varabe ae atrbuteor obecteor acestor t de reţee trebue să a vaor secfce mute care fe că u ot f descrse comact îtru medu RGR sau că modearea or va creşte î mod semfcatv comextatea grafcă a modeuu sstemuu De exemu î scou de a efectua evauarea dcatoror de erformaţă ae uor rocese de cacu oretate e servc etru o aumtă sarcă de smuare cu u rof de câteva m de servc cu vaor dferte este ecesar ca u umăr mare de ocaţ trazţ ş arce să fe adăugate a modeu RGR etru a obţe vaoarea de îcărcare dortă etru fecare terva de tm secfcat Aceasta duce a o creştere cosderabă a comextăţ structurae a modeuu RGR ş dec aar robeme semfcatve de aază cum ar f exoza saţuu de stăr cea ce duce a creşterea comextăţ gobae de cacu recum ş a creşterea tmuu de smuare a fucţoăr sstemuu aazat Petru a aborda acest t de robeme î ucrare sut troduse modee RGR terretate cu atrbute matrceae de cacu otată RGIM î mod smar cum au fost fooste î [5] r troducerea arceor database cu oder matrceae Î aceaş cotext sut cosderate uee asecte de modeare ş aază a roceseor de cacu oretate e servc recofgurabe U avata mortat a demersuu rous costă î fatu că modeu RGIM este foarte cocs ş fexb deoarece ma mute dtre varabee sae sut arametrzate ce ot ua vaor ateratve REŢEE RGR CU ATRIBUTE MATRICEAE U atrbut matrcea deedet de marcau curet a uu obect reţee RGR cu atrbute matrceae abrevat RGRM arc ocaţe trazţe obşută trazţe de rocesare reguă de rescrere etc) este deft de către o matrce A [ M )] a k a M ) IN A Α de tu secfcat ş de către u set de ocaţ de cotro P A P determat de dmesue aceste matrce k astfe îcât eemetee aceste matrce sut costate varabe sau şte fucţ exres) de tu secfcat care evetua ot f deedete de marcau curet M a RGRM De exemu u vector cooaă are o A dmesue egaă cu uu dec P { } ; o matrce D are o dmesue egaă cu do dec A P { v} etc Caactatea ocaţor de cotro este resectv egaă cu: M ) k ş M v ) Marcau curet m M ) ş m v M v ) a A ocaţor de cotro P } arată ozţa { v

2 Modearea sstemeor oretate e servc r reţee Petr recofgurabe cu atrbute matrceae eemetuu î matrcea A mărmea cărua este ecesar să fe mortată ş uată î cosderare a fucţoarea ş aaza modeuu U atrbut matrcea a RGRM va f rerezetat astfe îcât e va coţe ître arateze ătrate umee matrce secfcate î reaab Astfe cardatatea arceor matrceae drecte smbozate resectv cu ş a arceor hbtor sau test [ 5] smbozate î mod smar ot ua vaor care sut coţute îtro matrce secfcată A Petru a ustra acest fat î fgura este rezetat u exemu de reţea RGRM cu marcau curet M 4 ) 4 ) ocaţ de cotro 4 { } P A ş u arc matrcea drect t ) ce ustrează modearea grafca ş oerarea acestu arc care mortă mărmea oder sae curete d matrcea A redată de reaţa ): m m m A 7 5 m ) 4 8 m 4m ude m M ) 4 este umăru de etoae î ocaţa etru marcau curet Poderea arcuu t ) este egaă cu m ar a arcuu t ) este egaă cu m Deoarece matrcea A este bdmesoaă sut ecesare două ocaţ de cotro Î cazu reţee RGRM avem P A { } ocaţa de cotro are caactatea K ) ar caactatea u este K ) 4 Aceste ocaţ sut cdete îate a trazţa t de trare a arcu matrcea drect t ) smbozat cu [A] Pozţa eemetuu m m m a) m [ A ] 9 t b) Fgura Acţoarea uu arc matrcea drect î RGRM : a) starea ţaă; b) starea faă t [ A ] 4 4 a a matrce A mărmea oder cărea este de dort să fe mortată este reazată de formaţe desre umăru resectv de etoae coţute î aceste ocaţ ş aume: eemetu seectat a aceste matrce se afă î râdu m ş cooaa m Î fgura a este rezetată starea RGRM îate de decaşarea u t d care se oate observa că m deoarece ocaţa are tre etoae) ş m 4 deoarece ocaţa are atru etoae) ar î fgura b este rezetată starea RGRM duă decaşarea u t d care se oate observa fatu că ocaţa are u marca ega cu vaoarea 9 deoarece a fost seectat eemetu a 4 m 4m 8 Ca rezutat a decaşăr t obţem M [ t > M M M a 4 9 ) Î mod smar ot f matrca arametrzate toate atrbutee reţee RGRM cum ar f de exemu următoaree atrbute matrceae []: de gardă ae trazţor B Β etru care B [ b M )] k b M ) { true fase} ; de caactate ae ocaţor KP ΚΡ etru care KP [ k M )] k k M ) IN cu K ) max m k M )) ; a reguor de rescrere vadate R R W R [ r M )] k r M ) : Γζ Γζ ae reţee curete Γ ζ Meţoăm că a decaşarea r M ) oeratoru bar va roduce o modfcare a structur Γ ζ astfe îcât subreţeaua Γζ Γζ va f emată d Γ ζ obţâduse o ouă reţea Γζ Γζ \ Γζ a care se va adăuga ao subreţea W secfcată Γ ζ [] Ca rezutat a acăr aceste ~ regu se va obţe reţeaua Γ ζ Γζ Γζ adcă ~ Γζ [ r M) > Γζ a emarea ocaţor ş/sau trazţor reguor de rescrere) ae Γ ζ arcee resectve ce e coectează se vor ema î mod mct De asemeea a adăugarea u Γ ζ î Γ ζ toate ocaţe cu marcae o ş/sau trazţe regue de rescrere) resectve ce au aceeaş ume ş aceeaş atrbute vor f cotote a cotorea ocaţor cu aceaş ume etoaee se vor adua Imct regue r M ) : Γζ ş W ~ r M ) : Γζ descru resectv Γ ζ Γζ \ Γζ ~ ş Γ ζ Γζ Γζ Meţoăm de asemeea că

3 Modearea sstemeor oretate e servc r reţee Petr recofgurabe cu atrbute matrceae Γ ζ ş Γ ζ ot f cosderate aarte ş ca submuţm de: ) ocaţ P ş/sau P cu marcae resectve; ) trazţ resectv regu de rescrere) T resectv R ) ş/sau T resectv R W W) ş ) arce A ş/sau A de dferte tur Ce ma mortat avata a foosr modeeor RGRM a descrerea ş verfcarea fucţoăr roceseor de cacu oretate e servc costă î fatu că structura acestor t de modee este foarte cocsă ş oate f fexb de modfcat î tm rea deoarece ma mute dtre atrbutee sae sut arametrzate Aceasta ermte de a asoca atrbuteor RGRM vaor ateratve î mod cotroat de starea curetă a modeuu De asemeea r utzarea atrbuteor matrceae rouse datee reae ot f cu uşurţă mortate î rocesu de smuare asgurâd astfe coereţa ş vaabtatea rezutateor obţute Modearea acestor tur de rocese r RGR sau RP obşute [ ] duce a ecestatea de a foos etru fecare atrbut matrcea îcă k arce ş k trazţ ocaţ) sumetare ceea ce face ca comextatea structur modeuu să crească î mod cosderab Petru a ustra avataee foosr reţeeor de tu RGRM î fgura a este rezetat u exemu smu de reţea RGRM cu u arc drect matrcea t 5 ) cu oderea A redată de reaţa ) : 5 m A ) 4 m m Î acest mode ocaţe de cotro sut P A { } cu K ) ş K ) resectv Seectarea râduu resectv m ş a cooae m ae eemetuu a M ) ; a matrce A este efectuată î mod damc de către marcau curet a { } Desfăşurarea acestu mode î formă de reţea RP obşută fucţoarea cărea este echvaetă u RGRM este rezetată î fgura b Petru a efectua aceasta desfăşurare este ecesar de a substtu î RGRM următoaree oeraţ: ) trazţa t5 este substtută r k 6 trazţ t 5 k fucţe de gardă ae cărora sut resectv: g M ) m ) & m ) 5 5 M ) m ) & m 5 M ) m ) & m 5 4 M ) m ) & m g ) g ) g ) g M ) m ) & m ) M ) m ) & m 5 g ) ; ) arcu drect matrca t ) cu oderea A este substtut r k arce drecte ) t5 6 cu odere resectve ae eemeteor matrce A d reaţa ); ) de a coecta ocaţa 5 cu fecare trazţe trodusă 5 r arce 5 t5 ) ; t 4) ocaţa resectv ) este coectată cu fecare trazţe trodusă 5 r arce test t5 ) resectv t ) ) t 5 t t 4 t t 4 t6 t6 t56 t55 5m m6 t4 t m6 t 5 t4 t5 b) a) t54 RGRM INTERPRETATE Petru a trata uee robeme meţoate a modearea ş aaza roceseor de cacu oretate e servc recofgurabe î acest comartmet defm u mode de RGRM terretate damc 5 t5 [ A ] t5 4 m m Fgura Modeu RGRM a) ş modeu RP echvaet ceu RGRM b) t5

4 4 Modearea sstemeor oretate e servc r reţee Petr recofgurabe cu atrbute matrceae recofgurabe otate RGIM î care troducem o muţme de trazţ de rocesare ζ { ς ς } a exresor matrceae ae atrbuteor ş o muţme de regu matrceae de rescrere R { r r k } a reţee RGIM curete ce ot modfca atât marcau curet cât ş structura e a ocureţa uor evemete secfcate O trazţe de rocesare ς ζ ş o reguă de rescrere r R sut o geerazare a oţu de trazţe obşută t T { t t T } foostă î ses casc Codţa de vadare de către marcau curet M a ue trazţ de rocesare ş/sau a ue regu de rescrere r R este smară cu cea a ue trazţ obşute t T î RGR Defţa O mutmuţme de eemete ae ue muţm fte evde X este orce acaţe a u X î muţmea umeror îtreg aturae IN Exrmăm x x)x ude x) deotă X umăru de aarţ ae u x î x) N Muţmea tuturor mutmuţmor ae u X este otată Bag X ) Muţmea de submuţm ae u X este otată r X ) Petru două mutmuţm Bag X ) oeraţe aduarea ) îmuţrea a u scaar *) comararea ) dfereţa ) ş dmesuea sut defte î modu următor: ) x) x) x) x X ; * ) x) * x) IN x X ; x) x) x X ; 4 ) x) x) x) x X ; 5) x x) X Exemu Fe X { a b d e} ar { a a a b b e e} ş { a a b d d d e} sut resectv două mutmuţm e X astfe îcât: a) b) d) e) ş a) b) d) e) Aceste mutmuţm ş sut otate ş ca o sumă formaă redate astfe: a b e ş a b d e ar suma or este 5a b d e Cu fecare trazţe de rocesare ς ζ sut asocate aserţu exres mesae fucţ marca deedete de tu secfcat exres descrtve ae subreţeeor ce trebue să fe rocesate de ς a decaşarea acestea obţâduse rezutatu secfcat Tu de date este descrs r decaraţ care este smar cu ce a ue reţee Petr coorate ş a uu mba de rogramare oretat e obecte Pe aceste tur de date se defesc o muţme de oeraţ rezutatu fd o agebră mutsortată avâd ca dome aceste tur De exemu muţmea ftă utzatorextesbă de tur de date de bază ar utea f: y:: boo teger rea char strg XM et ude boo coţe vaore booeee adevărat sau fas teger ş rea coţ toate umeree îtreg ş resectv cee reae strg coţe toate şrure de caractere char ş XM coţe toate documetee XM be formate ar et exres descrtve ae subreţeeor osbe t RGIM [] Deş y acest set de tur de date oate f aes î mod arbtrar vom cere ca e ce uţ să e coţe e cee meţoate D aceste tur de bază utem costru ş tur de date ma comexe Fe X ρ Y este o reaţe bară ρ ître două muţm X ş Y î care domeu u ρ este Dom ρ ) ρ Y ar codomeu este Cod ρ ) X ρ Defţa O reţea RGIM abrevat Γ ζ este o structură de obecte costtută dtru tuu: Γ ζ < P Eθ Pre Post Test Ih Pr G E G R K φ M > ude : P { P } este muţmea evdă de ocaţ; E este muţmea evdă de evemete dscrete costtută d E T ζ R T ζ R astfe îcât P E ude T { t t T } resectv ζ { ς ς } ) este ς muţmea trazţor obşute res de rocesare) decaşarea cărora ot să modfce uma marcau curet res să determe o date de tu secfcat obţute a rocesarea exresor de tu resectv asocate cu ζ ş să modfce marcau curet) a reţee ar R { r r k } este muţmea reguor de rescrere care oate să modfce î mod damc marcau curet ş/sau structura cu toate atrbutee reţee curete Grafc vez fgura ) trazţe obşute sut rerezetate r bare groase trazţe de rocesare r dretughur cu o săgeată î ee ar regue de rescrere sut rerezetate r dretughur mbrcate; θ { ϑ ϑ ϑς } este muţmea ftă evdă a turor de date deftă etru fucţ

5 Modearea sstemeor oretate e servc r reţee Petr recofgurabe cu atrbute matrceae 5 matrceae marca deedete θ ζ ae muţmζ astfe îcât θ ζ : ζ θ ) ; Arcee sut redate de fucţ matrceae marca deedete de hbţe Ih Test ş cee de cdeţă îate resectv îao) Pre: E P IN P P IN resectv Post: P E IN P P IN ) IN este muţmea umeror îtreg aturae eue; Pr: E IN P P IN este fucţa matrceaă de ordoare arţaă a u E care troduce rortăţ damce de decaşare a evemeteor vadate de marcau curet Imct rortăţe ce u sut meţoate ae uor evemete e E sut cosderate ue; P P Fucţe GE : E IN { true fase} P P ş GR : ζ R) IN { true fase} sut resectv şte fucţ de gardă matrceae eg Guardfucto) care etru orce evemet e E ş resectv ς ζ r k R determă resectv fucţ Booeee g E ζ M ) g M ) ş g R k M ) î marcau curet M Astfe dacă evemetu e este vadat de marcau curet M otat M[ e > reatv a arce ş g E M ) true atuc evemetu e rămâe vadat ş evetua e oate f decaşat ar dacă g E M ) fase acest evemet u este vadat Imct g E M ) true Î cazu î care evemetu e vadat este o trazţe obşută sau ζ o trazţe de rocesare cu g M ) fase sau o reguă de rescrere cu g R M ) fase atuc decaşarea acestu evemet va shmba uma marcau curet a reţee Γ ζ Î cazu î care e ζ ς este vadată ş g M ) true atuc trazţa de rocesareς a decaşare va schmba atât marcau curet cât ş datee curete de tu resectv ca rezutat a rocesăr exresor ş aserţuor asocate cu acest evemet Îsă dacă e r ş g R M ) c) true acesta va modfca atât sructura cu uee atrbute curete ae Γ ζ cât ş marcau e curet î coformtate cu secfcaţe aceste regu Imct fucţe de gardă resectve ce u sut meţoate ae uor evemete E E ş E ζ R sut cosderate ca costata true ; P P K: P IN IN ) este fucţa matrceaă de caactate a ocaţor îcât P aceasta este redată de caactatea maxmă de etoae care ot să se afe î ocaţa < K ) < Imct K ) este emtată; φ : E { T ζ R} este fucţa care dcă tu de evemet vadat de către marcau curet a reţee adcă e este de tu t e T sau e ζ decaşarea cărua modfcă uma marcau curet sau de tu r R care va modfca atât structura reţee cu atrbutee sae cât ş marcau e curet; M : P Bag P) este marcau ţa ce determă o fucţe de marcare deftă e muţmea ocaţor P astfe îcât: P M ) Bag P) Î fgura sut rezetate rmtvee reţeeor de tu Γ ζ Fgura Prmtvee reţeeor de tu Γ ζ MODEAREA SCOS PRIN RGIM STOCASTICE SCOS este o aradgmă de orgazare ş utzare a caactăţor resurseor de cacu dstrbute care ot f acate ş cotroate dome cu dferte roretăţ Î ofda fatuu că memetăre sut secfce acestea sut îtotdeaua costrute î baza următoareor cocete maore: servc refertor a memetăr); descrerea servcor; oeraţu teracţu) cu servc Servce SCOS sut efectuate rtru schmb de mesae de teracţoare ître soctaţ ş furzor de servc Furzor de servc ubcă descrere or îtru regstru de servc Ceţ foc cuoştţă cu aceste descrer ao î baza codţor vocate accesează aceste servc Arhtectură SCOS este bazată e terdeedeţa a tre ettăţ dstcte: furzoru de servc cosumatoru de servc ş regstru de servc Reţeee Petr fd u formasm cu o sematca formaă be fudametată sut fooste cu succes etru modearea roceseor cu

6 6 Modearea sstemeor oretate e servc r reţee Petr recofgurabe cu atrbute matrceae evemete dscrete [ 6 8] Ee sut deosebt de otrvte etru modearea roceseor cu roretăţ de cocureţă scrozare ş odetermsm Servce furzate de SCOS sut exact rocese de acest t deoarece fuxure de execuţe ot f văzute ca setur de stăr arţa ordoate ae servcor ş oeraţ ae acestor servce Ma mut î astfe de modee de servc stăre ar trebu să atereze cu oeraţe O structură de servcu SCOS cude două tur de setur cu eemete care ot f coectate uma cu eemetee ce aarţ atu t de set ş vceversa Evdet astfe de roretăţ structurae sut exact cee e care e oferă formasmu de reţee RGIM Defţa O reţea RGIM stocastcă extsă abrevat RIMS este sstemu redat de către tretu de obecte S Γζ < Γζ Λ ω > ude: Γ ζ este o reţea RGIM temorzată deftă î coformtate cu Defţa î care E E τ E E M ) Eτ M ) Ac E τ este muţmea evemeteor temorzate cu o durată aeatore de decaşare ce are o dstrbuţe exoeţa egatvă grafc sut rerezetate r dretughur groase) ar E este muţmea evemeteor medate cu o durată de decaşare uă grafc sut rerezetate r bare subţr) astfe îcât Pr E ) > Pr Eτ ) Acestea descru seectoare robabstce; P P Λ : Eτ IN IR este fucţa matrceaă ce determă rata λ t M ) < de decaşare a evemetuu vadat î marcau curet M IR este muţmea mărmor reae eegatve E IN P P ω : IR este fucţa matrceaă de odere ω t M ) < ce determă robabtatea de decaşare a evemeteor medate vadate de marcau curet M Astfe fuxure de reucrare ae uu modu de servcu smu ot f descrse de către o subreţea Q Petr membraaă SM [ SΓζ ] ks [] umtă modu reţea de servre î care atrbutu Q q q } rereztă muţmea de dcator a { Q catăţ de servcu QoS furzaţ de SM de exemu: q fabtatea ; q dsobtatea; q durata mede de răsus; q costu servcuu etc I cotuare etru a facta descrerea roceseor de servre ae SCOS ocaţe ş trazţe resectve ae fecăru SM vor f redate î modu următor: P P ş e E k k E cu ks De asemeea vom cosdera SM ce are uma o sgură ocaţe de trare ocaţe start) care coresude stăr ţae a servcuu ş uma o sgură ocaţe de eşre ocaţe faă) care coresude stăr fae a acestu servcu ocaţa u are arce de trare ar cea u are c u arc de eşre asocat cu această ocaţe De obce o ocaţe de trare este asocată cu starea servcuu î care e este gata să îceaă deruarea u adcă etru M ) M ) Î mod obşut o ocaţe de eşre refectă starea î care servcu este fazat adcă etru M ) M ) ocaţa de trare ş cea de eşre trebue să fe totdeaua coectate r termedu uor stăr traztor fe drect sau drect etru a se asgura că servcu este reazab structura De asemeea vom cere ca reţeaua de servre comemetară S M obţută r adăugarea a servcu SM a ue trazţ t ş a două arce t k ) ş t k ) cu M ) trebue să fe mărgtă sgură) vabă ş reversbă [] O astfe de orgazare a uu SM este umtă formă stadard care este deosebt de otrvtă etru a descre fucţoarea uu SCOS cu acaţ recofgurabe O stare a servcuu curet este actvată fazată) atuc câd exstă u eto î ocaţa sa coresuzătoare a uu SM Prezeţa uu eto î ocaţa de trare sau a cee de eşre a servcuu SM refectă resectv ţerea ş fazarea acestu servcu Dacă ocaţa de trare a u evemet are u umăr ecesar de etoae acesta este vadat ş e oate să decaşeze a decaşarea acestu evemet e va emă va deue) resectv u umăr secfcat de etoae d ocaţa sa de trare î ocaţa sa de eşre) sau î va recofgura Î fgura 4 este rezetat u mode de reţea S Γζ care descre fucţoarea uu SCOS ce furzează u set de servc sme redate de către o matrce SM [ SM ] Semfcaţe oduror modeuu SΓζ sut: utzator de servc; cerer de servc formate; cerere de servcu receţoată de către server; 4 actvarea mecasmuu de formare a următoruu SM ; 5 actvarea verfcăr schmbăr servcuu curet; 6 semaforu ce asgură deservrea ordoată a cereror; 7

7 Modearea sstemeor oretate e servc r reţee Petr recofgurabe cu atrbute matrceae 7 actvarea regu de schmbare a SM î SM ; 8 răsusu servcuu SM ; 9 serveru este ber; dcator sfârşt a servcuu furzat de SM ; ţere cotroor a mecasmuu de geerare a cereror de servc; dcator de seectare a următoruu t de servcu; ţerea reucrăr servcuu curet SM ; sfârşt a reucrăr servcuu curet SM Fgura 4 Modeu Γζ S fucţoăr uu SCOS ce furzează u set de servc sme t geerarea cereror de servc; t trasmterea cerer de servc către server ş rocesarea regătr următoruu t de servcu; t cererea de servcu SM este receţoată ş verfcată de către server; t 4 fazarea rocesăr răsusuu servcuu SM ; t 5 geerarea tuu de servcu cerut; t 6 setarea cotrooruu de geerare a cereror de servc; t 7 verfcă dacă utzatoru cere arăş servcu ce este î curs de rocesare fucţa de gardă g E 7 ) ); t8 verfcă dacă utzatoru cere u servcu dfert de ce î curs de rocesare fucţa de gardă g E 7 ) ) ; t k reucrarea curetă a servcuu redat de SM ς rocesarea exrese : m de tu teger; ς fazarea rocesăr servcuu SM eberarea serveruu ş trasmterea cofrmăr; rocesarea exresor: : de tu teger ş SM :! SM de tu reţea de servre î care reţeaua fd redată de exresa descrtvă a SM [] este atrbută u SM r [ ] regua de rescrere matrceaă a R R [ r ] SΓζ cu eemetee matrce cărea sut: r : SM t ) SM t 4 cu g R " true" vez []) a decaşarea u r d reţeaua curetă S Γζ se va ema subreţeaua redată de exresa descrtvă SM obţâduse astfe o ouă reţea SΓ ζ SΓζ \ SM ar a aceasta se va adăuga subreţeaua redată de exresa descrtvă SM t SM uâduse î cosderaţe fatu că odure ce au aceaş t4 ume ş atrbute se vor coto ar umăru de etoae î ocaţe resectve se vor adua Î rezutatu rescrer S Γζ de către r se va obţe o ouă cofguraţe de reţea SΓζ [ r > SΓζ ude S Γζ SΓζ SM Atrbutee ocaţor S Γζ sut: K ) ; M k 8 9 ) Ratee de decaşare ae evemeteor temorzate trazţ obşute trazţ de rocesare ş regu de rescrere) sut redate î mod stadard Muţmea de evemete vadate de marcau ţa a modeuu de reţea S Γζ este E M ) { t } t5 a decaşarea trazţe obşute t se va geera o cerere de servcu redată de aarţa uu eto î ocaţa care a râdu său vadează trazţa obşută t Decaşarea trazţe obşute t5 a cotrooruu va seecta următoru modu de servcu SM dcee m cărua este rocesat de ς a decaşarea u t se vor deue câte u eto î ocaţe ş 4 care vor vada resectv trazţa obşută tş trazţa de rocesare ς Decaşarea u t va ţa îceutu reucrăr moduuu de servcu curet SM r aarţa uu

8 8 Modearea sstemeor oretate e servc r reţee Petr recofgurabe cu atrbute matrceae eto ocaţa Termarea servcuu SM este dcată de aarţa uu eto î ocaţa care va vadaς Î cazu decaşăr trazţe de rocesare ς ea va rocesa exrese: : de tu teger ş SM :! SM de tu reţea de servre î care reţeaua curetă fd redată de exresa descrtvă SM este atrbută u SM De asemeea a decaşarea u ς ea va deue câte u eto î ocaţe 9 ş care vor vada regua matrceaă de rescrere r [ R] a moduuu de servre SM curet reucrat r următoru SM : m seectat î reaab de către ς cu g R " true" Trazţe medate t 7 ş t 8 redau seectoru robabstc care determă dacă este ecesar de furza aceaş moduu de servre SM î cazu î care g E ) 7 Reţeaua SΓζ este mărgtă vabă ş reţazabă 4 CONCUZII Reţeee RIMS rouse sut foarte efcete a redarea modearea verfcarea ş aaza erformaţeor sstemeor SCOS deoarece foosrea acestora au următoaree avatae: ) au caracterstc sumetare de vzuazare a roceduror de modeare ş smuare care ermt de a reaza u medu uterc de vadare ş evauare; ) ermt de a rereztă î aceaş mode atât schmbarea damcă a atrbuteor ş stăror sstemuu recum ş schmbarea damcă a structur sae; ) cu utzarea atrbuteor matrceae rouse datee reae ot f cu uşurţă mortate î rocesu de smuare asgurâd astfe coereţa ş vaabtatea rezutateor obţute Metoda rousă este geeraă ş oate f acată a o gamă argă de tur de ssteme cu evemete dscrete Î us cu destu de uţe modfcăr ş cometăr utzarea abordăr descrse oate f î cotuare geerazată etru a studa ssteme d dome cu caracterstc smare D aaza rezetată sa arătat că RIMS defte ş studate î această ucrare ot f fooste ca u strumet foarte romţător etru modearea evauarea fabtăţ ş erformaţeor SCOS Acabtatea acestu demers este ustrată rtru exemu a roceseor de cacu oretat e servc recofgurabe î care sut reucrate dferte tur de cerer ae dfertor servc Î ucrăre e vtor vom eabora ş dezvota u rodus rogram strumeta etru smuarea vzuaă ş aază a modeeor de reţee RIMS ce descru fucţoarea roceseor de cacu oretate e servc recofgurabe Bbografe Dg Z J Wag J Jag C J A Aroach for Sythess Petr Nets for Modeg ad Verfyg Comoste Web Servce Joura of formato scece ad egeerg Guţueac E Ţurcau Iu Pa D Asecte de modeare ş aază a roceseor de cacu oretate e servc recofgurabe// Proceedgs of the 6th Iteratoa Coferece o Mcroeectrocs ad Comuter Scece ICMCS Chşău R Modova Setember Guţueac E Descrtve Tmed Membrae Petr Nets for Modeg of Parae Comutg Iteratoa Joura of Comuters Commucatos & Cotro No Vo I Agora Uversty Edtg House Oradea Româa Hamad R Beataah B A Petr etbased mode for Web servce Comosto// I Proceedgs of 4th Austraa Database Coferece o Database Techooges Vo 7 Adeade Austraa 9 5 Katsgas Y A Georgaks P S Tsaraks GJ Itroducg a cooured fud stochastc Petr etbased methodoogy for reabty ad erformace evauato of sma soated oer systems cudg d turbes IET Reeabe Poer Geerato Vo No B Xu Y Wu J Zhu J A Petret ad QoS Based Mode for Automatc Web Servce Comosto Joura of Softare Vo 7 No Mtbaa S Taga M A Petr Netsbased Cocetua Frameork for Web Servce Comosto a Heathcare Servce Patform Joura of Teecommucatos Vo No Todca V Cremee M Vada M A Frameork for Deveog Comex Systems of Servces Cog th Comexty// COPCOM Cu Naoca 9 oct 7788 Recomadat sre ubcare: 8