Abstract:
În lucrare sunt considerate unele aspecte arhitecturale, de modelare şi analiză a proceselor sistemelor de calcul orientate pe servicii reconfigurabile (OSR) prin reţele Petri reconfigurabile stocastice (RPRS). În acest context este prezentată o metodă de formalizare a etapei de trecere logică de la o descriere informală a arhitecturii şi a specificaţiilor comportamentale ale sistemului analizat la determinarea unor expresii descriptive şi maparea lor în modele de reţele RPRS ale acestor procese, subiacente modelelor de reţele Petri stocastice. Această abordare permite de a diminua cu circa de 20-30% cheltuielile materiale şi temporale la etapa de implementare şi a menţine toleranţa la defectări şi stabilitatea sistemului, având posibilitatea de a estima caracteristicile numerice de performanţă ale sistemului OSR.