Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf ·...
Transcript of Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf ·...
![Page 1: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/1.jpg)
Limbaje pentru specificația sistemelor
•Cerințe pentru specificația sistemelor dedicate
•HardwareC
•SystemC
•Statecharts
•SysML
Sisteme de calcul dedicate (02-3) 25.10.2019 1
![Page 2: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/2.jpg)
SysML
Prezentare generală
Blocuri
Diagrama de definiție a blocurilor
Diagrama internă a blocului
Cerințe
Diagrama parametrică
Sisteme de calcul dedicate (02-3) 25.10.2019 2
![Page 3: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/3.jpg)
Prezentare generală (1)
•Systems Modeling Language
•Elaborat de organizația OMG (ObjectManagement Group), https://www.omg.org/
•Limbaj de modelare vizual care extinde un subset al conceptelor și diagramelor UML 2
•Permite specificarea, analiza, proiectarea, verificarea și validarea sistemelor
•Versiunea 1.0: publicată în 2007
•Versiunea curentă: 1.5 (publicată în 2017)
Sisteme de calcul dedicate (02-3) 25.10.2019 3
![Page 4: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/4.jpg)
Prezentare generală (2)
•Limbajul UML este extins cu ajutorul profilurilor Mecanism de extensie pentru adaptarea
modelelor UML pentru anumite domenii
Profilurile sunt definite prin: stereotipuri; constrângeri aplicate elementelor modelului
•S-au reutilizat șapte din diagramele UML 2
•S-au adăugat două noi tipuri de diagrameDiagrama de cerințe
Diagrama parametrică
Sisteme de calcul dedicate (02-3) 25.10.2019 4
![Page 5: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/5.jpg)
Prezentare generală (3)
Sisteme de calcul dedicate (02-3) 25.10.2019 5
![Page 6: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/6.jpg)
Prezentare generală (4)
•Avantaje față de limbajul UML:Semantică mai flexibilă și mai expresivă Limbaj simplificat: reducerea numărului tipurilor de diagrame și a construcțiilor Tabelele de alocare SysML permit: alocarea cerințelor; alocarea funcțională; alocarea structuralăConstrucții de gestiune a modelului: extind posibilitățile UML modele, vederi, puncte de vedere
Sisteme de calcul dedicate (02-3) 25.10.2019 6
![Page 7: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/7.jpg)
SysML
Prezentare generală
Blocuri
Diagrama de definiție a blocurilor
Diagrama internă a blocului
Cerințe
Diagrama parametrică
Sisteme de calcul dedicate (02-3) 25.10.2019 7
![Page 8: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/8.jpg)
Blocuri (1)
•Reprezintă elementele structurale de bază •Pot reprezenta orice nivel al ierarhiei sistemului Sistem, subsistem
Componente hardware
Componente software
Date
Proceduri•Sistem: colecție de componente și conexiunile dintre acestea
Sisteme de calcul dedicate (02-3) 25.10.2019 8
![Page 9: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/9.jpg)
Blocuri (2)
•Compartimente: descriu caracteristicile blocurilorProprietăți (părți, valori, porturi)
Operații
Constrângeri
Alocări la / de la alte elemente
Cerințe
Compartimente definite de utilizator
•Porturi: permit accesul la structura internă a blocurilor puncte de interacțiune
Sisteme de calcul dedicate (02-3) 25.10.2019 9
![Page 10: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/10.jpg)
Blocuri (3)
•Porturi standard (UML 2.0)Se indică interfața cerută sau cea prevăzută
Interfața cerută: setul de operații care trebuie furnizate de un alt bloc
Interfața prevăzută: setul de operații care trebuie asigurate de blocul respectiv
•Porturi de fluxPuncte de interacțiune prin care circulă
informații, materiale, energie etc.
Atomice, non-atomice, conjugate
Sisteme de calcul dedicate (02-3) 25.10.2019 10
![Page 11: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/11.jpg)
SysML
Prezentare generală
Blocuri
Diagrama de definiție a blocurilor
Diagrama internă a blocului
Cerințe
Diagrama parametrică
Sisteme de calcul dedicate (02-3) 25.10.2019 11
![Page 12: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/12.jpg)
Diagrama de definiție a blocurilor (1)
•Block Definition Diagram (bdd)
•Este echivalentă cu diagrama de clase din UML
•Descrie structura sistemului și relațiile care există între blocuriExemple: compoziție; asociere
•Poate reprezenta caracteristicile unui bloc: proprietăți, operații
•Exemplu: HSUV (Hybrid Sports Utility Vehicle)
Sisteme de calcul dedicate (02-3) 25.10.2019 12
![Page 13: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/13.jpg)
Diagrama de definiție a blocurilor (2)
Sisteme de calcul dedicate (02-3) 25.10.2019 13
![Page 14: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/14.jpg)
SysML
Prezentare generală
Blocuri
Diagrama de definiție a blocurilor
Diagrama internă a blocului
Cerințe
Diagrama parametrică
Sisteme de calcul dedicate (02-3) 25.10.2019 14
![Page 15: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/15.jpg)
Diagrama internă a blocului (1)
•Internal Block Diagram (ibd)
•Indică structura internă a unui bloc și modul în care interacționează pentru a realiza funcțiile blocului
•Părți: reprezintă utilizarea altor blocuri
•Porturi
•Conectori: indică legătura între părți prin intermediul porturilor
•Fluxul diferitelor elemente între părți Sisteme de calcul dedicate (02-3) 25.10.2019 15
![Page 16: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/16.jpg)
Diagrama internă a blocului (2)
Sisteme de calcul dedicate (02-3) 25.10.2019 16
![Page 17: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/17.jpg)
SysML
Prezentare generală
Blocuri
Diagrama de definiție a blocurilor
Diagrama internă a blocului
Cerințe
Diagrama parametrică
Sisteme de calcul dedicate (02-3) 25.10.2019 17
![Page 18: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/18.jpg)
Cerințe (1)
•Descriu funcțiile sistemului și constrângerile de realizare ale acestor funcții
•SysML permite reprezentarea cerințelor ca elemente ale modelului formă grafică (diagramă); structură de arbore; tabel Stereotipul <<requirement>>
Cerințe textuale
Relațiile dintre acestea
•Se pot adăuga categorii de cerințe definite de utilizator (de ex., funcționale, de performanță)
Sisteme de calcul dedicate (02-3) 25.10.2019 18
![Page 19: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/19.jpg)
Cerințe (2)
•Relații (dependențe) Reticul: indică sub-cerințe ale unei cerințe
părinte
deriveReqt: derivarea unor cerințe din altele
satisfy: satisfacerea cerințelor de către proiect
refine: un element al modelului este o rafinare a unei cerințe textuale
verify: legătura de la un caz de test la cerințele pe care le verifică
copy: reutilizarea unei cerințe într-o altă ierarhie a cerințelor
Sisteme de calcul dedicate (02-3) 25.10.2019 19
![Page 20: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/20.jpg)
Cerințe (3)
Sisteme de calcul dedicate (02-3) 25.10.2019 20
![Page 21: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/21.jpg)
SysML
Prezentare generală
Blocuri
Diagrama de definiție a blocurilor
Diagrama internă a blocului
Cerințe
Diagrama parametrică
Sisteme de calcul dedicate (02-3) 25.10.2019 21
![Page 22: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/22.jpg)
Diagrama parametrică (1)
•Parametric Diagram (par)
•Utilizată pentru a descrie constrângerile asupra proprietăților sistemului
•Variantă specializată a unei diagrame interne a blocului
•Bloc de constrângeriUn set de parametri
Una sau mai multe constrângeri asupra acestora
Poate exprima ecuații matematice sau valori statistice
Sisteme de calcul dedicate (02-3) 25.10.2019 22
![Page 23: Limbaje pentru specificația sistemelorusers.utcluj.ro/~baruch/media/scd/curs/SCD-Modele-3.pdf · Limbaje pentru specificația sistemelor •Cerințe pentru specificația sistemelor](https://reader030.fdocument.pub/reader030/viewer/2022040318/5e36f6a4e17d8960ea044f22/html5/thumbnails/23.jpg)
Diagrama parametrică (2)
Sisteme de calcul dedicate (02-3) 25.10.2019 23