MODELAREA DINAINTEA EFECTUARIIULUI - SOFT

MODELAREA DINAINTEA EFECTUARII PROIECTULUI

Modelarea interfetei

Are in vedere descrierea comportarii unui model obiect de sisitem. Aceste schimbari se bazeaza pe evenimentele care se produc la interfata, iar in interior sistemul isi schimba propria stare.

Agent - entitate activa ce interactioneaza cu alti agenti. In esenta sist. de proiectat este un agent ce interactioneaza cu agentii din anviroment (multime de agenti cu care sist. comunica).

Evenimentul - unitate atomica instantanee de comunicare intre agenti (eveniment de intrare sau de iesire).

Emitatorul poate furniza intr-un eveniment valori de atribute sau chiar obiecte. Receptorul isi poate modifica starea si va emite la randul sau evenimente.

Operatii facute de sistem

Eveniment de intrare

Schimbare de stare

Evenimente de iesire

Numim interfata multimea operatiilor in care este implicat un sistem.

Scopul modelarii interfetei este de a descrie aceasta. a modului obiect.

Pt. descriere folosom doua prezentati:

Prezentarea unui model operativ

modelul ciclului de viata

Setul de operatii pe care un sistem le poate indeplini:

Deschidere decont

Depunere de bani

Retragere de bani

Test cont

Clientul este un agent care lanseaza operatii si primeste evenimentul. Dialogul intre agenti se face cu anumite restrictii.

Setul de secvente permise formeaza ciclul de viata al sistemului . Pt. a descrie desfasurarea acestor lanturi sunt doua forme:

Modelul operational - specifica schimbarole de stare ale sistemului conform evenimentelor receptionate intr-o forma descriptiva pe operatie.

Modelulu ciclului de viata - se priveste la un nivel ceva mai abstract grupand secventele de evenimente si succesiuni de operatie.

Modelul operational

Specifica in ca fel se comporta sistemul intr-un mod declarativ. Aici se definesc efectele operatiilor sub forma de stare de sistem si sub forma provocarii de evenimente la iesire. Starile sunt si ele inlantuite si formeaza o succesiune permisa ceea ce infatiseaza evolutia sistemului.

O stare corespunde unei operatii in curs de desfasurare.

O operatie poate:

crea o noua instanta a unei clase

schimba valori de atribute intr-un obiect existent

modifica relatiile

trimite evenimentele spre exterior

Tehnici de prezentare

Operatiile vor fi reprezentate porin scheme. O schema operationala cuprinde preconditiile - necesar inaintea operatiei- si poatconditiile - ce se modifica in urma operatiei.

Toate acestea sunt reprezentate ca un set de asertiuni care se dovedesc adevarate sau false. Prin aceasta forma operatia apare ca o cutie neagra. Aceasta se va umple mai tarziu cu programul.

Modelul ciclului de viata

Este un model comportamental.

Stabileste cicluri de evenimente posibile oferind o viziune de ansamblu a evolutiei structurii modelului obiect.

In acest model se definesc faze; in care o faza este o succesiune cu restrictii de .. posibile. In fiecare faza sistemul se afla intr-un anumit stadiu al sau.

Intr-o faza sunt acceptate numai anumite evenimente caracteristice fazei astfel incat alte evenimente care apar vor fi neglijate.

In    acest model fazele sunt precizate prin siruri de evenimente descrise pir expresii. In constructia unei expresii sunt incluse evenimente si reguli de compozitie ale acestora.

A*B - even. B urmeaza even. A

A/B - se produce A sau B

A^* - 0 even. de tip A

A⁺ - cel putin 1 even. de tip A

A - even. A optional in acea secventa

A B - orice amestec in orice proportii de even. A si B

Aceste reguli cu o ordine relativa a lor - ordine de precedenta.

Modelul evidentiaza caracteristici generale care dau un sens legat de rezolvarea problemei. Modelul specifica numai acele info care nu sunt incluse in modelul operational.

Alte evenimente necesare pt. a fi specificare:

Dictionar de date de specificare

Modelul obiect

Modelul de faza

Toate reprezinta documentul de specificare. Fara 1 celelalte doua pot duce la ambiguitati.

1 va contine definitii de notiuni si definitii de concepte in domeniul problemei. Acestea vor conferi sens modelelor, semnificatie, semantica. Acest document cu definitii trebuie sa fie unic. Definitiile dintr-un dictionar sunt de baza pt. testarea modelelor. Modele trebuie testate de consistenta si completitudine. Aceste teste incheie faza de sopecificare conferind complexului o structura coerenta logica.

Se acorda flexibilitate produsului soft -> orice nou subiect interesat de produs poate rasfoi documentul de elaborare a produsului. Daca se schimba cerintele de rezolvare a problemei produsul se poate mdifica pe baza dictionarului. Dictionarul elimina notiuni subintelese.

Un articol in aceasta baza de date va avea:

Reguli de intocmire a dictionarelor

Dictionarele vor fi sortate prin nume

Dictionarul va avea notiuni echivalente cat mai putine. Se aleg cele mai expresive notiuni si acestea se vor folosi

Daca definitiile din dictionar cuprind anumiteinfo acestea nu vor mai fi repetate in modele.

Testarea modelelor

Analizam domeniul cu prblema. Aceasta analiza se face cu pasi marunti, este iterativa si incrementala.

Pasi in analiza problema:

- pasul 1 este stabilirea unui model al domeniului problemei.

- pasul 2 este stabilirea interfetei care pp. pe de o parte identificarea de agenti, operatii si evenimente si pe de alta parte delimitarea modelului obiect de anvirorment.

- pasul 3 este stabilirea modelului de interfata (aici avem toate datele pt. aavea un model pt. probleme data)

- pasul 4 testarea nmodelelor - se face referitor la consistenta si completitudine.

Testul de completitudine

Se recitesc documentele de cerinte.

Se clarifica problemele neclare cu clientul

Se stabileste scopul primar al clientului

Se trece la o serie de verificari pe modele

Se verifica daca toate scenariile posibile sunt acoperite de ciclul de viata

Se verifica daca fiecare operatie are o schema proprie operationala

Se verifica daca toate info statistice sunt incluse in modelul obiect al sistemului

Se verifica daca celelalte info care nu sunt in model sunt in dictionar

Urmeaza verificari de consistenta - Simpla

- Semantica

Verificarea de consistenta simpla

Toate clasele, relatiile si atributele din modelul operational apar in modelul obiect

Toate predicatele si alte concepte vor fi in dictionar

Marginea modelului obiect al sistemului este consistenta cu interfata data de modelul ciclului de viata

Toate operatiile din modelul ciclului de viata sa contina o schema deci sa fie in modelul operational

Toti identificatorii din toate modele sa fie in dictionar

Verificarea de consistenta semantica

Evenimentele de iesire ale ciclului de viate sau din modelul operational vor fi consistente

Aceste corespondente si evenimente vor fi corespunzatoare cu scenariile din modelul ciclului de viata

Modelul operational va pastra modelul obiect de sistem invariant; nu-i va modifica fundamental structura si va respecta invariatii specificti

SFARSIT